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