A Survey of Hybrid Fuzzing based on Symbolic Execution.

Tao Zhang Yu Jiang Runsheng Guo Xiaoran Zheng Hui Lu

Published in: CIAT (2020)

Keyphrases

symbolic execution
static analysis
test data generation
specification language
test generation
source code
data flow
general purpose
genetic programming
machine vision
formal specification