Automatic and lightweight grammar generation for fuzz testing

KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs

Cristian Cadar, Dawson Engler · 2008 · 2.7K citations

Computing, Computer Science, Computer Systems +9

CUTE

Koushik Sen, Darko Marinov, Gul Agha · 2005 · 1.7K citations

Computing, Computer Engineering, Computer Science +15

Automated Whitebox Fuzz Testing.

Patrice Godefroid, Michael Y. Levin, David A. Molnar · 2008 · 1.1K citations

Computing, Computer Engineering, Computer Science +17

SAGE

Patrice Godefroid, Michael Y. Levin, Dávid Molnár · Communications of the ACM · 2012 · 562 citations

Computing, Computer Engineering, Computer Science +11

Grammar-based whitebox fuzzing

Patrice Godefroid, Adam Kieżun, Michael Y. Levin · 2008 · 455 citations

Computing, Computer Science, Cybersecurity +17