Most cited papers in Software Reliability and Analysis Research
What are the most cited papers in Software Reliability and Analysis Research?
The most cited paper in Software Reliability and Analysis Research is "The model checker SPIN" (Gerard J. Holzmann, 1997), with 3,802 citations. Next come "Symbolic model checking" (2,856) and "Symbolic model checking: 1020 States and beyond" (2,711).
Showing 50 of 99 papers. Every paper with more than 793 citations is listed.
| # | Paper | ||
|---|---|---|---|
| 1 | The model checker SPIN Gerard J. Holzmann · IEEE Transactions on Software Engineering | May 1997 | 3,802 |
| 2 | Symbolic model checking Emma L. Clarke, K. McMillan, Sérgio Campos et al. · Lecture notes in computer science | 1996 | 2,856 |
| 3 | Symbolic model checking: 1020 States and beyond Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan et al. · Information and Computation | Jun 1992 | 2,711 |
| 4 | KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs Cristian Cadar, Daniel Dunbar, Dawson Engler | 8 Dec 2008 | 2,669 |
| 5 | Probability and Statistics With Reliability, Queuing, and Computer Science Applications. W. A. Thompson, Kishor Shridharbhai Trivedi · Journal of the American Statistical Association | Dec 1983 | 2,613 |
| 6 | PRISM 4.0: Verification of Probabilistic Real-Time Systems Marta Kwiatkowska, Gethin Norman, David A. Parker · Lecture notes in computer science | 2011 | 2,390 |
| 7 | Symbolic Model Checking without BDDs Armin Biere, Alessandro Cimatti, Edmund M. Clarke et al. · Lecture notes in computer science | 1999 | 2,156 |
| 8 | Refactoring improving the design of existing code Mauricio A. Saca | Nov 2017 | 2,080 |
| 9 | DART Patrice Godefroid, Nils Klarlund, Koushik Sen · ACM SIGPLAN Notices | 12 Jun 2005 | 2,077 |
| 10 | Time-Dependent Error-Detection Rate Model for Software Reliability and Other Performance Measures Amrit L. Goel, Kazu Okumoto · IEEE Transactions on Reliability | Aug 1979 | 1,852 |
| 11 | An Analysis and Survey of the Development of Mutation Testing Yue Jia, Mark Harman · IEEE Transactions on Software Engineering | 23 Jun 2010 | 1,746 |
| 12 | Verification and validation of simulation models Robert G. Sargent · Journal of Simulation | 7 Dec 2012 | 1,740 |
| 13 | CCFinder: a multilinguistic token-based code clone detection system for large scale source code T. Kamiya, Shinya Kusumoto, Koji Inoue · IEEE Transactions on Software Engineering | Jul 2002 | 1,737 |
| 14 | A validation of object-oriented design metrics as quality indicators Victor Robert Basili, Lionel Briand, Walcélio L. Melo · IEEE Transactions on Software Engineering | Oct 1996 | 1,731 |
| 15 | Software Reliability: Measurement, Prediction, Application Donald Musa, Anthony Iannino, Kazuhira Okumoto | May 1987 | 1,676 |
| 16 | Safeware: System Safety and Computers Nancy G. Leveson · CERN Document Server (European Organization for Nuclear Research) | 1995 | 1,663 |
| 17 | CUTE Koushik Sen, Darko Marinov, Gul Agha | Sep 2005 | 1,663 |
| 18 | NuSMV 2: An OpenSource Tool for Symbolic Model Checking Alessandro Cimatti, Edmund Melson Clarke, Enrico Giunchiglia et al. · Lecture notes in computer science | 2002 | 1,655 |
| 19 | Software risk management: principles and practices BARRY W. BOEHM · IEEE Software | 1991 | 1,584 |
| 20 | Software Function, Source Lines of Code, and Development Effort Prediction: A Software Science Validation Alan J. Albrecht, John E. Gaffney · IEEE Transactions on Software Engineering | Nov 1983 | 1,563 |
| 21 | DART Patrice Godefroid, Nils Klarlund, Koushik Sen | 12 Jun 2005 | 1,559 |
| 22 | System structure for software fault tolerance Brian Randell · ACM SIGPLAN Notices | Apr 1975 | 1,526 |
| 23 | Interprocedural slicing using dependence graphs Susan B. Horwitz, Thomas Reps, David Binkley · ACM Transactions on Programming Languages and Systems | 3 Jan 1990 | 1,493 |
| 24 | Defects4J: a database of existing faults to enable controlled testing studies for Java programs René Just, Darioush Jalali, Michael D. Ernst | 11 Jul 2014 | 1,440 |
| 25 | Testing Software Design Modeled by Finite-State Machines Tsun S. Chow · IEEE Transactions on Software Engineering | May 1978 | 1,433 |
| 26 | To Err is Human Aaron B. Brown, David A. Patterson | 2001 | 1,397 |
| 27 | Search‐based software test data generation: a survey Phil McMinn · Software Testing Verification and Reliability | 18 May 2004 | 1,376 |
| 28 | The TAME project: towards improvement-oriented software environments Victor Robert Basili, H. Dieter Rombach · IEEE Transactions on Software Engineering | Jun 1988 | 1,375 |
| 29 | Model Checking Programs Willem I. Visser, Klaus Havelund, Guillaume P. Brat et al. · Automated Software Engineering | Apr 2003 | 1,353 |
| 30 | Prioritizing test cases for regression testing Gregg Rothermel, R.H. Untch, Chengyun Chu et al. · IEEE Transactions on Software Engineering | Oct 2001 | 1,348 |
| 31 | Extended static checking for Java Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge et al. | 17 May 2002 | 1,347 |
| 32 | Regression testing minimization, selection and prioritization: a survey Shin Yoo, Mark Harman · Software Testing Verification and Reliability | 23 Feb 2012 | 1,331 |
| 33 | Software unit test coverage and adequacy Hong Ping Zhu, Patrick A. V. Hall, John H R May · ACM Computing Surveys | Dec 1997 | 1,258 |
| 34 | Capability maturity model, version 1.1 Mark C. Paulk, Bruce Curtis, Mary Beth Chrissis et al. · IEEE Software | Jul 1993 | 1,257 |
| 35 | An investigation of the Therac-25 accidents Nancy G. Leveson, Clark Savage Turner · Computer | Jul 1993 | 1,248 |
| 36 | An analysis of the requirements traceability problem O. C. Z. Gotel, Clive Finkelstein | 17 Dec 2002 | 1,246 |
| 37 | Empirical evaluation of the tarantula automatic fault-localization technique James A. Jones, Mary Jean Harrold | 7 Nov 2005 | 1,243 |
| 38 | Benchmarking Classification Models for Software Defect Prediction: A Proposed Framework and Novel Findings Stefan Lessmann, Bart Baesens, Christophe Mues et al. · IEEE Transactions on Software Engineering | Jul 2008 | 1,237 |
| 39 | Data Mining Static Code Attributes to Learn Defect Predictors Tim Menzies, Jeremy Greenwald, Art Frank · IEEE Transactions on Software Engineering | 13 Dec 2006 | 1,214 |
| 40 | A survey of software refactoring Tom Mens, Tom Tourwé · IEEE Transactions on Software Engineering | Feb 2004 | 1,194 |
| 41 | A comprehensive survey on safe reinforcement learning Javier García, Fernando Fernández · Journal of Machine Learning Research | 2015 | 1,193 |
| 42 | Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact Hyunsook Do, Sebastian G. Elbaum, Gregg Rothermel · Empirical Software Engineering | 28 Sep 2005 | 1,166 |
| 43 | Lazy abstraction Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar et al. | 2002 | 1,162 |
| 44 | A Systematic Literature Review on Fault Prediction Performance in Software Engineering Tracy Hall, Sarah Beecham, David Bowes et al. · IEEE Transactions on Software Engineering | 11 Oct 2011 | 1,162 |
| 45 | Formal Methods: State of the Art and Future Directions Clarke, Edmund M et al. | 1995 | 1,132 |
| 46 | STATEMATE: a working environment for the development of complex reactive systems David Harel, H. Lachover, A. Naamad et al. · IEEE Transactions on Software Engineering | Apr 1990 | 1,120 |
| 47 | A Survey on Software Fault Localization W. Eric Wong, Ruizhi Gao, Yihao Li et al. · IEEE Transactions on Software Engineering | 25 Jan 2016 | 1,118 |
| 48 | Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger et al. · Lecture notes in computer science | 1993 | 1,109 |
| 49 | EvoSuite Gordon Fraser, Andrea Arcuri | 6 Sep 2011 | 1,104 |
| 50 | The Oracle Problem in Software Testing: A Survey Earl T. Barr, Mark Harman, Phil McMinn et al. · IEEE Transactions on Software Engineering | 20 Nov 2014 | 1,102 |
Citations are OpenAlex's own counts, from its 2026-09-23 snapshot, so the ranking can differ from Google Scholar or Web of Science. A paper is listed for a field when OpenAlex files it under one of the field's topics; retracted papers and papers whose citation count cannot be traced to citing works are left out, and a preprint and the article it became are shown once. Release dates are OpenAlex's: where a source gave only a month or a year, that is what is shown. How the lists are chosen.