34 citations · 38 across the 2 of their papers we have counts for
6 papers
Compositional Fuzzing Aided by Targeted Symbolic Execution
Saahil Ognawala, Fabian Kilger, Alexander Pretschner
Guided fuzzing has, in recent years, been able to uncover many new vulnerabilities in real-world software due to its fast input mutation strategies guided by path-coverage. However…
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…
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…
An Exploratory Survey of Hybrid Testing Techniques Involving Symbolic Execution and Fuzzing
Saahil Ognawala, Ana Petrovska, Kristian Beckers
Recent efforts in practical symbolic execution have successfully mitigated the path-explosion problem to some extent with search-based heuristics and compositional approaches. Simi…
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,…
ML-based tactile sensor calibration: A universal approach
Maximilian Karl, Artur Lohrer, Dhananjay Shah +5
We study the responses of two tactile sensors, the fingertip sensor from the iCub and the BioTac under different external stimuli. The question of interest is to which degree both…