1. Angr;Angr,2023
2. REDQUEEN: Fuzzing with input-to-state correspondence;Aschermann,2019
3. NAUTILUS: Fishing for deep bugs with grammars;Aschermann,2019
4. Ijon: Exploring deep state spaces via fuzzing;Aschermann,2020
5. Directed greybox fuzzing;Böhme,2017