Compact Symbolic Execution

Published in: CoRR (2012)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
specification language
source code
data flow
database
real world
search algorithm
image quality
data sets
evolutionary algorithm