Login / Signup
Driller: Augmenting Fuzzing Through Selective Symbolic Execution.
Nick Stephens
John Grosen
Christopher Salls
Andrew Dutcher
Ruoyu Wang
Jacopo Corbetta
Yan Shoshitaishvili
Christopher Kruegel
Giovanni Vigna
Published in:
NDSS (2016)
Keyphrases
</>
symbolic execution
static analysis
test data generation
test generation
source code
specification language
data flow
test cases
data sets
domain independent