Login / Signup
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