Guiding dynamic symbolic execution toward unverified program executions.

Maria Christakis Peter Müller Valentin Wüstholz

Published in: ICSE (2016)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
specification language
source code
test cases
data flow
artificial intelligence
general purpose
databases
software engineering
genetic programming
building blocks