Speculative Symbolic Execution

Yufeng Zhang Zhenbang Chen Ji Wang

Published in: CoRR (2012)

Keyphrases

symbolic execution
test generation
test data generation
static analysis
specification language
source code
data flow
test cases
data sets
general purpose
generation algorithm
database systems
programming language
open source