Symbolic Execution with Separation Logic.

Josh Berdine Cristiano Calcagno Peter W. O'Hearn

Published in: APLAS (2005)

Keyphrases

symbolic execution
test generation
static analysis
test data generation
source code
specification language
data flow
databases
training set
search space