1
Publications
42
Citations
1
H-Index
2006
Active since
Affiliations
University of Maryland, College Park(Current)
Reuven Lazarus is an author at University of Maryland, College Park specializing in system software, formal methods, and static analysis.
Top concepts
FuzzingEngineeringFormal MethodsSoftware DesignStatic AnalysisSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware Analysis
Publications per year
2006–2006
1
1
Improving your software using static analysis to find bugs
Brian Cole, Daniel Hakim, David Hovemeyer et al. · 2006 · 42 citations
Rows per page
1–1 of 1