“The fuzzing project” is not a fuzzing technique. It uses existing fuzzers out of the box. See “What fuzzing tools are there?”, the FIRST question in the FAQ at

“The fuzzing project” is not a fuzzing technique. It uses existing fuzzers out of the box. See “What fuzzing tools are there?”, the FIRST question in the FAQ at https://fuzzing-project.org/faq.html https://fuzzing-project.org/faq.html I am sure the project wouldn't have anything against using KLEE, as long as KLEE is able to pull its own weight and to justify the time it takes to set it up with unique bugs that simpler fuzzers do not find. Perhaps you mean to compare KLEE and afl. That suggestion would be more appropriate if the submitted article was http://lcamtuf.coredump.cx/afl/related_work.txt http://lcamtuf.coredump.cx/afl/related_work.txt (but even so, that URL in itself already explains a lot about the design goals of afl and what makes it different from the existing fuzzers, KLEE included).