Michael D. Ernst

Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, Arvind Krishnamurthy: Unifying FSM-inference algorithms through declarative specification. ICSE 2013: 252-261

Sai Zhang, Michael D. Ernst: Automated diagnosis of software configuration errors. ICSE 2013: 312-321

René Just, Michael D. Ernst, Gordon Fraser: Using State Infection Conditions to Detect Equivalent Mutants and Speed up Mutation Analysis. CoRR abs/1303.2784 (2013)

Adam Kiezun, Vijay Ganesh, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst: HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars. ACM Trans. Softw. Eng. Methodol. 21(4): 25 (2012)

Yingyi Bu, Bill Howe, Magdalena Balazinska, Michael D. Ernst: The HaLoop approach to large-scale iterative data analysis. VLDB J. 21(2): 169-190 (2012)

Wei Huang, Werner Dietl, Ana Milanova, Michael D. Ernst: Inference and Checking of Object Ownership. ECOOP 2012: 181-206

Jingyue Li, Michael D. Ernst: CBCD: Cloned buggy code detector. ICSE 2012: 310-320

Kivanç Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin: Improving IDE recommendations by considering global implications of existing recommendations. ICSE 2012: 1349-1352

Sai Zhang, Hao Lü, Michael D. Ernst: Finding errors in multithreaded GUI applications. ISSTA 2012: 243-253

Todd W. Schiller, Michael D. Ernst: Reducing the barriers to writing verified specifications. OOPSLA 2012: 95-112

Kivanç Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin: Speculative analysis of integrated development environment recommendations. OOPSLA 2012: 669-682

Wei Huang, Ana Milanova, Werner Dietl, Michael D. Ernst: Reim & ReImInfer: checking and inference of reference immutability and method purity. OOPSLA 2012: 879-896

Colin S. Gordon, Michael D. Ernst, Dan Grossman: Static lock capabilities for deadlock freedom. TLDI 2012: 67-78

Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst, Arvind Krishnamurthy, Thomas E. Anderson: Mining temporal invariants from partially ordered logs. Operating Systems Review 45(3): 39-46 (2011)

Frank Tip, Robert M. Fuhrer, Adam Kiezun, Michael D. Ernst, Ittai Balaban, Bjorn De Sutter: Refactoring using type constraints. ACM Trans. Program. Lang. Syst. 33(3): 9 (2011)

Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst: HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection. CAV 2011: 1-19

Werner Dietl, Michael D. Ernst, Peter Müller: Tunable Static Inference for Generic Universe Types. ECOOP 2011: 333-357

Fausto Spoto, Michael D. Ernst: Inference of field initialization. ICSE 2011: 231-240

Michael Bayne, Richard Cook, Michael D. Ernst: Always-available static and dynamic feedback. ICSE 2011: 521-530

Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Kivanç Muslu, Todd W. Schiller: Building and using pluggable type-checkers. ICSE 2011: 681-690

Sai Zhang, David Saff, Yingyi Bu, Michael D. Ernst: Combined static and dynamic automated test generation. ISSTA 2011: 353-363

Brian Robinson, Michael D. Ernst, Jeff H. Perkins, Vinay Augustine, Nuo Li: Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs. ASE 2011: 23-32

Sai Zhang, Cheng Zhang, Michael D. Ernst: Automated documentation inference to explain failed tests. ASE 2011: 63-72

Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin: Proactive detection of collaboration conflicts. SIGSOFT FSE 2011: 168-178

Ivan Beschastnikh, Yuriy Brun, Sigurd Schneider, Michael Sloan, Michael D. Ernst: Leveraging existing instrumentation to automatically infer invariant-constrained models. SIGSOFT FSE 2011: 267-277

Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin: Crystal: precise and unobtrusive conflict warnings. SIGSOFT FSE 2011: 444-447

Ivan Beschastnikh, Jenny Abrahamson, Yuriy Brun, Michael D. Ernst: Synoptic: studying logged behavior with inferred models. SIGSOFT FSE 2011: 448-451

Yingyi Bu, Bill Howe, Magdalena Balazinska, Michael D. Ernst: HaLoop: Efficient Iterative Data Processing on Large Clusters. PVLDB 3(1): 285-296 (2010)

Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst: Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking. IEEE Trans. Software Eng. 36(4): 474-494 (2010)

Yoav Zibin, Alex Potanin, Paley Li, Mahmood Ali, Michael D. Ernst: Ownership and immutability in generic Java. OOPSLA 2010: 598-617

Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin: Speculative analysis: exploring future development states of software. FoSER 2010: 59-64

Todd W. Schiller, Michael D. Ernst: Rethinking the economics of software engineering. FoSER 2010: 325-330

Michael D. Ernst, Mahmood Ali: Building and using pluggable type systems. SIGSOFT FSE 2010: 375-376

Michael D. Ernst: How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback. TAP 2010: 1-2

Shay Artzi, Adam Kiezun, Jaime Quinonez, Michael D. Ernst: Parameter reference immutability: formal definition, inference tool, and comparison. Autom. Softw. Eng. 16(1): 145-192 (2009)

Adam Kiezun, Philip J. Guo, Karthick Jayaraman, Michael D. Ernst: Automatic creation of SQL Injection and cross-site scripting attacks. ICSE 2009: 199-209

Danny Dig, John Marrero, Michael D. Ernst: Refactoring sequential Java code for concurrency via concurrent libraries. ICSE 2009: 397-407

Danny Dig, John Marrero, Michael D. Ernst: Concurrencer: A tool for retrofitting concurrency into sequential java applications via concurrent libraries. ICSE Companion 2009: 399-400

Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst: HAMPI: a solver for string constraints. ISSTA 2009: 105-116

Shay Artzi, Sunghun Kim, Michael D. Ernst: ReCrashJ: a tool for capturing and reproducing program crashes in deployed applications. ESEC/SIGSOFT FSE 2009: 295-296

Jeff H. Perkins, Sunghun Kim, Samuel Larsen, Saman P. Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Greg Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, Martin C. Rinard: Automatically patching errors in deployed software. SOSP 2009: 87-102

Shay Artzi, Sunghun Kim, Michael D. Ernst: ReCrash: Making Software Failures Reproducible by Preserving Object States. ECOOP 2008: 542-565

Jaime Quinonez, Matthew S. Tschantz, Michael D. Ernst: Inference of Reference Immutability. ECOOP 2008: 616-641

Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst: Practical pluggable types for java. ISSTA 2008: 201-212

Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst: Finding bugs in dynamic web applications. ISSTA 2008: 261-272

Matthew M. Papi, Mahmood Ali, Michael D. Ernst: Compile-time type-checking for custom type qualifiers in Java. OOPSLA Companion 2008: 723-724

Mahmood Ali, Yoav Zibin, Matthew M. Papi, Michael D. Ernst: Enforcing reference and object immutability in Java. OOPSLA Companion 2008: 725-726

Matthew M. Papi, Mahmood Ali, Michael D. Ernst: Compile-time type-checking for custom type qualifiers in java. OOPSLA Companion 2008: 759-760

Stephen McCamant, Michael D. Ernst: Quantitative information flow as network flow capacity. PLDI 2008: 193-205

Michael D. Ernst, Jeff H. Perkins, Philip J. Guo, Stephen McCamant, Carlos Pacheco, Matthew S. Tschantz, Chen Xiao: The Daikon system for dynamic detection of likely invariants. Sci. Comput. Program. 69(1-3): 35-45 (2007)

Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball: Feedback-Directed Random Test Generation. ICSE 2007: 75-84

Adam Kiezun, Michael D. Ernst, Frank Tip, Robert M. Fuhrer: Refactoring for Parameterizing Java Classes. ICSE 2007: 437-446

Shay Artzi, Adam Kiezun, David Glasser, Michael D. Ernst: Combined static and dynamic mutability analysis. ASE 2007: 104-113

Sunghun Kim, Michael D. Ernst: Prioritizing Warning Categories by Analyzing Software History. MSR 2007: 27

Matthew M. Papi, Michael D. Ernst: Compile-time type-checking for custom type qualifiers in Java. OOPSLA Companion 2007: 809-810

Matthew M. Papi, Michael D. Ernst: Compile-time type-checking for custom type qualifiers in Java. OOPSLA Companion 2007: 809-810

Carlos Pacheco, Michael D. Ernst: Randoop: feedback-directed random testing for Java. OOPSLA Companion 2007: 815-816

Telmo Luis Correa Jr., Jaime Quinonez, Michael D. Ernst: Tools for enforcing and inferring reference immutability in Java. OOPSLA Companion 2007: 866-867

Stephen McCamant, Michael D. Ernst: A simulation-based proof technique for dynamic information flow. PLAS 2007: 41-46

Sunghun Kim, Michael D. Ernst: Which warnings should I fix first? ESEC/SIGSOFT FSE 2007: 45-54

Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst: Object and reference immutability using java generics. ESEC/SIGSOFT FSE 2007: 75-84

Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard: Inference and enforcement of data structure consistency specifications. ISSTA 2006: 233-244

Philip J. Guo, Jeff H. Perkins, Stephen McCamant, Michael D. Ernst: Dynamic inference of abstract types. ISSTA 2006: 255-265

Marcelo d'Amorim, Carlos Pacheco, Tao Xie, Darko Marinov, Michael D. Ernst: An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing. ASE 2006: 59-68

Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll: An overview of JML tools and applications. STTT 7(3): 212-232 (2005)

Carlos Pacheco, Michael D. Ernst: Eclat: Automatic Generation and Classification of Test Inputs. ECOOP 2005: 504-527

Amy Williams, William Thies, Michael D. Ernst: Static Deadlock Detection for Java Libraries. ECOOP 2005: 602-629

Michael D. Ernst: The Groupthink Specification Exercise. Software Education and Training Sessions @ ICSE 2005: 89-107

Michael D. Ernst, John Chapin: The groupthink specification exercise. ICSE 2005: 617-618

David Saff, Michael D. Ernst: Test factoring: focusing test suites for the task at hand. ICSE 2005: 656

David Saff, Michael D. Ernst: Continuous testing in eclipse. ICSE 2005: 668-669

David Saff, Shay Artzi, Jeff H. Perkins, Michael D. Ernst: Automatic test factoring for java. ASE 2005: 114-123

Matthew S. Tschantz, Michael D. Ernst: Javari: adding reference immutability to Java. OOPSLA 2005: 211-230

Shay Artzi, Michael D. Ernst: Using predicate fields in a highly flexible industrial control system. OOPSLA Companion 2005: 319-330

Michael D. Ernst, Thomas P. Jensen (Eds.): Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal, September 5-6, 2005. ACM 2005, isbn 1-59593-239-9

David Saff, Michael D. Ernst: Continuous Testing in Eclipse. Electr. Notes Theor. Comput. Sci. 107: 103-117 (2004)

Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch: Using simulated execution in verifying distributed algorithms. STTT 6(1): 67-76 (2004)

Stephen McCamant, Michael D. Ernst: Early Identification of Incompatibilities in Multi-component Upgrades. ECOOP 2004: 440-464

Yuriy Brun, Michael D. Ernst: Finding Latent Code Errors via Machine Learning over Program Executions. ICSE 2004: 480-490

David Saff, Michael D. Ernst: An experimental evaluation of continuous testing during development. ISSTA 2004: 76-85

Lee Lin, Michael D. Ernst: Improving the adaptability of multi-mode systems via program steering. ISSTA 2004: 206-216

Alan Donovan, Adam Kiezun, Matthew S. Tschantz, Michael D. Ernst: Converting java programs to use generic libraries. OOPSLA 2004: 15-34

Adrian Birka, Michael D. Ernst: A practical type system and language for reference immutability. OOPSLA 2004: 35-49

Michael D. Ernst: Invited Talk Static and dynamic analysis: synergy and duality. PASTE 2004: 35

David Saff, Michael D. Ernst: Mock object creation for test factoring. PASTE 2004: 49-51

Jeff H. Perkins, Michael D. Ernst: Efficient incremental algorithms for dynamic detection of likely invariants. SIGSOFT FSE 2004: 23-32

Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll: An overview of JML tools and applications. Electr. Notes Theor. Comput. Sci. 80: 75-91 (2003)

Jonathan E. Cook, Michael D. Ernst: Summary: ICSE workshop on dynamic analysis (WODA 2003). ACM SIGSOFT Software Engineering Notes 28(6): 4 (2003)

Michael Harder, Jeff Mellen, Michael D. Ernst: Improving Test Suites via Operational Abstraction. ICSE 2003: 60-73

Jonathan E. Cook, Michael D. Ernst: ICSE Workshop on Dynamic Analysis (WODA 2003). ICSE 2003: 795-796

David Saff, Michael D. Ernst: Reducing wasted development time via continuous testing. ISSRE 2003: 281-292

Stephen McCamant, Michael D. Ernst: Predicting problems caused by component upgrades. ESEC / SIGSOFT FSE 2003: 287-296

Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch: Using Simulated Execution in Verifying Distributed Algorithms. VMCAI 2003: 283-297

Elizabeth L. Wilmer, Michael D. Ernst: Graphs induced by Gray codes. Discrete Mathematics 257(2-3): 585-598 (2002)

Michael D. Ernst, Greg J. Badros, David Notkin: An Empirical Analysis of C Preprocessor Use. IEEE Trans. Software Eng. 28(12): 1146-1170 (2002)

Jeremy W. Nimmer, Michael D. Ernst: Automatic generation of program specifications. ISSTA 2002: 229-239

Jeremy W. Nimmer, Michael D. Ernst: Invariant inference for static checking. SIGSOFT FSE 2002: 11-20

Jeremy W. Nimmer, Michael D. Ernst: Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java. Electr. Notes Theor. Comput. Sci. 55(2): 255-276 (2001)

Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin: Dynamically Discovering Likely Program Invariants to Support Program Evolution. IEEE Trans. Software Eng. 27(2): 99-123 (2001)

David Notkin, Marc Donner, Michael D. Ernst, Michael M. Gorlick, E. James Whitehead Jr.: Panel: Perspectives on Software Engineering. ICSE 2001: 699-702

Michael D. Ernst: Summary of Dynamically Discovering Likely Program Invariants. ICSM 2001: 540-544

Yoshio Kataoka, Michael D. Ernst, William G. Griswold, David Notkin: Automated Support for Program Refactoring Using Invariants. ICSM 2001: 736-743

Michael D. Ernst, Adam Czeisler, William G. Griswold, David Notkin: Quickly detecting relevant program invariants. ICSE 2000: 449-458

Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin: Dynamically Discovering Likely Program Invariants to Support Program Evolution. ICSE 1999: 213-224

Michael D. Ernst: Research Summary for Dynamic Detection of Program Invariants. ICSE 1999: 718-719

Michael D. Ernst, Craig S. Kaplan, Craig Chambers: Predicate Dispatching: A Unified Theory of Dispatch. ECOOP 1998: 186-211

Michael D. Ernst, Todd D. Millstein, Daniel S. Weld: Automatic SAT-Compilation of Planning Problems. IJCAI 1997: 1169-1177

Michael D. Ernst (Ed.): Proceedings ACM SIGPLAN Workshop on Intermediate Representations (IR'95), San Francisco, CA, USA, January 22, 1995. ACM 1995, isbn 0-89791-754-5

Daniel Weise, Roger F. Crew, Michael D. Ernst, Bjarne Steensgaard: Value Dependence Graphs: Representation without Taxation. POPL 1994: 297-310