1
Publications
202
Citations
1
H-Index
2005
Active since
Affiliations
Microsoft Research (United Kingdom)(Current)
P. Oehlert is an author at Microsoft Research (United Kingdom) specializing in formal verification, formal methods, and automated reasoning.
Top concepts
FuzzingEngineeringVerificationFormal MethodsTest AutomationComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning
Publications per year
2005–2005
1
1
Violating Assumptions with Fuzzing
P. Oehlert · IEEE Security & Privacy · 2005 · 202 citations
Rows per page
1–1 of 1