Abstracting Path Conditions for Effective Symbolic Execution

Published in: CoRR (2011)

Keyphrases

symbolic execution
test generation
database
data sets
neural network
metadata
relational databases
general purpose
static analysis