1. REDQUEEN: Fuzzing with Input-to-State Correspondence
2. Enhancing symbolic execution with veritesting
3. Jinsheng Ba , Marcel Böhme , Zahra Mirzamomen , and Abhik Roychoudhury . 2022 . Stateful Greybox Fuzzing. In 31st USENIX Security Symposium (USENIX Security 22) . USENIX Association, Boston, MA, 3255–3272. https://www.usenix.org/conference/usenixsecurity22/presentation/ba Jinsheng Ba, Marcel Böhme, Zahra Mirzamomen, and Abhik Roychoudhury. 2022. Stateful Greybox Fuzzing. In 31st USENIX Security Symposium (USENIX Security 22). USENIX Association, Boston, MA, 3255–3272. https://www.usenix.org/conference/usenixsecurity22/presentation/ba
4. Trie: An alternative data structure for data mining algorithms
5. On the reliability of coverage-based fuzzer benchmarking