Steering symbolic execution to less traveled paths.

You Li Zhendong Su Linzhang Wang Xuandong Li

Published in: OOPSLA (2013)

Keyphrases

symbolic execution
test generation
test data generation
static analysis
source code
specification language
neural network
test cases
data flow
data sets
programming language
building blocks
heuristic search
evolutionary algorithm
search algorithm
database systems
metadata