Symbolic execution with mixed concrete-symbolic solving.

Corina S. Pasareanu Neha Rungta Willem Visser

Published in: ISSTA (2011)

Keyphrases

symbolic execution
test data generation
static analysis
test generation
high level
source code
data flow
specification language
neural network
decision trees
domain independent
data sets
software engineering
general purpose
test cases