C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Regular Property Guided Dynamic Symbolic Execution.
Yufeng Zhang
Zhenbang Chen
Ji Wang
Wei Dong
Zhiming Liu
Published in:
ICSE (1) (2015)
Keyphrases
</>
symbolic execution
static analysis
test generation
multi agent systems
source code
databases
high level
business processes
test data generation