Symbolic Execution Debugger (SED).

Martin Hentschel Richard Bubel Reiner Hähnle

Published in: RV (2014)

Keyphrases

symbolic execution
test generation
static analysis
specification language
test data generation
source code
programming language
test cases
data flow
neural network
database
genetic algorithm
artificial intelligence
search algorithm
software engineering
orders of magnitude