2008 |
67 | EE | Shay Artzi,
Sunghun Kim,
Michael D. Ernst:
ReCrash: Making Software Failures Reproducible by Preserving Object States.
ECOOP 2008: 542-565 |
66 | EE | Jaime Quinonez,
Matthew S. Tschantz,
Michael D. Ernst:
Inference of Reference Immutability.
ECOOP 2008: 616-641 |
65 | EE | Matthew M. Papi,
Mahmood Ali,
Telmo Luis Correa Jr.,
Jeff H. Perkins,
Michael D. Ernst:
Practical pluggable types for java.
ISSTA 2008: 201-212 |
64 | EE | 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 |
63 | EE | Matthew M. Papi,
Mahmood Ali,
Michael D. Ernst:
Compile-time type-checking for custom type qualifiers in Java.
OOPSLA Companion 2008: 723-724 |
62 | EE | Mahmood Ali,
Yoav Zibin,
Matthew M. Papi,
Michael D. Ernst:
Enforcing reference and object immutability in Java.
OOPSLA Companion 2008: 725-726 |
61 | EE | Matthew M. Papi,
Mahmood Ali,
Michael D. Ernst:
Compile-time type-checking for custom type qualifiers in java.
OOPSLA Companion 2008: 759-760 |
60 | EE | Stephen McCamant,
Michael D. Ernst:
Quantitative information flow as network flow capacity.
PLDI 2008: 193-205 |
2007 |
59 | EE | Shay Artzi,
Adam Kiezun,
David Glasser,
Michael D. Ernst:
Combined static and dynamic mutability analysis.
ASE 2007: 104-113 |
58 | EE | Sunghun Kim,
Michael D. Ernst:
Which warnings should I fix first?
ESEC/SIGSOFT FSE 2007: 45-54 |
57 | EE | 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 |
56 | EE | Adam Kiezun,
Michael D. Ernst,
Frank Tip,
Robert M. Fuhrer:
Refactoring for Parameterizing Java Classes.
ICSE 2007: 437-446 |
55 | EE | Carlos Pacheco,
Shuvendu K. Lahiri,
Michael D. Ernst,
Thomas Ball:
Feedback-Directed Random Test Generation.
ICSE 2007: 75-84 |
54 | EE | Sunghun Kim,
Michael D. Ernst:
Prioritizing Warning Categories by Analyzing Software History.
MSR 2007: 27 |
53 | EE | Matthew M. Papi,
Michael D. Ernst:
Compile-time type-checking for custom type qualifiers in Java.
OOPSLA Companion 2007: 809-810 |
52 | EE | Matthew M. Papi,
Michael D. Ernst:
Compile-time type-checking for custom type qualifiers in Java.
OOPSLA Companion 2007: 809-810 |
51 | EE | Carlos Pacheco,
Michael D. Ernst:
Randoop: feedback-directed random testing for Java.
OOPSLA Companion 2007: 815-816 |
50 | EE | Telmo Luis Correa Jr.,
Jaime Quinonez,
Michael D. Ernst:
Tools for enforcing and inferring reference immutability in Java.
OOPSLA Companion 2007: 866-867 |
49 | EE | Stephen McCamant,
Michael D. Ernst:
A simulation-based proof technique for dynamic information flow.
PLAS 2007: 41-46 |
48 | EE | 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) |
2006 |
47 | EE | 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 |
46 | EE | 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 |
45 | EE | Philip J. Guo,
Jeff H. Perkins,
Stephen McCamant,
Michael D. Ernst:
Dynamic inference of abstract types.
ISSTA 2006: 255-265 |
2005 |
44 | | Michael D. Ernst,
Thomas P. Jensen:
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 |
43 | EE | David Saff,
Shay Artzi,
Jeff H. Perkins,
Michael D. Ernst:
Automatic test factoring for java.
ASE 2005: 114-123 |
42 | EE | Carlos Pacheco,
Michael D. Ernst:
Eclat: Automatic Generation and Classification of Test Inputs.
ECOOP 2005: 504-527 |
41 | EE | Amy Williams,
William Thies,
Michael D. Ernst:
Static Deadlock Detection for Java Libraries.
ECOOP 2005: 602-629 |
40 | EE | Michael D. Ernst,
John Chapin:
The groupthink specification exercise.
ICSE 2005: 617-618 |
39 | EE | David Saff,
Michael D. Ernst:
Test factoring: focusing test suites for the task at hand.
ICSE 2005: 656 |
38 | EE | David Saff,
Michael D. Ernst:
Continuous testing in eclipse.
ICSE 2005: 668-669 |
37 | EE | Matthew S. Tschantz,
Michael D. Ernst:
Javari: adding reference immutability to Java.
OOPSLA 2005: 211-230 |
36 | EE | Shay Artzi,
Michael D. Ernst:
Using predicate fields in a highly flexible industrial control system.
OOPSLA Companion 2005: 319-330 |
35 | EE | Michael D. Ernst:
The Groupthink Specification Exercise.
Software Education and Training Sessions @ ICSE 2005: 89-107 |
34 | EE | 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) |
2004 |
33 | EE | Stephen McCamant,
Michael D. Ernst:
Early Identification of Incompatibilities in Multi-component Upgrades.
ECOOP 2004: 440-464 |
32 | EE | Yuriy Brun,
Michael D. Ernst:
Finding Latent Code Errors via Machine Learning over Program Executions.
ICSE 2004: 480-490 |
31 | EE | Lee Lin,
Michael D. Ernst:
Improving the adaptability of multi-mode systems via program steering.
ISSTA 2004: 206-216 |
30 | EE | David Saff,
Michael D. Ernst:
An experimental evaluation of continuous testing during development.
ISSTA 2004: 76-85 |
29 | EE | Alan Donovan,
Adam Kiezun,
Matthew S. Tschantz,
Michael D. Ernst:
Converting java programs to use generic libraries.
OOPSLA 2004: 15-34 |
28 | EE | Adrian Birka,
Michael D. Ernst:
A practical type system and language for reference immutability.
OOPSLA 2004: 35-49 |
27 | EE | Michael D. Ernst:
Invited Talk Static and dynamic analysis: synergy and duality.
PASTE 2004: 35 |
26 | EE | David Saff,
Michael D. Ernst:
Mock object creation for test factoring.
PASTE 2004: 49-51 |
25 | EE | Jeff H. Perkins,
Michael D. Ernst:
Efficient incremental algorithms for dynamic detection of likely invariants.
SIGSOFT FSE 2004: 23-32 |
24 | EE | David Saff,
Michael D. Ernst:
Continuous Testing in Eclipse.
Electr. Notes Theor. Comput. Sci. 107: 103-117 (2004) |
23 | EE | 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) |
2003 |
22 | EE | Stephen McCamant,
Michael D. Ernst:
Predicting problems caused by component upgrades.
ESEC / SIGSOFT FSE 2003: 287-296 |
21 | EE | Michael Harder,
Jeff Mellen,
Michael D. Ernst:
Improving Test Suites via Operational Abstraction.
ICSE 2003: 60-73 |
20 | EE | Jonathan E. Cook,
Michael D. Ernst:
ICSE Workshop on Dynamic Analysis (WODA 2003).
ICSE 2003: 795-796 |
19 | EE | David Saff,
Michael D. Ernst:
Reducing wasted development time via continuous testing.
ISSRE 2003: 281-292 |
18 | EE | 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 |
17 | EE | Jonathan E. Cook,
Michael D. Ernst:
Summary: ICSE workshop on dynamic analysis (WODA 2003).
ACM SIGSOFT Software Engineering Notes 28(6): 4 (2003) |
16 | EE | 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: (2003) |
2002 |
15 | EE | Jeremy W. Nimmer,
Michael D. Ernst:
Automatic generation of program specifications.
ISSTA 2002: 229-239 |
14 | EE | Jeremy W. Nimmer,
Michael D. Ernst:
Invariant inference for static checking.
SIGSOFT FSE 2002: 11-20 |
13 | EE | Elizabeth L. Wilmer,
Michael D. Ernst:
Graphs induced by Gray codes.
Discrete Mathematics 257(2-3): 585-598 (2002) |
12 | EE | Michael D. Ernst,
Greg J. Badros,
David Notkin:
An Empirical Analysis of C Preprocessor Use.
IEEE Trans. Software Eng. 28(12): 1146-1170 (2002) |
2001 |
11 | | David Notkin,
Marc Donner,
Michael D. Ernst,
Michael M. Gorlick,
E. James Whitehead Jr.:
Panel: Perspectives on Software Engineering.
ICSE 2001: 699-702 |
10 | EE | Michael D. Ernst:
Summary of Dynamically Discovering Likely Program Invariants.
ICSM 2001: 540-544 |
9 | EE | Yoshio Kataoka,
Michael D. Ernst,
William G. Griswold,
David Notkin:
Automated Support for Program Refactoring Using Invariants.
ICSM 2001: 736-743 |
8 | EE | 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): (2001) |
7 | EE | 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) |
2000 |
6 | EE | Michael D. Ernst,
Adam Czeisler,
William G. Griswold,
David Notkin:
Quickly detecting relevant program invariants.
ICSE 2000: 449-458 |
1999 |
5 | EE | Michael D. Ernst,
Jake Cockrell,
William G. Griswold,
David Notkin:
Dynamically Discovering Likely Program Invariants to Support Program Evolution.
ICSE 1999: 213-224 |
4 | EE | Michael D. Ernst:
Research Summary for Dynamic Detection of Program Invariants.
ICSE 1999: 718-719 |
1998 |
3 | EE | Michael D. Ernst,
Craig S. Kaplan,
Craig Chambers:
Predicate Dispatching: A Unified Theory of Dispatch.
ECOOP 1998: 186-211 |
1997 |
2 | | Michael D. Ernst,
Todd D. Millstein,
Daniel S. Weld:
Automatic SAT-Compilation of Planning Problems.
IJCAI 1997: 1169-1177 |
1994 |
1 | | Daniel Weise,
Roger F. Crew,
Michael D. Ernst,
Bjarne Steensgaard:
Value Dependence Graphs: Representation without Taxation.
POPL 1994: 297-310 |