Symbolic execution of programs with heap inputs.

Pietro Braione Giovanni Denaro Mauro Pezzè

Published in: ESEC/SIGSOFT FSE (2015)

Keyphrases

symbolic execution
test generation
test data generation
static analysis
specification language
source code
data structure
test cases
data flow
metadata
case study
training data
open source