34 citations · 34 across the 1 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2018
Reviewing KLEE's Sonar-Search Strategy in Context of Greybox Fuzzing
Saahil Ognawala, Alexander Pretschner, Thomas Hutzelmann +2
Automatic test-case generation techniques of symbolic execution and fuzzing are the most widely used methods to discover vulnerabilities in, both, academia and industry. However, b…
cs.SE2017★ 34 cited
Improving Function Coverage with Munch: A Hybrid Fuzzing and Directed Symbolic Execution Approach
Saahil Ognawala, Thomas Hutzelmann, Eirini Psallida +1
Fuzzing and symbolic execution are popular techniques for finding vulnerabilities and generating test-cases for programs. Fuzzing, a blackbox method that mutates seed input values,…