Local Analysis for Global Inputs

Abstract

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… (More)

4 Figures and Tables

Topics

  • Presentations referencing similar topics