- ICSE Workshop on Dynamic International Conference on Software Engineering
- Dynamically Discovering Program Invariants Involving Collections Michael D. Ernst + , William G. Griswold # , Yoshio Kataoka + , and David Notkin +
- Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State
- Dynamically Discovering Likely Program Invariants Michael D. Ernst
- Reducing wasted development time via continuous testing David Saff Michael D. Ernst
- Using Predicate Fields in a Highly Flexible Industrial Control System
- Automatic Test Factoring for Java David Saff Shay Artzi Jeff H. Perkins Michael D. Ernst
- GRAPHS INDUCED BY GRAY CODES ELIZABETH L. WILMER AND MICHAEL D. ERNST
- Verification for legacy programs Michael D. Ernst
- Converting Java Programs to Use Generic Libraries Alan Donovan Adam Kie .
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- Formalizing Lightweight Verification of Software Component Composition
- Finding the Needles in the Haystack: Generating Legal Test Inputs for ObjectOriented Programs
- Java Instrumentation for Dynamic Analysis Jeff Perkins and Michael Ernst
- Refactoring for Parameterizing Java Classes zun Michael D. Ernst
- Converting Java Programs to Use Generic Libraries Alan Donovan Adam Kie
- An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing
- Autom Softw Eng (2009) 16: 145192 DOI 10.1007/s10515-008-0043-7
- Early Identification of Incompatibilities in Multi-component Upgrades
- Image/Map Correspondence Using Curve Matching Michael D. Ernst and Bruce E. Flinchbaugh
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- An Experimental Evaluation of Continuous Testing During Development
- Professional statement of Michael D. Ernst http://pag.csail.mit.edu/~mernst/
- Efficient Incremental Algorithms for Dynamic Detection of Likely Invariants
- Playing Konane Mathematically: A Combinatorial GameTheoretic Analysis
- Determining legal method call sequences in object interfaces Samir V. Meghani Michael D. Ernst
- Always-Available Static and Dynamic Feedback Michael Bayne Richard Cook Michael D. Ernst
- Refactoring Sequential Java Code for Concurrency via Concurrent Libraries Danny Dig, John Marrero, Michael D. Ernst
- Inference of Reference Immutability Jaime Quinonez, Matthew S. Tschantz, and Michael D. Ernst
- Science of Computer Programming 69 (2007) 3545 www.elsevier.com/locate/scico
- Prioritizing Warning Categories by Analyzing Software History Sunghun Kim, Michael D. Ernst
- Automatic Test Factoring for Java David Saff Shay Artzi Jeff H. Perkins Michael D. Ernst
- Javari: Adding Reference Immutability to Java Matthew S. Tschantz Michael D. Ernst
- A Practical Type System and Language for Reference Immutability Adrian Birka Michael D. Ernst
- Improving the Adaptability of Multi-mode Systems via Program Steering
- Mock Object Creation for Test Factoring David Saff Michael D. Ernst
- Predicting Problems Caused by Component Upgrades Stephen McCamant Michael D. Ernst
- Determining legal method call sequences in object interfaces Samir V. Meghani Michael D. Ernst
- Improving Test Suites via Operational Abstraction Michael Harder Jeff Mellen Michael D. Ernst
- Automatic Generation of Program Specifications Jeremy W. Nimmer and Michael D. Ernst
- Automated Support for Program Refactoring using Invariants Yoshio Kataoka,
- Dynamically Discovering Likely Program Invariants Michael D. Ernst
- Object and Reference Immutability using Java Generics Yoav Zibin, Alex Potanin
- Serializing Parallel Programs by Removing Redundant Computation
- Selecting, Refining, and Evaluating Predicates for Program Analysis Nii Dodoo Lee Lin Michael D. Ernst
- Predicting Problems Caused by Component Upgrades Stephen McCamant Michael D. Ernst
- Slicing pointers and procedures (abstract) Michael D. Ernst
- Automatically Patching Errors in Deployed Software Jeff H. Perkins, Sunghun Kim, Sam Larsen, Saman Amarasinghe, Jonathan Bachrach,
- Reducing wasted development time via continuous testing David Saff Michael D. Ernst
- Finding the Needles in the Haystack: Generating Legal Test Inputs for Object-Oriented Programs
- Efficient Incremental Algorithms for Dynamic Detection of Likely Invariants
- Static and dynamic analysis: synergy and duality Michael D. Ernst
- Early Identification of Incompatibilities in Multicomponent Upgrades
- Object and Reference Immutability using Java Generics Yoav Zibin, Alex Potanin + , Mahmood Ali, Shay Artzi, Adam Kie zun, Michael D. Ernst
- Using Predicate Fields in a Highly Flexible Industrial Control System
- Inference and enforcement of data structure consistency specifications
- Dynamically Discovering Likely Program Invariants to Support Program Evolution
- The Groupthink Specification Exercise Michael D. Ernst
- Improving Test Suites via Operational Abstraction Michael Harder Jeff Mellen Michael D. Ernst
- Combined Static and Dynamic Automated Test Generation Sai Zhang1 David Saff2 Yingyi Bu3 Michael D. Ernst1
- Data Analysis and Reporting Jeff Perkins and Michael Ernst
- An Empirical Analysis of C Preprocessor Use Michael D. Ernst, Greg J. Badros, and David Notkin, Senior Member, IEEE
- Adequate Models for Recursive Program Schemes
- Intellectual Property in Computing: (How) Should Software Be Protected?
- Quickly Detecting Relevant Program Invariants Michael D. Ernst y , Adam Czeisler y , William G. Griswold z , and David Notkin y
- Transcript of Intellectual Property in Computing
- eclipse Technology eXchange Preliminary Version Continuous Testing in Eclipse
- Finding latent code errors via machine learning over program executions Laboratory for Molecular Science
- An Experimental Evaluation of Continuous Testing During Development
- ReCrash: Making Software Failures Reproducible by Preserving Object States
- Finding latent code errors via machine learning over program executions Laboratory for Molecular Science
- Feedback-directed Random Test Generation Carlos Pacheco1
- Verification for legacy programs Michael D. Ernst
- Inference of Field Initialization Fausto Spoto
- Building and Using Pluggable Type-Checkers Werner Dietl Stephanie Dietzel Michael D. Ernst Kivan Muslu Todd W. Schiller
- Selecting, Refining, and Evaluating Predicates for Program Analysis Nii Dodoo Lee Lin Michael D. Ernst
- Instrumenting Executables for Dynamic Analysis Jeff Perkins and Michael Ernst
- RV'01 Preliminary Version Static veri cation of dynamically detected
- Formalizing Lightweight Verification of Software Component Composition
- Formalisation of Ownership and Immutability Generic Java (OIGJ) -Technical Report
- Static Deadlock Detection for Java Libraries Amy Williams, William Thies, and Michael D. Ernst
- Invariant Inference for Static Checking: An Empirical Evaluation
- Inference and enforcement of data structure consistency specifications
- Verifying Distributed Algorithms via Dynamic Analysis and Theorem Proving
- Practical finegrained static slicing of optimized code
- Image/Map Correspondence Using Curve Matching + Michael D. Ernst and Bruce E. Flinchbaugh
- Speculative Analysis: Exploring Future Development States of Software
- Verifying Distributed Algorithms via Dynamic Analysis and Theorem Proving
- Practical Pluggable Types for Java Matthew M. Papi Mahmood Ali Telmo Luis Correa Jr. Jeff H. Perkins Michael D. Ernst
- Rethinking the Economics of Software Engineering Todd W. Schiller
- Which Warnings Should I Fix First? Sunghun Kim and Michael D. Ernst
- Learning from Executions Dynamic analysis for program
- Practical Pluggable Types for Java Matthew M. Papi Mahmood Ali Telmo Luis Correa Jr. Jeff H. Perkins Michael D. Ernst
- Automatic Generation of Program Specifications Jeremy W. Nimmer and Michael D. Ernst
- Automatic SATCompilation of Planning Problems Michael D. Ernst, Todd D. Millstein, and Daniel S. Weld 3
- Refactoring Using Type Constraints FRANK TIP and ROBERT M. FUHRER, IBM T. J. Watson Research Center
- Inference of field initialization Technical Report UW-CSE-10-02-01
- Value Dependence Graphs: Representation Without Taxation Daniel Weise Roger F. Crew Michael Ernst Bjarne Steensgaard
- ReCrash: Making Software Failures Reproducible by Preserving Object States
- Automated Support for Program Refactoring using Invariants Yoshio Kataoka, Michael D. Ernst, ~ William G. Griswold, } David Notkin
- RV'01 Preliminary Version Static verification of dynamically detected
- A Practical Type System and Language for Reference Immutability Adrian Birka Michael D. Ernst
- Selecting Predicates for Implications in Program Analysis Nii Dodoo Alan Donovan Lee Lin Michael D. Ernst
- Ownership and Immutability in Generic Java Yoav Zibin Alex Potanin Paley Li
- Dynamically Discovering Program Invariants Involving Collections Michael D. Ernst
- Int J Softw Tools Technol Transfer (2004) / Digital Object Identifier (DOI) 10.1007/s10009-004-0167-4 An overview of JML tools and applications
- eclipse Technology eXchange Preliminary Version Continuous Testing in Eclipse
- Heraclitean Encryption Michael Ernst Gideon Yuval
- Automatic Creation of SQL Injection and Cross-Site Scripting Attacks Adam Kiezun
- Panel: Perspectives on Software Engineering David Notkin (chair),1
- HAMPI: A Solver for String Constraints Adam Kiezun
- Static Deadlock Detection for Java Libraries Amy Williams, William Thies, and Michael D. Ernst
- Ernst, Lencevicius, Perkins Detection of Web Service substitutability and
- Int J Softw Tools Technol Transfer (2004) / Digital Object Identifier (DOI) 10.1007/s1000900401674 An overview of JML tools and applications
- The Groupthink Specification Exercise Michael D. Ernst
- Specification Intelligence
- Scaling Up Automated Test Generation: Automatically Generating Maintainable Regression Unit Tests for Programs
- Automated Documentation Inference to Explain Failed Tests
- Proactive Detection of Collaboration Conflicts Yuriy Brun , Reid Holmes , Michael D. Ernst , David Notkin
- How Do Programs Become More Concurrent? A Story of Program Transformations
- Leveraging Existing Instrumentation to Automatically Infer Invariant-Constrained Models
- Predicate Dispatching: A Uni ed Theory of Dispatch
- Bandsaw: Log-Powered Test Scenario Generation for Distributed Systems Ivan Beschastnikh Yuriy Brun Michael D. Ernst Arvind Krishnamurthy Thomas E. Anderson
- CBCD: Cloned Buggy Code Detector Technical Report
- Static Lock Capabilities for Deadlock Freedom Colin S. Gordon Michael D. Ernst Dan Grossman
- Mining Temporal Invariants from Partially Ordered Logs Ivan Beschastnikh Yuriy Brun Michael D. Ernst Arvind Krishnamurthy Thomas E. Anderson
