Automatic and lightweight grammar generation for fuzz testing
暂无分享,去创建一个
Doo-Hwan Bae | Sung Deok Cha | Su Yong Kim | S. Cha | Doo-Hwan Bae | S. Kim
[1] Will Drewry,et al. Flayer: Exposing Application Internals , 2007, WOOT.
[2] David L. Dill,et al. CVC: A Cooperating Validity Checker , 2002, CAV.
[3] Dawson R. Engler,et al. EXE: Automatically Generating Inputs of Death , 2008, TSEC.
[4] Martin C. Rinard,et al. Taint-based directed whitebox fuzzing , 2009, 2009 IEEE 31st International Conference on Software Engineering.
[5] Patrice Godefroid,et al. SAGE: Whitebox Fuzzing for Security Testing , 2012, ACM Queue.
[6] Sergey Berezin,et al. CVC Lite: A New Implementation of the Cooperating Validity Checker Category B , 2004, CAV.
[7] Adam Kiezun,et al. Grammar-based whitebox fuzzing , 2008, PLDI '08.
[8] Nikolai Tillmann,et al. Pex-White Box Test Generation for .NET , 2008, TAP.
[9] Dave Aitel,et al. The Advantages of Block - Based Protocol Analysis for Security Testing , 2002 .
[10] Dawson R. Engler,et al. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs , 2008, OSDI.
[11] Martin Vuagnoux,et al. Autodafé: an Act of Software Torture , 2005 .
[12] Arnold Rosenbloom,et al. AutoFuzz: Automated Network Protocol Fuzzing Framework , 2010 .
[13] Michael D. Ernst,et al. HAMPI: a solver for string constraints , 2009, ISSTA.
[14] Patrice Godefroid,et al. Automated Whitebox Fuzz Testing , 2008, NDSS.
[15] Koushik Sen,et al. CUTE: a concolic unit testing engine for C , 2005, ESEC/FSE-13.
[16] Rupak Majumdar,et al. Directed test generation using symbolic grammars , 2007, ESEC-FSE companion '07.
[17] D. Wagner,et al. Catchconv : Symbolic execution and run-time type inference for integer conversion errors , 2007 .