Enhancing symbolic execution with veritesting.

Thanassis Avgerinos Alexandre Rebert Sang Kil Cha David Brumley

Published in: ICSE (2014)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
source code
specification language
data flow
neural network
open source
database
artificial intelligence
genetic programming
orders of magnitude
simulated annealing algorithm