Directed Incremental Symbolic Execution.

Guowei Yang Suzette Person Neha Rungta Sarfraz Khurshid

Published in: ACM Trans. Softw. Eng. Methodol. (2014)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
source code
specification language
data flow
test cases
genetic algorithm
database
learning algorithm
general purpose
open source
software systems