Directed Symbolic Execution.

Kin-Keung Ma Yit Phang Khoo Jeffrey S. Foster Michael Hicks

Published in: SAS (2011)

Keyphrases

symbolic execution
test data generation
static analysis
test generation
source code
specification language
data flow
open source
data sets
relational databases
general purpose
error rate
test cases
simulated annealing algorithm