Fitness-guided path exploration in dynamic symbolic execution.

Tao Xie Nikolai Tillmann Jonathan de Halleux Wolfram Schulte

Published in: DSN (2009)

Keyphrases

symbolic execution
evolutionary algorithm
static analysis
test data generation
genetic algorithm
case study
source code
genetic programming
fitness function
test generation
decision trees
database systems
training data
specification language