A Survey of Symbolic Execution Techniques.

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

Published in: ACM Comput. Surv. (2018)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
source code
specification language
data flow
test cases
case study
open source
neural network
software systems
data sets
evolutionary algorithm
distributed systems
formal specification
programming language
xml documents
genetic algorithm