Send email Copy Email Address
2017-05

Local Analysis for Global Inputs

Summary

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

2017-05

Date last modified

2019-07-18 12:10:26