research
∙
03/07/2019
Compositional Fuzzing Aided by Targeted Symbolic Execution
Guided fuzzing has, in recent years, been able to uncover many new vulne...
share
research
∙
07/24/2018
Automatically Assessing Vulnerabilities Discovered by Compositional Analysis
Testing is the most widely employed method to find vulnerabilities in re...
research
∙
03/13/2018
Reviewing KLEE's Sonar-Search Strategy in Context of Greybox Fuzzing
Automatic test-case generation techniques of symbolic execution and fuzz...
research
∙
12/19/2017
An Exploratory Survey of Hybrid Testing Techniques Involving Symbolic Execution and Fuzzing
Recent efforts in practical symbolic execution have successfully mitigat...
research
∙
11/26/2017
Improving Function Coverage with Munch: A Hybrid Fuzzing and Directed Symbolic Execution Approach
Fuzzing and symbolic execution are popular techniques for finding vulner...
research
∙
10/21/2014