IEEE Software · 2020 · 148 citations · 18 references
ComputingComputer ScienceCybersecuritySoftware EngineeringFuzz TestingSoftware TestingStatic Application Security TestingSymbolic ExecutionCoverage-guided FuzzingLazy Symbolic ExecutionSymbolic Execution EnginesSymbolic-assisted FuzzingTaint-enhanced Fuzzing
We summarize the open challenges and opportunities for fuzzing and symbolic execution as they emerged in discussions among researchers and practitioners in a Shonan Meeting and that were validated in a subsequent survey.
18
Automated Whitebox Fuzz Testing.
Patrice Godefroid, Michael Y. Levin, David A. Molnar · 2008 · 1.1K citations
Driller: Augmenting Fuzzing Through Selective Symbolic Execution
Nick Stephens, John Grosen, Christopher Salls et al. · 2016 · 876 citations · Full text
Symbolic execution for software testing
Cristian Cadar, Koushik Sen · Communications of the ACM · 2013 · 749 citations
Marcel Böhme, Van-Thuan Pham, Manh-Dung Nguyen et al. · 2017 · 717 citations