63 citations · 280 across the 33 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
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,…
cs.AI2017
ACCBench: A Framework for Comparing Causality Algorithms
Simon Rehwald, Amjad Ibrahim, Kristian Beckers +1
Modern socio-technical systems are increasingly complex. A fundamental problem is that the borders of such systems are often not well-defined a-priori, which among other problems c…