Compositional Fuzzing Aided by Targeted Symbolic Execution.

Saahil Ognawala Fabian Kilger Alexander Pretschner

Published in: CoRR (2019)

Keyphrases

symbolic execution
test generation
static analysis
test data generation
source code
specification language
data flow
test cases
real world
open source
description language
databases
neural network
programming language
software systems
machine vision