litlas
Log inCreate account

Michael D. Ernst

Active 1976–2026

213
Papers
20,135
Citations
70
h-index
153
i10-index

Citations

Citations per year for Michael D. Ernst1971: 1 citations1976: 6 citations1977: 13 citations1978: 6 citations1979: 5 citations1980: 2 citations1982: 1 citations1993: 1 citations1994: 4 citations1995: 10 citations1996: 6 citations1997: 3 citations1998: 17 citations1999: 25 citations2000: 33 citations2001: 36 citations2002: 49 citations2003: 88 citations2004: 121 citations2005: 198 citations2006: 265 citations2007: 348 citations2008: 344 citations2009: 344 citations2010: 429 citations2011: 501 citations2012: 608 citations2013: 700 citations2014: 841 citations2015: 776 citations2016: 845 citations2017: 865 citations2018: 930 citations2019: 1,050 citations2020: 947 citations2021: 864 citations2022: 734 citations2023: 775 citations2024: 776 citations2025: 836 citations2026: 236 citations2027: 1 citations1972–1975: no citations, so these years are not shown1981: no citations, so this year is not shown1983–1992: no citations, so these years are not shown

Citation sources

Countries

World map of the countries and regions citing this authorUnited States: 4,154 citing papers, 29.7% of this breakdownChina: 1,578 citing papers, 11.3% of this breakdownGermany: 847 citing papers, 6% of this breakdownUnited Kingdom: 754 citing papers, 5.4% of this breakdownCanada: 707 citing papers, 5% of this breakdownItaly: 471 citing papers, 3.4% of this breakdownSwitzerland: 432 citing papers, 3.1% of this breakdownFrance: 426 citing papers, 3% of this breakdownBrazil: 344 citing papers, 2.5% of this breakdownNetherlands: 316 citing papers, 2.3% of this breakdownSingapore: 307 citing papers, 2.2% of this breakdownAustralia: 261 citing papers, 1.9% of this breakdown
0%29.7%Other 24.2%

Institutions

Fields

  • Computer Science92%
  • Engineering1.5%
  • Neuroscience1.2%
  • Decision Sciences1%
  • Medicine0.8%
  • Biochemistry, Genetics and Molecular Biology0.7%
  • Other2.8%

Topics

  • Software Testing and Debugging Techniques16.3%
  • Software Engineering Research14.7%
  • Software Reliability and Analysis Research9.4%
  • Software System Performance and Reliability5.7%
  • Advanced Malware Detection Techniques4.6%
  • Logic, programming, and type systems3.4%
  • Other45.9%

Coauthors

All papers

Open in search
  1. Defects4J: a database of existing faults to enable controlled testing studies for Java programs

    Authors: René Just, Darioush Jalali, Michael D. Ernst - Symposium on Software Testing and Analysis, ISSTA 2014 cited by 1,330

  2. Randoop: feedback-directed random testing for Java

    Authors: Carlos Pacheco, Michael D. Ernst - Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion 2007 cited by 519

  3. The Daikon system for dynamic detection of likely invariants

    Authors: Michael D. Ernst, Jeff H. Perkins, Philip J. Guo, Stephen McCamant, Carlos Pacheco, Matthew S. Tschantz, Chen Xiao - Science of Computer Programming, Sci. Comput. Program. 2007 cited by 1,051

  4. Feedback-Directed Random Test Generation

    Authors: Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball - Proceedings/Proceedings - International Conference on Software Engineering, ICSE 2007 cited by 851

  5. Evaluating and improving fault localization

    Authors: Spencer Pearson, José Campos, René Just, Gordon Fraser, Rui Abreu, Michael D. Ernst, Deric Pang, Benjamin Keller - IEEE/ACM 39th International Conference on Software Engineering (ICSE) 2017 cited by 420

  6. Are mutants a valid substitute for real faults in software testing?

    Authors: René Just, Darioush Jalali, Laura Inozemtseva, Michael D. Ernst, Reid Holmes, Gordon Fraser - SIGSOFT International Symposium on Foundations of Software Engineering, SIGSOFT FSE 2014 cited by 592

  7. Permutation Methods: A Basis for Exact Inference

    Authors: Michael D. Ernst - Statistical Science 2004 cited by 800

  8. Verdi: a framework for implementing and formally verifying distributed systems

    Authors: James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, Thomas E. Anderson - ACM SIGPLAN Notices, PLDI 2015 cited by 261

  9. Translating code comments to procedure specifications

    Authors: Arianna Blasi, Alberto Goffi, Konstantin Kuznetsov, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, Sergio Delgado Castellanos - SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018 cited by 101

  10. MeMo: Automatically identifying metamorphic relations in Javadoc comments for test automation

    Authors: Arianna Blasi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, Antonio Carzaniga - Journal of Systems and Software, J. Syst. Softw. 2021 cited by 47

  11. Planning for change in a formal verification of the raft consensus protocol

    Authors: Doug Woos, James R. Wilcox, Steve Anton, Zachary Tatlock, Michael D. Ernst, Thomas E. Anderson - SIGPLAN Conference on Certified Programs and Proofs, CPP 2016 cited by 126

  12. Nonparametric Statistical Methods

    Authors: Michael D. Ernst, Myles Hollander, Douglas A. Wolfe - Journal of the American Statistical Association 2000 cited by 449

  13. Empirically revisiting the test independence assumption

    Authors: Sai Zhang, Darioush Jalali, Jochen Wuttke, Kivanç Muslu, Wing Lam, Michael D. Ernst, David Notkin - Symposium on Software Testing and Analysis, ISSTA 2014 cited by 151

  14. Automatic generation of oracles for exceptional behaviors

    Authors: Alberto Goffi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè - Symposium on Software Testing and Analysis, ISSTA 2016 cited by 104

  15. NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System

    Authors: Xi Victoria Lin, Chenglong Wang, Luke Zettlemoyer, Michael D. Ernst - Language Resources and Evaluation Conference, LREC 2018 cited by 52

  16. Call Me Maybe: Using NLP to Automatically Generate Unit Test Cases Respecting Temporal Constraints

    Authors: Arianna Blasi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè - IEEE/ACM International Conference on Automated Software Engineering, ASE 2022 cited by 25

  17. Scalable verification of border gateway protocol configurations with an SMT solver

    Authors: Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, Zachary Tatlock - ACM SIGPLAN Notices, OOPSLA 2016 cited by 58

  18. Leveraging existing instrumentation to automatically infer invariant-constrained models

    Authors: Ivan Beschastnikh, Yuriy Brun, Sigurd Schneider, Michael Sloan, Michael D. Ernst - SIGSOFT symposium and the 13th European conference on Foundations of software engineering, SIGSOFT FSE 2011 cited by 221

  19. An overview of JML tools and applications

    Authors: Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joe Kiniry, Gary T. Leavens, K. Rustan, Mirka Leino, Erik Poll - Electronic Notes in Theoretical Computer Science 2003 cited by 713

  20. Practical pluggable types for java

    Authors: Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst - symposium on Software testing and analysis, ISSTA 2008 cited by 180

  21. CBCD: Cloned buggy code detector

    Authors: Jingyue Li, Michael D. Ernst - 34th International Conference on Software Engineering (ICSE) 2012 cited by 131

  22. Building and using pluggable type-checkers

    Authors: Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Kivanç Muslu, Todd W. Schiller - Conference on Software Engineering, ICSE 2011 cited by 112

  23. Inferring models of concurrent systems from logs of their behavior with CSight

    Authors: Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst, Arvind Krishnamurthy - Conference on Software Engineering, ICSE 2014 cited by 182

  24. Interactive record/replay for web application debugging

    Authors: Brian Burg, Richard Bailey, Amy J. Ko, Michael D. Ernst - symposium on User interface software and technology, UIST 2013 cited by 133