1. REDQUEEN: fuzzing with input-to-state correspondence;Aschermann;NDSS,2019
2. Directed greybox fuzzing;Bhme,2017
3. Coverage-based grey- ¨ box fuzzing as Markov Chain;Bohme,2016
4. Memory models in symbolic execution: key ideas and new thoughts;Borzacchiello;Softw. Test. Verific. Reliab.,2019
5. Deepfuzz: triggering vulnerabilities ¨ deeply hidden in binaries;Bottinger,2016