2020 · 49 citations · 23 references
ComputingComputer EngineeringComputer ScienceData EngineeringControl-flow AnalysisData-flow AnalysisFuzz TestingSoftware TestingStatic Code AnalysisStatic Vulnerability AnalysisCoverage-guided FuzzingGreybox Fuzzing
23
Security Policies and Security Models
Joseph A. Goguen, José Meseguer · 1982 · 2.1K citations
Driller: Augmenting Fuzzing Through Selective Symbolic Execution
Nick Stephens, John Grosen, Christopher Salls et al. · 2016 · 876 citations · Full text
Marcel Böhme, Van-Thuan Pham, Manh-Dung Nguyen et al. · 2017 · 717 citations
AddressSanitizer: a fast address sanity checker
Konstantin Serebryany, Derek Bruening, Alexander Potapenko et al. · USENIX Annual Technical Conference · 2012 · 642 citations
Coverage-based Greybox Fuzzing as Markov Chain
Marcel Böhme, Van-Thuan Pham, Abhik Roychoudhury · 2016 · 619 citations