1. [n.d.]. DataFlowSanitizer. https://clang.llvm.org/docs/DataFlowSanitizer.html. [n.d.]. DataFlowSanitizer. https://clang.llvm.org/docs/DataFlowSanitizer.html.
2. [n.d.]. libFuzzer. https://llvm.org/docs/LibFuzzer.html. [n.d.]. libFuzzer. https://llvm.org/docs/LibFuzzer.html.
3. Anastasios Andronidis and Cristian Cadar . 2022 . SnapFuzz: High-Throughput Fuzzing of Network Applications. In ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2022) (Virtual Event). Anastasios Andronidis and Cristian Cadar. 2022. SnapFuzz: High-Throughput Fuzzing of Network Applications. In ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2022) (Virtual Event).
4. NAUTILUS: Fishing for Deep Bugs with Grammars
5. REDQUEEN: Fuzzing with Input-to-State Correspondence