Recent Advances in Intrusion Detection · 2019 · 18 citations · 11 references
EngineeringRuntime VerificationProgram AnalysisComputer EngineeringFormal MethodsSoftware AnalysisStatic CheckingComputer ScienceStatic Program AnalysisFormal VerificationSystem SoftwareData Security
11
Nicholas Nethercote, Julian Seward · 2007 · 2.2K citations
Engineering, Computer Architecture, Software Engineering +18
Heng Yin, Dawn Song, Manuel Egele et al. · 2007 · 684 citations
VUzzer: Application-aware Evolutionary Fuzzing
Sanjay Rawat, Vivek Jain, Ashish Kumar et al. · 2017 · 581 citations · Full text
James Clause, Wanchun Li, Alessandro Orso · 2007 · 530 citations