Exact Heap Summaries for Symbolic Execution.

Benjamin Hillery Eric Mercer Neha Rungta Suzette Person

Published in: VMCAI (2016)

Keyphrases

symbolic execution
test generation
static analysis
test data generation
source code
data structure
specification language
data flow
test cases
data sets
databases
search space
software engineering
pattern matching
formal specification