A Tight Integration of Symbolic Execution and Fuzzing (Short Paper).

Yaëlle Vinçont Sébastien Bardin Michaël Marcozzi

Published in: FPS (2021)

Keyphrases

tight integration
symbolic execution
test generation
test data generation
static analysis
specification language
source code
data flow
test cases
data sets
neural network
general purpose
description language
generation algorithm