Send email Copy Email Address

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.

Conference / Medium

39th International Symposium on Software Engineering

Date published


Date last modified

2019-07-18 12:10:26