litlas
ログインアカウント作成

Michael D. Ernst

1976–2026 年に発表

213
論文数
20,135
被引用数
70
h 指数
153
i10 指数

被引用数

Michael D. Ernst の年別被引用数1971 年: 被引用 1 件1976 年: 被引用 6 件1977 年: 被引用 13 件1978 年: 被引用 6 件1979 年: 被引用 5 件1980 年: 被引用 2 件1982 年: 被引用 1 件1993 年: 被引用 1 件1994 年: 被引用 4 件1995 年: 被引用 10 件1996 年: 被引用 6 件1997 年: 被引用 3 件1998 年: 被引用 17 件1999 年: 被引用 25 件2000 年: 被引用 33 件2001 年: 被引用 36 件2002 年: 被引用 49 件2003 年: 被引用 88 件2004 年: 被引用 121 件2005 年: 被引用 198 件2006 年: 被引用 265 件2007 年: 被引用 348 件2008 年: 被引用 344 件2009 年: 被引用 344 件2010 年: 被引用 429 件2011 年: 被引用 501 件2012 年: 被引用 608 件2013 年: 被引用 700 件2014 年: 被引用 841 件2015 年: 被引用 776 件2016 年: 被引用 845 件2017 年: 被引用 865 件2018 年: 被引用 930 件2019 年: 被引用 1,050 件2020 年: 被引用 947 件2021 年: 被引用 864 件2022 年: 被引用 734 件2023 年: 被引用 775 件2024 年: 被引用 776 件2025 年: 被引用 836 件2026 年: 被引用 236 件2027 年: 被引用 1 件1972〜1975 年は被引用が無いため表示していません1981 年は被引用が無いため表示していません1983〜1992 年は被引用が無いため表示していません

引用元

国・地域

この著者を引用した国・地域の世界地図アメリカ合衆国: 引用元論文 4,154 件、この内訳の 29.7%中国: 引用元論文 1,578 件、この内訳の 11.3%ドイツ: 引用元論文 847 件、この内訳の 6%イギリス: 引用元論文 754 件、この内訳の 5.4%カナダ: 引用元論文 707 件、この内訳の 5%イタリア: 引用元論文 471 件、この内訳の 3.4%スイス: 引用元論文 432 件、この内訳の 3.1%フランス: 引用元論文 426 件、この内訳の 3%ブラジル: 引用元論文 344 件、この内訳の 2.5%オランダ: 引用元論文 316 件、この内訳の 2.3%シンガポール: 引用元論文 307 件、この内訳の 2.2%オーストラリア: 引用元論文 261 件、この内訳の 1.9%
0%29.7%その他 24.2%

機関

分野

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

トピック

  • 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%
  • その他45.9%

共著者

全論文

検索で開く
  1. Defects4J: a database of existing faults to enable controlled testing studies for Java programs

    著者: René Just, Darioush Jalali, Michael D. Ernst - Symposium on Software Testing and Analysis, ISSTA 2014 被引用: 1,330

  2. Randoop: feedback-directed random testing for Java

    著者: Carlos Pacheco, Michael D. Ernst - Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion 2007 被引用: 519

  3. The Daikon system for dynamic detection of likely invariants

    著者: 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 被引用: 1,051

  4. Feedback-Directed Random Test Generation

    著者: Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball - Proceedings/Proceedings - International Conference on Software Engineering, ICSE 2007 被引用: 851

  5. Evaluating and improving fault localization

    著者: 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 被引用: 420

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

    著者: René Just, Darioush Jalali, Laura Inozemtseva, Michael D. Ernst, Reid Holmes, Gordon Fraser - SIGSOFT International Symposium on Foundations of Software Engineering, SIGSOFT FSE 2014 被引用: 592

  7. Permutation Methods: A Basis for Exact Inference

    著者: Michael D. Ernst - Statistical Science 2004 被引用: 800

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

    著者: James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, Thomas E. Anderson - ACM SIGPLAN Notices, PLDI 2015 被引用: 261

  9. Translating code comments to procedure specifications

    著者: 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 被引用: 101

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

    著者: Arianna Blasi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, Antonio Carzaniga - Journal of Systems and Software, J. Syst. Softw. 2021 被引用: 47

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

    著者: Doug Woos, James R. Wilcox, Steve Anton, Zachary Tatlock, Michael D. Ernst, Thomas E. Anderson - SIGPLAN Conference on Certified Programs and Proofs, CPP 2016 被引用: 126

  12. Nonparametric Statistical Methods

    著者: Michael D. Ernst, Myles Hollander, Douglas A. Wolfe - Journal of the American Statistical Association 2000 被引用: 449

  13. Empirically revisiting the test independence assumption

    著者: Sai Zhang, Darioush Jalali, Jochen Wuttke, Kivanç Muslu, Wing Lam, Michael D. Ernst, David Notkin - Symposium on Software Testing and Analysis, ISSTA 2014 被引用: 151

  14. Automatic generation of oracles for exceptional behaviors

    著者: Alberto Goffi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè - Symposium on Software Testing and Analysis, ISSTA 2016 被引用: 104

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

    著者: Xi Victoria Lin, Chenglong Wang, Luke Zettlemoyer, Michael D. Ernst - Language Resources and Evaluation Conference, LREC 2018 被引用: 52

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

    著者: Arianna Blasi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè - IEEE/ACM International Conference on Automated Software Engineering, ASE 2022 被引用: 25

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

    著者: Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, Zachary Tatlock - ACM SIGPLAN Notices, OOPSLA 2016 被引用: 58

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

    著者: 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 被引用: 221

  19. An overview of JML tools and applications

    著者: 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 被引用: 713

  20. Practical pluggable types for java

    著者: Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst - symposium on Software testing and analysis, ISSTA 2008 被引用: 180

  21. CBCD: Cloned buggy code detector

    著者: Jingyue Li, Michael D. Ernst - 34th International Conference on Software Engineering (ICSE) 2012 被引用: 131

  22. Building and using pluggable type-checkers

    著者: Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Kivanç Muslu, Todd W. Schiller - Conference on Software Engineering, ICSE 2011 被引用: 112

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

    著者: Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst, Arvind Krishnamurthy - Conference on Software Engineering, ICSE 2014 被引用: 182

  24. Interactive record/replay for web application debugging

    著者: Brian Burg, Richard Bailey, Amy J. Ko, Michael D. Ernst - symposium on User interface software and technology, UIST 2013 被引用: 133