Compositional Symbolic Execution with Memoized Replay.

Rui Qiu Guowei Yang Corina S. Pasareanu Sarfraz Khurshid

Published in: ICSE (1) (2015)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
specification language
source code
data flow
formal specification
test cases
simulated annealing algorithm
neural network
optimal solution
genetic programming
building blocks
hybrid algorithm