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
[doi] [Google Scholar] [DBLP] [Citeseer] [url]

23rd Annual Network and Distributed System Security Symposium, NDSS 2016, San Diego, California, USA, February 21-24, 2016
The Internet Society
2016
Note(s): fuzz testing, hybrid testing, symbolic execution

Driller verifier