Memoized symbolic execution.

Guowei Yang Corina S. Pasareanu Sarfraz Khurshid

Published in: ISSTA (2012)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
source code
specification language
data flow
test cases
simulated annealing algorithm
programming language
orders of magnitude
description language