2014 - ACM Fellow For contributions to software analysis, testing, and verification.
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.
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.
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.
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.
Dynamically Discovering Likely Program Invariants to Support Program Evolution
Michael D. Ernst;Jake Cockrell;William G. Griswold;David Notkin.
IEEE Computer Architecture Letters (2001)
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)
HaLoop: efficient iterative data processing on large clusters
Yingyi Bu;Bill Howe;Magdalena Balazinska;Michael D. Ernst.
very large data bases (2010)
An overview of JML tools and applications
Lilian Burdy;Yoonsik Cheon;David Cok;Michael D. Ernst.
Electronic Notes in Theoretical Computer Science (2003)
An overview of JML tools and applications
Lilian Burdy;Yoonsik Cheon;David R. Cok;Michael D. Ernst.
formal methods for industrial critical systems (2005)
Feedback-Directed Random Test Generation
Carlos Pacheco;Shuvendu K. Lahiri;Michael D. Ernst;Thomas Ball.
international conference on software engineering (2007)
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)
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)
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)
Randoop: feedback-directed random testing for Java
Carlos Pacheco;Michael D. Ernst.
conference on object oriented programming systems languages and applications (2007)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: