D-Index & Metrics Best Publications

D-Index & Metrics

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 70 Citations 22,584 189 World Ranking 844 National Ranking 507

Research.com Recognitions

Awards & Achievements

2014 - ACM Fellow For contributions to software analysis, testing, and verification.

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Operating system
  • Software

Michael D. Ernst mainly investigates Programming language, Theoretical computer science, Formal specification, Java and Invariant. His Programming language study typically links adjacent topics like Software engineering. His work in the fields of Theoretical computer science, such as Satisfiability, overlaps with other areas such as Suite.

His Java research integrates issues from Debugging and Interface. The study incorporates disciplines such as Binary form, Data structure and Software evolution in addition to Invariant. Michael D. Ernst usually deals with Data structure and limits it to topics linked to Test suite and Unit testing, Algorithm and Set.

His most cited work include:

  • Dynamically Discovering Likely Program Invariants to Support Program Evolution (923 citations)
  • The Daikon system for dynamic detection of likely invariants (806 citations)
  • An overview of JML tools and applications (657 citations)

What are the main themes of his work throughout his whole career to date?

Michael D. Ernst mainly focuses on Programming language, Java, Theoretical computer science, Software engineering and Software. His Programming language research is multidisciplinary, relying on both Invariant and Code. His Invariant study combines topics in areas such as Formal specification and Software evolution.

He combines subjects such as Type, Concurrency and Code refactoring with his study of Java. Michael D. Ernst interconnects Algorithm, Correctness, Inference, Solver and Data structure in the investigation of issues within Theoretical computer science. As a member of one scientific family, Michael D. Ernst mostly works in the field of Software, focusing on Debugging and, on occasion, Software bug.

He most often published in these fields:

  • Programming language (40.26%)
  • Java (23.81%)
  • Theoretical computer science (17.75%)

What were the highlights of his more recent work (between 2015-2021)?

  • Programming language (40.26%)
  • Software (12.55%)
  • Code (10.82%)

In recent papers he was focusing on the following fields of study:

His primary scientific interests are in Programming language, Software, Code, Data mining and Distributed computing. His research combines Test case and Programming language. Within one scientific family, Michael D. Ernst focuses on topics pertaining to Source code under Software, and may sometimes address concerns connected to Data security, Encryption and Certificate.

His Code research includes elements of Computing Methodologies and Line. The concepts of his Data mining study are interwoven with issues in Software bug, Probabilistic logic, Debugging and Set. His Distributed computing research focuses on Debugger and how it connects with Asynchrony, Model checking, State space, Exploratory testing and Node.

Between 2015 and 2021, his most popular works were:

  • Evaluating and improving fault localization (177 citations)
  • Planning for change in a formal verification of the raft consensus protocol (66 citations)
  • An Empirical Study of Fault Localization Families and Their Combinations (50 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Operating system
  • Software

The scientist’s investigation covers issues in Debugging, Software, Theoretical computer science, Domain and Test case. His studies deal with areas such as Software bug, Nexus and Data mining as well as Debugging. Many of his studies on Data mining involve topics that are commonly interrelated, such as Algorithm.

His Theoretical computer science study incorporates themes from Mathematical proof, State, Data structure and Task. His Test case research includes themes of Javadoc, Programming language, Software development and Natural language. His studies in Software development integrate themes in fields like Java, Semantics and Executable.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Dynamically Discovering Likely Program Invariants to Support Program Evolution

Michael D. Ernst;Jake Cockrell;William G. Griswold;David Notkin.
IEEE Computer Architecture Letters (2001)

1449 Citations

The Daikon system for dynamic detection of likely invariants

Michael D. Ernst;Jeff H. Perkins;Philip J. Guo;Stephen McCamant.
Science of Computer Programming (2007)

1238 Citations

HaLoop: efficient iterative data processing on large clusters

Yingyi Bu;Bill Howe;Magdalena Balazinska;Michael D. Ernst.
very large data bases (2010)

1142 Citations

An overview of JML tools and applications

Lilian Burdy;Yoonsik Cheon;David Cok;Michael D. Ernst.
Electronic Notes in Theoretical Computer Science (2003)

1137 Citations

An overview of JML tools and applications

Lilian Burdy;Yoonsik Cheon;David R. Cok;Michael D. Ernst.
formal methods for industrial critical systems (2005)

1053 Citations

Feedback-Directed Random Test Generation

Carlos Pacheco;Shuvendu K. Lahiri;Michael D. Ernst;Thomas Ball.
international conference on software engineering (2007)

929 Citations

Defects4J: a database of existing faults to enable controlled testing studies for Java programs

René Just;Darioush Jalali;Michael D. Ernst.
international symposium on software testing and analysis (2014)

645 Citations

Are mutants a valid substitute for real faults in software testing

René Just;Darioush Jalali;Laura Inozemtseva;Michael D. Ernst.
foundations of software engineering (2014)

558 Citations

Automatic creation of SQL Injection and cross-site scripting attacks

Adam Kieyzun;Philip J. Guo;Karthick Jayaraman;Michael D. Ernst.
international conference on software engineering (2009)

503 Citations

Static and dynamic analysis: synergy and duality

Michael D. Ernst.
(2003)

477 Citations

Best Scientists Citing Michael D. Ernst

Tao Xie

Tao Xie

Peking University

Publications: 75

Martin Rinard

Martin Rinard

MIT

Publications: 67

Gordon Fraser

Gordon Fraser

University of Passau

Publications: 65

David Lo

David Lo

Singapore Management University

Publications: 64

Darko Marinov

Darko Marinov

University of Illinois at Urbana-Champaign

Publications: 57

Sarfraz Khurshid

Sarfraz Khurshid

The University of Texas at Austin

Publications: 52

Gary T. Leavens

Gary T. Leavens

University of Central Florida

Publications: 52

Mark Harman

Mark Harman

University College London

Publications: 52

Andreas Zeller

Andreas Zeller

Saarland University

Publications: 51

Alex Groce

Alex Groce

Northern Arizona University

Publications: 47

Mauro Pezzè

Mauro Pezzè

Universita della Svizzera Italiana

Publications: 47

Alessandro Orso

Alessandro Orso

Georgia Institute of Technology

Publications: 47

Westley Weimer

Westley Weimer

University of Michigan–Ann Arbor

Publications: 46

Martin Monperrus

Martin Monperrus

Royal Institute of Technology

Publications: 42

Bertrand Meyer

Bertrand Meyer

Schaffhausen Institute of Technology

Publications: 42

Christian Kästner

Christian Kästner

Carnegie Mellon University

Publications: 42

Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking d-index is inferred from publications deemed to belong to the considered discipline.

If you think any of the details on this page are incorrect, let us know.

Contact us
Something went wrong. Please try again later.