Stephan Lipp is an author at Monash University specializing in formal methods, formal verification, and software engineering.
Top concepts
FuzzingEngineeringFormal MethodsStatic AnalysisComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationComputer Engineering
Publications per year
2022–2023
2
2
Reachable Coverage: Estimating Saturation in Fuzzing
Danushka Liyanage, Marcel Böhme, Chakkrit Tantithamthavorn et al. · 2023 · 13 citations
Rows per page
1–2 of 2