Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization.

Pietro Braione Giovanni Denaro Mauro Pezzè

Published in: ESEC/SIGSOFT FSE (2013)

Keyphrases

term rewriting
symbolic execution
theorem proving
theorem prover
static analysis
test data generation
test generation
rewrite systems
source code
operational semantics
knuth bendix
specification language
databases
data flow
genetic programming