Directed incremental symbolic execution.

Suzette Person Guowei Yang Neha Rungta Sarfraz Khurshid

Published in: PLDI (2011)

Keyphrases

symbolic execution
static analysis
test generation
source code
test data generation
specification language
software systems
data flow
data sets
programming language
open source
distributed systems
genetic programming
test cases
test suite