Symbolic Execution Proofs for Higher Order Store Programs.

Bernhard Reus Nathaniel Charlton Ben Horsfall

Published in: J. Autom. Reason. (2015)

Keyphrases

symbolic execution
higher order
test generation
static analysis
test data generation
source code
specification language
data flow
pairwise
test cases
theorem prover
quality assurance
simulated annealing algorithm
orders of magnitude