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 |