2 papers
cs.SE2018
Automatically Assessing Vulnerabilities Discovered by Compositional Analysis
Saahil Ognawala, Ricardo Nales Amato, Alexander Pretschner +1
Testing is the most widely employed method to find vulnerabilities in real-world software programs. Compositional analysis, based on symbolic execution, is an automated testing met…
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…