15
Publications
3K
Citations
15
H-Index
1974
Active since
Michael Y. Levin is an author at Microsoft (United States) specializing in engineering, computer science, and software analysis.
Top concepts
EngineeringComputer ScienceSoftware AnalysisFormal VerificationFormal MethodsVerificationProgram AnalysisAutomated ReasoningSoftware EngineeringSoftware Design
Publications per year
1974–2020
15
15
Automated Whitebox Fuzz Testing.
Patrice Godefroid, Michael Y. Levin, David A. Molnar · 2008 · 1K citations
Patrice Godefroid, Michael Y. Levin, Dávid Molnár · Communications of the ACM · 2012 · 554 citations
Software Maintenance, Software Development Practice, Remarkable Impact +10
Grammar-based whitebox fuzzing
Patrice Godefroid, Adam Kieżun, Michael Y. Levin · 2008 · 444 citations
SAGE: Whitebox Fuzzing for Security Testing
Patrice Godefroid, Michael Y. Levin, Dávid Molnár · Queue · 2012 · 311 citations · Full text
Engineering, Verification, Education +20
Grammar-based whitebox fuzzing
Patrice Godefroid, Adam Kieżun, Michael Y. Levin · ACM SIGPLAN Notices · 2008 · 130 citations
Rows per page
1–5 of 15