research
∙
02/04/2021
FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
Fuzz Testing techniques are the state of the art in software testing for...
research
∙
12/21/2020
Program State Abstraction for Feedback-Driven Fuzz Testing using Likely Invariants
Fuzz testing proved its great effectiveness in finding software bugs in ...
research
∙
06/30/2020
Symbolic Execution and Debugging Synchronization
In this thesis, we introduce the idea of combining symbolic execution wi...
research
∙
11/02/2019