Michael D. Ernst

According to our database, Michael D. Ernst authored at least 183 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Inference of Resource Management Specifications.

Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan

Proc. ACM Program. Lang., October, 2023

Automatic Inference of Resource Leak Specifications.

Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan

CoRR, 2023

Pluggable Type Inference for Free.

Martin Kellogg, Daniel Daskiewicz, Loi Ngo Duc Nguyen, Muyeed Ahmed, Michael D. Ernst

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022

Accumulation Analysis (Artifact).

Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst

Dagstuhl Artifacts Ser., 2022

DesCert: Design for Certification.

Natarajan Shankar, Devesh Bhatt, Michael D. Ernst, Minyoung Kim, Srivatsan Varadarajan, Suzanne Millstein, Jorge Navas, Jason Biatek, Huascar Sanchez, Anitha Murugesan, Hao Ren

CoRR, 2022

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

Arianna Blasi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Accumulation Analysis.

Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

An Empirical Study of Fault Localization Families and Their Combinations.

Daming Zou, Jingjing Liang, Yingfei Xiong, Michael D. Ernst, Lu Zhang

IEEE Trans. Software Eng., 2021

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

Arianna Blasi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, Antonio Carzaniga

J. Syst. Softw., 2021

Removing biased data to improve fairness and accuracy.

Sahil Verma, Michael D. Ernst, René Just

CoRR, 2021

Checking conformance of applications against GUI policies.

Zhen Zhang, Yu Feng, Michael D. Ernst, Sebastian Porst, Isil Dillig

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Lightweight and modular resource leak verification.

Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Verifying Determinism in Sequential Programs.

Rashmi Mudduluru, Jason Waataja, Suzanne Millstein, Michael D. Ernst

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

2020

Visualizing Distributed System Executions.

Ivan Beschastnikh, Perry Liu, Albert Xing, Patty Wang, Yuriy Brun, Michael D. Ernst

ACM Trans. Softw. Eng. Methodol., 2020

Continuous Compliance.

Martin Kellogg, Martin Schäf, Serdar Tasiran, Michael D. Ernst

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Revisiting the Relationship Between Fault Detection, Test Adequacy Criteria, and Test Set Size.

Yiqun T. Chen, Rahul Gopinath, Anita Tadakamalla, Michael D. Ernst, Reid Holmes, Gordon Fraser, Paul Ammann, René Just

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Dependent-test-aware regression testing techniques.

Wing Lam, August Shi, Reed Oei, Sai Zhang, Michael D. Ernst, Tao Xie

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Where should I comment my code?: a dataset and model for predicting locations that need comments.

Annie Louis, Santanu Kumar Dash, Earl T. Barr, Michael D. Ernst, Charles Sutton

Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020

Verifying object construction.

Martin Kellogg, Manli Ran, Manu Sridharan, Martin Schäf, Michael D. Ernst

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Static Identification of Injection Attacks in Java.

Fausto Spoto, Elisa Burato, Michael D. Ernst, Pietro Ferrara, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon

ACM Trans. Program. Lang. Syst., 2019

Modular verification of web page layout.

Pavel Panchekha, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil

Proc. ACM Program. Lang., 2019

Research on NLP for RE at Università della Svizzera Italiana (USI): A Report.

Arianna Blasi, Mauro Pezzè, Alessandra Gorla, Michael D. Ernst

Proceedings of the Joint Proceedings of REFSQ-2019 Workshops, 2019

Theory and practice of string solvers (invited talk abstract).

Adam Kiezun, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst, Vijay Ganesh

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Teaching Rigorous Distributed Systems With Efficient Model Checking.

Ellis Michael, Doug Woos, Thomas E. Anderson, Michael D. Ernst, Zachary Tatlock

Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

2018

A Graphical Interactive Debugger for Distributed Systems.

Doug Woos, Zachary Tatlock, Michael D. Ernst, Thomas E. Anderson

CoRR, 2018

Verifying that web pages have accessible layout.

Pavel Panchekha, Adam T. Geller, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

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

Proceedings of the Eleventh International Conference on Language Resources and Evaluation, 2018

Lightweight verification of array indexing.

Martin Kellogg, Vlastimil Dort, Suzanne Millstein, Michael D. Ernst

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Comparing developer-provided to user-provided tests for fault localization and automated program repair.

René Just, Chris Parnin, Ian Drosos, Michael D. Ernst

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Translating code comments to procedure specifications.

Arianna Blasi, Alberto Goffi, Konstantin Kuznetsov, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, Sergio Delgado Castellanos

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Generalized data structure synthesis.

Calvin Loncaric, Michael D. Ernst, Emina Torlak

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types.

Colin S. Gordon, Michael D. Ernst, Dan Grossman, Matthew J. Parkinson

ACM Trans. Program. Lang. Syst., 2017

SpaceSearch: a library for building and verifying solver-aided tools.

Konstantin Weitz, Steven Lyubomirsky, Stefan Heule, Emina Torlak, Michael D. Ernst, Zachary Tatlock

Proc. ACM Program. Lang., 2017

Natural Language is a Programming Language: Applying Natural Language Processing to Software Development.

Michael D. Ernst

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Evaluating and improving fault localization.

Spencer Pearson, José Campos, René Just, Gordon Fraser, Rui Abreu, Michael D. Ernst, Deric Pang, Benjamin Keller

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

Debugging distributed systems.

Ivan Beschastnikh, Patty Wang, Yuriy Brun, Michael D. Ernst

Commun. ACM, 2016

Fast synthesis of fast collections.

Calvin Loncaric, Emina Torlak, Michael D. Ernst

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

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

Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, Zachary Tatlock

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Semantics for Locking Specifications.

Michael D. Ernst, Damiano Macedonio, Massimo Merro, Fausto Spoto

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Automatic generation of oracles for exceptional behaviors.

Alberto Goffi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Locking discipline inference and checking.

Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Fausto Spoto, Javier Thaine

Proceedings of the 38th International Conference on Software Engineering, 2016

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

Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016

Automatic Trigger Generation for Rule-based Smart Homes.

Chandrakana Nandi, Michael D. Ernst

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016

Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers.

Stuart Pernsteiner, Calvin Loncaric, Emina Torlak, Zachary Tatlock, Xi Wang, Michael D. Ernst, Jonathan Jacky

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Reducing Feedback Delay of Software Development Tools via Continuous Analysis.

Kivanç Muslu, Yuriy Brun, Michael D. Ernst, David Notkin

IEEE Trans. Software Eng., 2015

Using Declarative Specification to Improve the Understanding, Extensibility, and Comparison of Model-Inference Algorithms.

Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, Arvind Krishnamurthy

IEEE Trans. Software Eng., 2015

Explaining Visual Changes in Web Interfaces.

Brian Burg, Amy J. Ko, Michael D. Ernst

Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology, 2015

Toward a Dependability Case Language and Workflow for a Radiation Therapy System.

Michael D. Ernst, Dan Grossman, Jon Jacky, Calvin Loncaric, Stuart Pernsteiner, Zachary Tatlock, Emina Torlak, Xi Wang

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

A Data Programming CS1 Course.

Ruth E. Anderson, Michael D. Ernst, Robert Ordóñez, Paul Pham, Ben Tribelhorn

Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015

Collaborative Verification of Information Flow for a High-Assurance App Store.

René Just, Michael D. Ernst, Suzanne Millstein

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Mutation Analysis for the Real World: Effectiveness, Efficiency, and Proper Tool Support.

René Just, Michael D. Ernst, Gordon Fraser

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

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

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Ayudante: identifying undesired variable interactions.

Irfan Ul Haq, Juan Caballero, Michael D. Ernst

Proceedings of the 13th International Workshop on Dynamic Analysis, 2015

Boolean Formulas for the Static Identification of Injection Attacks in Java.

Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon, Fausto Spoto

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Development History Granularity Transformations (N).

Kivanç Muslu, Luke Swart, Yuriy Brun, Michael D. Ernst

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T).

Paulo Barros, René Just, Suzanne Millstein, Paul Vines, Werner Dietl, Marcelo d'Amorim, Michael D. Ernst

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Proactive detection of inadequate diagnostic messages for software configuration errors.

Sai Zhang, Michael D. Ernst

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool.

Mohsen Vakilian, Amarin Phaosawasdi, Michael D. Ernst, Ralph E. Johnson

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

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

René Just, Darioush Jalali, Laura Inozemtseva, Michael D. Ernst, Reid Holmes, Gordon Fraser

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Introductory programming meets the real world: using real problems and data in CS1.

Ruth E. Anderson, Michael D. Ernst, Robert Ordóñez, Paul Pham, Steven A. Wolfman

Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

Empirically revisiting the test independence assumption.

Sai Zhang, Darioush Jalali, Jochen Wuttke, Kivanç Muslu, Wing Lam, Michael D. Ernst, David Notkin

Proceedings of the International Symposium on Software Testing and Analysis, 2014

A format string checker for Java.

Konstantin Weitz, Siwakorn Srisakaokul, Gene Kim, Michael D. Ernst

Proceedings of the International Symposium on Software Testing and Analysis, 2014

A type system for format strings.

Konstantin Weitz, Gene Kim, Siwakorn Srisakaokul, Michael D. Ernst

Proceedings of the International Symposium on Software Testing and Analysis, 2014

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

René Just, Darioush Jalali, Michael D. Ernst

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Efficient mutation analysis by propagating and partitioning infected execution states.

René Just, Michael D. Ernst, Gordon Fraser

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Which configuration option should I change?

Sai Zhang, Michael D. Ernst

Proceedings of the 36th International Conference on Software Engineering, 2014

Case studies and tools for contract specifications.

Todd W. Schiller, Kellen Donohue, Forrest Coward, Michael D. Ernst

Proceedings of the 36th International Conference on Software Engineering, 2014

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

Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst, Arvind Krishnamurthy

Proceedings of the 36th International Conference on Software Engineering, 2014

Shedding light on distributed system executions.

Jenny Abrahamson, Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst

Proceedings of the 36th International Conference on Software Engineering, 2014

Collaborative Verification of Information Flow for a High-Assurance App Store.

Michael D. Ernst, René Just, Suzanne Millstein, Werner Dietl, Stuart Pernsteiner, Franziska Roesner, Karl Koscher, Paulo Barros, Ravi Bhoraskar, Seungyeop Han, Paul Vines, Edward XueJun Wu

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

User scripting on Android using BladeDroid.

Ravi Bhoraskar, Dominic Langenegger, Pingyang He, Raymond Cheng, William Scott, Michael D. Ernst

Proceedings of the Asia-Pacific Workshop on Systems, 2014

2013

Immutability.

Alex Potanin, Johan Östlund, Yoav Zibin, Michael D. Ernst

Proceedings of the Aliasing in Object-Oriented Programming. Types, 2013

Early Detection of Collaboration Conflicts and Risks.

Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin

IEEE Trans. Software Eng., 2013

Using State Infection Conditions to Detect Equivalent Mutants and Speed up Mutation Analysis

René Just, Michael D. Ernst, Gordon Fraser

CoRR, 2013

Interactive record/replay for web application debugging.

Brian Burg, Richard Bailey, Amy J. Ko, Michael D. Ernst

Proceedings of the 26th Annual ACM Symposium on User Interface Software and Technology, 2013

Making offline analyses continuous.

Kivanç Muslu, Yuriy Brun, Michael D. Ernst, David Notkin

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Rely-guarantee references for refinement types over aliased mutable data.

Colin S. Gordon, Michael D. Ernst, Dan Grossman

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Automatically repairing broken workflows for evolving GUI applications.

Sai Zhang, Hao Lü, Michael D. Ernst

Proceedings of the International Symposium on Software Testing and Analysis, 2013

Automated diagnosis of software configuration errors.

Sai Zhang, Michael D. Ernst

Proceedings of the 35th International Conference on Software Engineering, 2013

Unifying FSM-inference algorithms through declarative specification.

Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, Arvind Krishnamurthy

Proceedings of the 35th International Conference on Software Engineering, 2013

Java UI : Effects for Controlling UI Object Access.

Colin S. Gordon, Werner Dietl, Michael D. Ernst, Dan Grossman

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012

The HaLoop approach to large-scale iterative data analysis.

Yingyi Bu, Bill Howe, Magdalena Balazinska, Michael D. Ernst

VLDB J., 2012

HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars.

Adam Kiezun, Vijay Ganesh, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst

ACM Trans. Softw. Eng. Methodol., 2012

Static lock capabilities for deadlock freedom.

Colin S. Gordon, Michael D. Ernst, Dan Grossman

Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, 2012

Reducing the barriers to writing verified specifications.

Todd W. Schiller, Michael D. Ernst

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Speculative analysis of integrated development environment recommendations.

Kivanç Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Reim & ReImInfer: checking and inference of reference immutability and method purity.

Wei Huang, Ana L. Milanova, Werner Dietl, Michael D. Ernst

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Finding errors in multithreaded GUI applications.

Sai Zhang, Hao Lü, Michael D. Ernst

Proceedings of the International Symposium on Software Testing and Analysis, 2012

Improving IDE recommendations by considering global implications of existing recommendations.

Kivanç Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin

Proceedings of the 34th International Conference on Software Engineering, 2012

CBCD: Cloned buggy code detector.

Jingyue Li, Michael D. Ernst

Proceedings of the 34th International Conference on Software Engineering, 2012

A type system for regular expressions.

Eric Spishak, Werner Dietl, Michael D. Ernst

Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, 2012

Inference and Checking of Object Ownership.

Wei Huang, Werner Dietl, Ana L. Milanova, Michael D. Ernst

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

Verification games: making verification fun.

Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Nathaniel Mote, Brian Walker, Seth Cooper, Timothy Pavlik, Zoran Popovic

Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, 2012

2011

Refactoring using type constraints.

Frank Tip, Robert M. Fuhrer, Adam Kiezun, Michael D. Ernst, Ittai Balaban, Bjorn De Sutter

ACM Trans. Program. Lang. Syst., 2011

Mining temporal invariants from partially ordered logs.

Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst, Arvind Krishnamurthy, Thomas E. Anderson

ACM SIGOPS Oper. Syst. Rev., 2011

Crystal: precise and unobtrusive conflict warnings.

Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Proactive detection of collaboration conflicts.

Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Leveraging existing instrumentation to automatically infer invariant-constrained models.

Ivan Beschastnikh, Yuriy Brun, Sigurd Schneider, Michael Sloan, Michael D. Ernst

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Synoptic: studying logged behavior with inferred models.

Ivan Beschastnikh, Jenny Abrahamson, Yuriy Brun, Michael D. Ernst

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Automated documentation inference to explain failed tests.

Sai Zhang, Cheng Zhang, Michael D. Ernst

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs.

Brian Robinson, Michael D. Ernst, Jeff H. Perkins, Vinay Augustine, Nuo Li

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Combined static and dynamic automated test generation.

Sai Zhang, David Saff, Yingyi Bu, Michael D. Ernst

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Inference of field initialization.

Fausto Spoto, Michael D. Ernst

Proceedings of the 33rd International Conference on Software Engineering, 2011

How do programs become more concurrent: a story of program transformations.

Danny Dig, John Marrero, Michael D. Ernst

Proceedings of the 4th International Workshop on Multicore Software Engineering, 2011

Building and using pluggable type-checkers.

Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Kivanç Muslu, Todd W. Schiller

Proceedings of the 33rd International Conference on Software Engineering, 2011

Always-available static and dynamic feedback.

Michael Bayne, Richard Cook, Michael D. Ernst

Proceedings of the 33rd International Conference on Software Engineering, 2011

Tunable Static Inference for Generic Universe Types.

Werner Dietl, Michael D. Ernst, Peter Müller

Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection.

Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking.

Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst

IEEE Trans. Software Eng., 2010

HaLoop: Efficient Iterative Data Processing on Large Clusters.

Yingyi Bu, Bill Howe, Magdalena Balazinska, Michael D. Ernst

Proc. VLDB Endow., 2010

How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback.

Michael D. Ernst

Proceedings of the Tests and Proofs - 4th International Conference, 2010

Rethinking the economics of software engineering.

Todd W. Schiller, Michael D. Ernst

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Building and using pluggable type systems.

Michael D. Ernst, Mahmood Ali

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Speculative analysis: exploring future development states of software.

Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Synoptic: Summarizing System Logs with Refinement.

Sigurd Schneider, Ivan Beschastnikh, Slava Chernyak, Michael D. Ernst, Yuriy Brun

Proceedings of the Workshop on Managing Systems via Log Analysis and Machine Learning Techniques, 2010

Ownership and immutability in generic Java.

Yoav Zibin, Alex Potanin, Paley Li, Mahmood Ali, Michael D. Ernst

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2009

Parameter reference immutability: formal definition, inference tool, and comparison.

Shay Artzi, Adam Kiezun, Jaime Quinonez, Michael D. Ernst

Autom. Softw. Eng., 2009

Automatically patching errors in deployed software.

Jeff H. Perkins, Sunghun Kim, Samuel Larsen, Saman P. Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Gregory T. Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, Martin C. Rinard

Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

ReCrashJ: a tool for capturing and reproducing program crashes in deployed applications.

Shay Artzi, Sunghun Kim, Michael D. Ernst

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

HAMPI: a solver for string constraints.

Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst

Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

Automatic creation of SQL Injection and cross-site scripting attacks.

Adam Kiezun, Philip J. Guo, Karthick Jayaraman, Michael D. Ernst

Proceedings of the 31st International Conference on Software Engineering, 2009

Concurrencer: A tool for retrofitting concurrency into sequential java applications via concurrent libraries.

Danny Dig, John Marrero, Michael D. Ernst

Proceedings of the 31st International Conference on Software Engineering, 2009

Refactoring sequential Java code for concurrency via concurrent libraries.

Danny Dig, John Marrero, Michael D. Ernst

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Quantitative information flow as network flow capacity.

Stephen McCamant, Michael D. Ernst

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Compile-time type-checking for custom type qualifiers in java.

Matthew M. Papi, Mahmood Ali, Michael D. Ernst

Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Enforcing reference and object immutability in Java.

Mahmood Ali, Yoav Zibin, Matthew M. Papi, Michael D. Ernst

Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Practical pluggable types for java.

Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Finding bugs in dynamic web applications.

Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Inference of Reference Immutability.

Jaime Quinonez, Matthew S. Tschantz, Michael D. Ernst

Proceedings of the ECOOP 2008, 2008

ReCrash: Making Software Failures Reproducible by Preserving Object States.

Shay Artzi, Sunghun Kim, Michael D. Ernst

Proceedings of the ECOOP 2008, 2008

2007

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

Sci. Comput. Program., 2007

Object and reference immutability using java generics.

Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Which warnings should I fix first?

Sunghun Kim, Michael D. Ernst

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

A simulation-based proof technique for dynamic information flow.

Stephen McCamant, Michael D. Ernst

Proceedings of the 2007 Workshop on Programming Languages and Analysis for Security, 2007

Compile-time type-checking for custom type qualifiers in Java.

Matthew M. Papi, Michael D. Ernst

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Randoop: feedback-directed random testing for Java.

Carlos Pacheco, Michael D. Ernst

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Tools for enforcing and inferring reference immutability in Java.

Telmo Luis Correa Jr., Jaime Quinonez, Michael D. Ernst

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Prioritizing Warning Categories by Analyzing Software History.

Sunghun Kim, Michael D. Ernst

Proceedings of the Fourth International Workshop on Mining Software Repositories, 2007

Combined static and dynamic mutability analysis.

Shay Artzi, Adam Kiezun, David Glasser, Michael D. Ernst

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Feedback-Directed Random Test Generation.

Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Refactoring for Parameterizing Java Classes.

Adam Kiezun, Michael D. Ernst, Frank Tip, Robert M. Fuhrer

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006

An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing.

Marcelo d'Amorim, Carlos Pacheco, Tao Xie, Darko Marinov, Michael D. Ernst

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Dynamic inference of abstract types.

Philip J. Guo, Jeff H. Perkins, Stephen McCamant, Michael D. Ernst

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

Inference and enforcement of data structure consistency specifications.

Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

2005

Javari: adding reference immutability to Java.

Matthew S. Tschantz, Michael D. Ernst

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Using predicate fields in a highly flexible industrial control system.

Shay Artzi, Michael D. Ernst

Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Automatic test factoring for java.

David Saff, Shay Artzi, Jeff H. Perkins, Michael D. Ernst

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Test factoring: focusing test suites for the task at hand.

David Saff, Michael D. Ernst

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

The groupthink specification exercise.

Michael D. Ernst, John Chapin

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

The Groupthink Specification Exercise.

Michael D. Ernst

Proceedings of the Software Engineering Education in the Modern Age, 2005

Static Deadlock Detection for Java Libraries.

Amy L. Williams, William Thies, Michael D. Ernst

Proceedings of the ECOOP 2005, 2005

Eclat: Automatic Generation and Classification of Test Inputs.

Carlos Pacheco, Michael D. Ernst

Proceedings of the ECOOP 2005, 2005

2004

Using simulated execution in verifying distributed algorithms.

Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch

Int. J. Softw. Tools Technol. Transf., 2004

Continuous Testing in Eclipse.

David Saff, Michael D. Ernst

Proceedings of the Second Eclipse Technology Exchange: eTX and the Eclipse Phenomenon, 2004

Efficient incremental algorithms for dynamic detection of likely invariants.

Jeff H. Perkins, Michael D. Ernst

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Mock object creation for test factoring.

David Saff, Michael D. Ernst

Proceedings of the 2004 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2004

Invited Talk Static and dynamic analysis: synergy and duality.

Michael D. Ernst

Proceedings of the 2004 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2004

Converting java programs to use generic libraries.

Alan Donovan, Adam Kiezun, Matthew S. Tschantz, Michael D. Ernst

Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

A practical type system and language for reference immutability.

Adrian Birka, Michael D. Ernst

Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

An experimental evaluation of continuous testing during development.

David Saff, Michael D. Ernst

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

Improving the adaptability of multi-mode systems via program steering.

Lee Lin, Michael D. Ernst

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

Finding Latent Code Errors via Machine Learning over Program Executions.

Yuriy Brun, Michael D. Ernst

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Early Identification of Incompatibilities in Multi-component Upgrades.

Stephen McCamant, Michael D. Ernst

Proceedings of the ECOOP 2004, 2004

2003

Summary: ICSE workshop on dynamic analysis (WODA 2003).

Jonathan E. Cook, Michael D. Ernst

ACM SIGSOFT Softw. Eng. Notes, 2003

An overview of JML tools and applications.

Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

Predicting problems caused by component upgrades.

Stephen McCamant, Michael D. Ernst

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Reducing wasted development time via continuous testing.

David Saff, Michael D. Ernst

Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

Improving Test Suites via Operational Abstraction.

Michael Harder, Jeff Mellen, Michael D. Ernst

Proceedings of the 25th International Conference on Software Engineering, 2003

ICSE Workshop on Dynamic Analysis (WODA 2003).

Jonathan E. Cook, Michael D. Ernst

Proceedings of the 25th International Conference on Software Engineering, 2003

2002

An Empirical Analysis of C Preprocessor Use.

Michael D. Ernst, Greg J. Badros, David Notkin

IEEE Trans. Software Eng., 2002

Graphs induced by Gray codes.

Elizabeth L. Wilmer, Michael D. Ernst

Discret. Math., 2002

Invariant inference for static checking.

Jeremy W. Nimmer, Michael D. Ernst

Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002

Automatic generation of program specifications.

Jeremy W. Nimmer, Michael D. Ernst

Proceedings of the International Symposium on Software Testing and Analysis, 2002

2001

Dynamically Discovering Likely Program Invariants to Support Program Evolution.

Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin

IEEE Trans. Software Eng., 2001

Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java.

Jeremy W. Nimmer, Michael D. Ernst

Proceedings of the Workshop on Runtime Verification, 2001

Automated Support for Program Refactoring Using Invariants.

Yoshio Kataoka, Michael D. Ernst, William G. Griswold, David Notkin

Proceedings of the 2001 International Conference on Software Maintenance, 2001

Summary of Dynamically Discovering Likely Program Invariants.

Michael D. Ernst

Proceedings of the 2001 International Conference on Software Maintenance, 2001

Panel: Perspectives on Software Engineering.

David Notkin, Marc Donner, Michael D. Ernst, Michael M. Gorlick, E. James Whitehead Jr.

Proceedings of the 23rd International Conference on Software Engineering, 2001

2000

Quickly detecting relevant program invariants.

Michael D. Ernst, Adam Czeisler, William G. Griswold, David Notkin

Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999

Research Summary for Dynamic Detection of Program Invariants.

Michael D. Ernst

Proceedings of the 1999 International Conference on Software Engineering, 1999

1998

Predicate Dispatching: A Unified Theory of Dispatch.

Michael D. Ernst, Craig S. Kaplan, Craig Chambers

Proceedings of the ECOOP'98, 1998

1997

Automatic SAT-Compilation of Planning Problems.

Michael D. Ernst, Todd D. Millstein, Daniel S. Weld

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

1994

Value Dependence Graphs: Representation without Taxation.

Daniel Weise, Roger F. Crew, Michael D. Ernst, Bjarne Steensgaard

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994