Holger Cleve is an author at Saarland University specializing in software maintenance, program analysis, and reliability engineering.
Top concepts
EngineeringReliabilitySoftware DesignComputer ScienceFailure AnalysisProgram AnalysisSoftware TestingSoftware AnalysisSoftware EngineeringSoftware Maintenance
Publications per year
2000–2005
4
4
Locating causes of program failures
Holger Cleve, Andreas Zeller · 2005 · 552 citations
Software Maintenance, Software Reliability Testing, Engineering +17
Finding Failure Causes through Automated Testing
Holger Cleve, Andreas Zeller · 2000 · 27 citations · Full text
Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq
Holger Cleve, Andreas Zeller · ArXiv.org · 2000 · 24 citations · Full text
Rows per page
1–4 of 4