Visualizing Unbounded Symbolic Execution.

Martin Hentschel Reiner Hähnle Richard Bubel

Published in: TAP@STAF (2014)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
source code
specification language
data flow
real world
training data
simulated annealing algorithm
database
software systems
fitness function