Higher-order symbolic execution via contracts.

Sam Tobin-Hochstadt David Van Horn

Published in: OOPSLA (2012)

Keyphrases

symbolic execution
higher order
static analysis
test data generation
test generation
specification language
source code
test cases
pairwise
data flow
data sets
neural network
general purpose
database
software engineering
simulated annealing algorithm
case study