Differential symbolic execution.

Suzette Person Matthew B. Dwyer Sebastian G. Elbaum Corina S. Pasareanu

Published in: SIGSOFT FSE (2008)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
source code
specification language
data flow
formal specification
orders of magnitude
data sets
artificial intelligence
case study
relational databases
test cases
simulated annealing algorithm