Alexander Pretschner

1. Compositional Fuzzing Aided by Targeted Symbolic Execution
   2019/03/07 by Saahil Ognawala, Ognawala, Saahil, Fabian Kilger +3 · 2 voices
   Computer Science · #Advanced Malware Detection Techniques #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #cs.SE
2. Efficiently Checking Actual Causality with SAT Solving
   2019/04/30 by Amjad Ibrahim, Ibrahim, Amjad, Simon Rehwald +3 · 1 citation
   Computer Science · Business, Management and Accounting · #Semantic Web and Ontologies #Business Process Modeling and Analysis #Logic, Reasoning, and Knowledge
3. Improving Function Coverage with Munch: A Hybrid Fuzzing and Directed Symbolic Execution Approach
   2017/11/26 by Saahil Ognawala, Thomas Hutzelmann, Eirini Psallida +1 · 1 voice
   Computer Science · #cs.SE