Enhancing symbolic execution with veritesting.

Thanassis Avgerinos Alexandre Rebert Sang Kil Cha David Brumley

Published in: Commun. ACM (2016)

Keyphrases

symbolic execution
test data generation
static analysis
test generation
source code
specification language
data flow
test cases
open source
simulated annealing algorithm
case study
regular expressions
real world
formal specification
description language
training data
decision trees