A Survey of Symbolic Execution Techniques.

Roberto Baldoni Emilio Coppa Daniele Cono D'Elia Camil Demetrescu Irene Finocchi

Published in: CoRR (2016)

Keyphrases

symbolic execution
test data generation
static analysis
test generation
source code
specification language
data flow
test cases
simulated annealing algorithm
neural network
programming language
software systems
database
general purpose
high level
web services
artificial intelligence