Billions and billions of constraints: Whitebox fuzz testing in production

  title={Billions and billions of constraints: Whitebox fuzz testing in production},
  author={Ella Bounimova and Patrice Godefroid and David A. Molnar},
  journal={2013 35th International Conference on Software Engineering (ICSE)},
We report experiences with constraint-based whitebox fuzz testing in production across hundreds of large Windows applications and over 500 machine years of computation from 2007 to 2013. Whitebox fuzzing leverages symbolic execution on binary traces and constraint solving to construct new inputs to a program. These inputs execute previously uncovered paths or trigger security vulnerabilities. Whitebox fuzzing has found one-third of all file fuzzing bugs during the development of Windows 7… CONTINUE READING
Highly Cited
This paper has 118 citations. REVIEW CITATIONS
73 Citations
3 References
Similar Papers


Publications citing this paper.

119 Citations

Citations per Year
Semantic Scholar estimates that this publication has 119 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-3 of 3 references

Similar Papers

Loading similar papers…