Login / Signup
Architecture description language based retargetable symbolic execution.
Andreas Ibing
Published in:
DATE (2015)
Keyphrases
</>
description language
symbolic execution
specification language
software architecture
description languages
web services
test data generation
static analysis
test generation
software engineering
data flow
distributed systems
real world
databases
software systems
domain specific
action language
data model