Prototyping symbolic execution engines for interpreted languages.

Stefan Bucur Johannes Kinder George Candea

Published in: ASPLOS (2014)

Keyphrases

symbolic execution
test data generation
test generation
static analysis
specification language
source code
development process
data flow
test cases
databases
training data
general purpose
simulated annealing algorithm