34 citations · 62 across the 10 of their papers we have counts for
3 papers · 1 filter
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,…
Where do we stand in requirements engineering improvement today? First results from a mapping study
Daniel Méndez Fernández, Saahil Ognawala, Stefan Wagner +1
Context: Requirements engineering process improvement (REPI) approaches have gained much attention in research and practice. Goal: So far, there is no comprehensive view on the res…