Inferring Invariants by Symbolic Execution.

Peter H. Schmitt Benjamin Weiß

Published in: VERIFY (2007)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
source code
specification language
data flow
software systems
data sets
building blocks
error rate
pattern matching