Most cited papers in Software Testing and Debugging Techniques
What are the most cited papers in Software Testing and Debugging Techniques?
The most cited paper in Software Testing and Debugging Techniques is "Primer3—new capabilities and interfaces" (Andreas Untergasser, Ioana Cutcutache, Triinu Kõressaar et al., 2012), with 10,027 citations. Next come "A theory of timed automata" (6,524) and "PEAR: a fast and accurate Illumina Paired-End reAd mergeR" (4,970).
Showing 50 of 100 papers. Every paper with more than 878 citations is listed.
| # | Paper | ||
|---|---|---|---|
| 1 | Primer3—new capabilities and interfaces Andreas Untergasser, Ioana Cutcutache, Triinu Kõressaar et al. · Nucleic Acids Research | 21 Jun 2012 | 10,027 |
| 2 | A theory of timed automata Rajeev Alur, David L. Dill · Theoretical Computer Science | Apr 1994 | 6,524 |
| 3 | PEAR: a fast and accurate Illumina Paired-End reAd mergeR Jiajie Zhang, Kassian Kobert, Tomáš Flouri et al. · Bioinformatics | 18 Oct 2013 | 4,970 |
| 4 | The Unified Modeling Language reference manual James E. Rumbaugh, Grady Booch, Ivar Jacobson · CERN Document Server (European Organization for Nuclear Research) | 1999 | 4,185 |
| 5 | The model checker SPIN Gerard J. Holzmann · IEEE Transactions on Software Engineering | May 1997 | 3,802 |
| 6 | A Temporal Logic of Nested Calls and Returns Rajeev Alur, Kousha Etessami, P. Madhusudan · Lecture notes in computer science | 2004 | 3,339 |
| 7 | Program Slicing Mark Weiser · IEEE Transactions on Software Engineering | Jul 1984 | 3,217 |
| 8 | Pin Chi-Keung Luk, Robert S. Cohn, Robert Muth et al. · ACM SIGPLAN Notices | 12 Jun 2005 | 3,209 |
| 9 | The String-to-String Correction Problem Robert A. Wagner, Michael J. Fischer · Journal of the ACM | 1974 | 3,081 |
| 10 | Symbolic execution and program testing James C. King · Communications of the ACM | Jul 1976 | 3,043 |
| 11 | 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 |
| 12 | KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs Cristian Cadar, Daniel Dunbar, Dawson Engler | 8 Dec 2008 | 2,669 |
| 13 | Drebin: Effective and Explainable Detection of Android Malware in Your Pocket Daniel J. Arp, Michael Spreitzenbarth, Malte Hübner et al. | 2014 | 2,347 |
| 14 | Pin Chi-Keung Luk, Robert S. Cohn, Robert Muth et al. | 12 Jun 2005 | 2,306 |
| 15 | Efficiently computing static single assignment form and the control dependence graph Ron K. Cytron, Jeanne Ferrante, Barry K. Rosen et al. · ACM Transactions on Programming Languages and Systems | Oct 1991 | 2,259 |
| 16 | Uppaal in a nutshell Kim G. Larsen, Paul Pettersson, Wang Yi · International Journal on Software Tools for Technology Transfer | Dec 1997 | 2,186 |
| 17 | Dissecting Android Malware: Characterization and Evolution Yajin Zhou, Xuxian Jiang | May 2012 | 2,164 |
| 18 | Symbolic Model Checking without BDDs Armin Biere, Alessandro Cimatti, Edmund M. Clarke et al. · Lecture notes in computer science | 1999 | 2,156 |
| 19 | Hints on Test Data Selection: Help for the Practicing Programmer Richard A. DeMillo, R.J. Lipton, Frederick G. Sayward · Computer | Apr 1978 | 2,082 |
| 20 | DART Patrice Godefroid, Nils Klarlund, Koushik Sen · ACM SIGPLAN Notices | 12 Jun 2005 | 2,077 |
| 21 | OR-Library: Distributing Test Problems by Electronic Mail J. E. Beasley · Journal of the Operational Research Society | Nov 1990 | 1,912 |
| 22 | The algorithmic analysis of hybrid systems Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs et al. · Theoretical Computer Science | Feb 1995 | 1,889 |
| 23 | An Analysis and Survey of the Development of Mutation Testing Yue Jia, Mark Harman · IEEE Transactions on Software Engineering | 23 Jun 2010 | 1,746 |
| 24 | Counterexample-Guided Abstraction Refinement Edmund M. Clarke, Orna Grümberg, Somesh Jha et al. · Lecture notes in computer science | 2000 | 1,707 |
| 25 | CUTE Koushik Sen, Darko Marinov, Gul Agha | Sep 2005 | 1,663 |
| 26 | Systematic design of program analysis frameworks Patrick M. Cousot, Radhia Cousot | 1979 | 1,622 |
| 27 | Automatic discovery of linear restraints among variables of a program Patrick M. Cousot, Nicolas Halbwachs | 1978 | 1,615 |
| 28 | The DaCapo benchmarks Stephen Michael Blackburn, Robin J. Garner, Chris Hoffmann et al. | 16 Oct 2006 | 1,604 |
| 29 | Eraser Stefan Savage, Michael T. Burrows, Greg M. Nelson et al. · ACM Transactions on Computer Systems | Nov 1997 | 1,576 |
| 30 | DART Patrice Godefroid, Nils Klarlund, Koushik Sen | 12 Jun 2005 | 1,559 |
| 31 | Interprocedural slicing using dependence graphs Susan B. Horwitz, Thomas Reps, David Binkley · ACM Transactions on Programming Languages and Systems | 3 Jan 1990 | 1,493 |
| 32 | STRIPS: a new approach to the application of theorem proving to problem solving Richard E. Fikes, Nils J. Nilsson | Sep 1971 | 1,480 |
| 33 | Construction of abstract state graphs with PVS Susanne Graf, Hassen Saı̈di · Lecture notes in computer science | 1997 | 1,467 |
| 34 | Patterns in property specifications for finite-state verification Matthew B. Dwyer, George S. Avrunin, James C. Corbett | 16 May 1999 | 1,464 |
| 35 | 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 |
| 36 | Testing Software Design Modeled by Finite-State Machines Tsun S. Chow · IEEE Transactions on Software Engineering | May 1978 | 1,433 |
| 37 | A Tool for Checking ANSI-C Programs Edmund M. Clarke, Daniel Kroening, Flavio Lerda · Lecture notes in computer science | 2004 | 1,400 |
| 38 | Search‐based software test data generation: a survey Phil McMinn · Software Testing Verification and Reliability | 18 May 2004 | 1,376 |
| 39 | Model Checking Programs Willem I. Visser, Klaus Havelund, Guillaume P. Brat et al. · Automated Software Engineering | Apr 2003 | 1,353 |
| 40 | Prioritizing test cases for regression testing Gregg Rothermel, R.H. Untch, Chengyun Chu et al. · IEEE Transactions on Software Engineering | Oct 2001 | 1,348 |
| 41 | Extended static checking for Java Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge et al. | 17 May 2002 | 1,347 |
| 42 | Regression testing minimization, selection and prioritization: a survey Shin Yoo, Mark Harman · Software Testing Verification and Reliability | 23 Feb 2012 | 1,331 |
| 43 | Detecting large-scale system problems by mining console logs Wei Xu, Ling Huang, Armando Fox et al. | 11 Oct 2009 | 1,323 |
| 44 | Android permissions demystified Adrienne Porter Felt, Erika Chin, Steve Hanna et al. | 17 Oct 2011 | 1,298 |
| 45 | Clone detection using abstract syntax trees Ira D. Baxter, A. Yahin, Leonardo de Moura et al. | 27 Nov 2002 | 1,284 |
| 46 | An empirical study of the reliability of UNIX utilities Barton P. Miller, Lars Fredriksen, Bryan So · Communications of the ACM | Dec 1990 | 1,283 |
| 47 | Software unit test coverage and adequacy Hong Ping Zhu, Patrick A. V. Hall, John H R May · ACM Computing Surveys | Dec 1997 | 1,258 |
| 48 | Empirical evaluation of the tarantula automatic fault-localization technique James A. Jones, Mary Jean Harrold | 7 Nov 2005 | 1,243 |
| 49 | Principles and methods of testing finite state machines-a survey Diane Youngmi Lee, Mihalis Yannakakis · Proceedings of the IEEE | 1996 | 1,227 |
| 50 | 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 |
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.