Deferred concretization in symbolic execution via fuzzing.

Awanish Pandey Phani Raj Goutham Kotcharlakota Subhajit Roy

Published in: ISSTA (2019)

Keyphrases

symbolic execution
test generation
test data generation
static analysis
source code
specification language
test cases
data flow
neural network
software testing
simulated annealing algorithm
description language
generation algorithm
formal specification
programming language
data model
genetic algorithm