Chapter Five - Advances in Symbolic Execution.

Guowei Yang Antonio Filieri Mateus Borges Donato Clun Junye Wen

Published in: Adv. Comput. (2019)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
specification language
source code
case study
artificial intelligence
data flow
open source
database
data sets
database systems
multi objective
error rate