Memoise: a tool for memoized symbolic execution.

Guowei Yang Sarfraz Khurshid Corina S. Pasareanu

Published in: ICSE (2013)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
databases
specification language
high level
source code
orders of magnitude
pattern matching
neural network
real world
genetic algorithm
programming language
open source
software development