E-mail senden E-Mail Adresse kopieren

Local Analysis for Global Inputs


Fuzz testing and symbolic test generation both face their own challenges. While symbolic testing has scalability issues, fuzzing cannot uncover faults which require carefully engineered inputs. In this paper I propose a combination of both approaches, compensating weaknesses of each approach with the strength of the other approach. I present my plans for evaluation, which include applications of the hybrid tool to programs which neither of the approaches can handle on its own.

Konferenz / Medium

39th International Symposium on Software Engineering



Letztes Änderungsdatum

2019-07-18 12:10:26