A visual interactive debugger based on symbolic execution.

Reiner Hähnle Marcus Baum Richard Bubel Marcel Rothe

Published in: ASE (2010)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
source code
visual information
data flow
specification language
data sets
database systems
general purpose
programming language