Search the dblp DataBase
Michael D. Ernst :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Michael D. Ernst , Craig S. Kaplan , Craig Chambers Predicate Dispatching: A Unified Theory of Dispatch. [Citation Graph (0, 0)][DBLP ] ECOOP, 1998, pp:186-211 [Conf ] Stephen McCamant , Michael D. Ernst Early Identification of Incompatibilities in Multi-component Upgrades. [Citation Graph (0, 0)][DBLP ] ECOOP, 2004, pp:440-464 [Conf ] Carlos Pacheco , Michael D. Ernst Eclat: Automatic Generation and Classification of Test Inputs. [Citation Graph (0, 0)][DBLP ] ECOOP, 2005, pp:504-527 [Conf ] Amy Williams , William Thies , Michael D. Ernst Static Deadlock Detection for Java Libraries. [Citation Graph (0, 0)][DBLP ] ECOOP, 2005, pp:602-629 [Conf ] Yuriy Brun , Michael D. Ernst Finding Latent Code Errors via Machine Learning over Program Executions. [Citation Graph (0, 0)][DBLP ] ICSE, 2004, pp:480-490 [Conf ] Jonathan E. Cook , Michael D. Ernst ICSE Workshop on Dynamic Analysis (WODA 2003). [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:795-796 [Conf ] Michael D. Ernst Research Summary for Dynamic Detection of Program Invariants. [Citation Graph (0, 0)][DBLP ] ICSE, 1999, pp:718-719 [Conf ] Michael D. Ernst , John Chapin The groupthink specification exercise. [Citation Graph (0, 0)][DBLP ] ICSE, 2005, pp:617-618 [Conf ] Michael D. Ernst , Adam Czeisler , William G. Griswold , David Notkin Quickly detecting relevant program invariants. [Citation Graph (0, 0)][DBLP ] ICSE, 2000, pp:449-458 [Conf ] Michael D. Ernst , Jake Cockrell , William G. Griswold , David Notkin Dynamically Discovering Likely Program Invariants to Support Program Evolution. [Citation Graph (0, 0)][DBLP ] ICSE, 1999, pp:213-224 [Conf ] Michael Harder , Jeff Mellen , Michael D. Ernst Improving Test Suites via Operational Abstraction. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:60-73 [Conf ] David Notkin , Marc Donner , Michael D. Ernst , Michael M. Gorlick , E. James Whitehead Jr. Panel: Perspectives on Software Engineering. [Citation Graph (0, 0)][DBLP ] ICSE, 2001, pp:699-702 [Conf ] David Saff , Michael D. Ernst Test factoring: focusing test suites for the task at hand. [Citation Graph (0, 0)][DBLP ] ICSE, 2005, pp:656- [Conf ] David Saff , Michael D. Ernst Continuous testing in eclipse. [Citation Graph (0, 0)][DBLP ] ICSE, 2005, pp:668-669 [Conf ] Adam Kiezun , Michael D. Ernst , Frank Tip , Robert M. Fuhrer Refactoring for Parameterizing Java Classes. [Citation Graph (0, 0)][DBLP ] ICSE, 2007, pp:437-446 [Conf ] Carlos Pacheco , Shuvendu K. Lahiri , Michael D. Ernst , Thomas Ball Feedback-Directed Random Test Generation. [Citation Graph (0, 0)][DBLP ] ICSE, 2007, pp:75-84 [Conf ] Michael D. Ernst The Groupthink Specification Exercise. [Citation Graph (0, 0)][DBLP ] Software Education and Training Sessions @ ICSE, 2005, pp:89-107 [Conf ] Michael D. Ernst Summary of Dynamically Discovering Likely Program Invariants. [Citation Graph (0, 0)][DBLP ] ICSM, 2001, pp:540-544 [Conf ] Yoshio Kataoka , Michael D. Ernst , William G. Griswold , David Notkin Automated Support for Program Refactoring Using Invariants. [Citation Graph (0, 0)][DBLP ] ICSM, 2001, pp:736-743 [Conf ] Michael D. Ernst , Todd D. Millstein , Daniel S. Weld Automatic SAT-Compilation of Planning Problems. [Citation Graph (0, 0)][DBLP ] IJCAI, 1997, pp:1169-1177 [Conf ] David Saff , Michael D. Ernst Reducing wasted development time via continuous testing. [Citation Graph (0, 0)][DBLP ] ISSRE, 2003, pp:281-292 [Conf ] Philip J. Guo , Jeff H. Perkins , Stephen McCamant , Michael D. Ernst Dynamic inference of abstract types. [Citation Graph (0, 0)][DBLP ] ISSTA, 2006, pp:255-265 [Conf ] Brian Demsky , Michael D. Ernst , Philip J. Guo , Stephen McCamant , Jeff H. Perkins , Martin C. Rinard Inference and enforcement of data structure consistency specifications. [Citation Graph (0, 0)][DBLP ] ISSTA, 2006, pp:233-244 [Conf ] Lee Lin , Michael D. Ernst Improving the adaptability of multi-mode systems via program steering. [Citation Graph (0, 0)][DBLP ] ISSTA, 2004, pp:206-216 [Conf ] Jeremy W. Nimmer , Michael D. Ernst Automatic generation of program specifications. [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:229-239 [Conf ] David Saff , Michael D. Ernst An experimental evaluation of continuous testing during development. [Citation Graph (0, 0)][DBLP ] ISSTA, 2004, pp:76-85 [Conf ] David Saff , Shay Artzi , Jeff H. Perkins , Michael D. Ernst Automatic test factoring for java. [Citation Graph (0, 0)][DBLP ] ASE, 2005, pp:114-123 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ASE, 2006, pp:59-68 [Conf ] Adrian Birka , Michael D. Ernst A practical type system and language for reference immutability. [Citation Graph (0, 0)][DBLP ] OOPSLA, 2004, pp:35-49 [Conf ] Shay Artzi , Michael D. Ernst Using predicate fields in a highly flexible industrial control system. [Citation Graph (0, 0)][DBLP ] OOPSLA Companion, 2005, pp:319-330 [Conf ] Alan Donovan , Adam Kiezun , Matthew S. Tschantz , Michael D. Ernst Converting java programs to use generic libraries. [Citation Graph (0, 0)][DBLP ] OOPSLA, 2004, pp:15-34 [Conf ] Matthew S. Tschantz , Michael D. Ernst Javari: adding reference immutability to Java. [Citation Graph (0, 0)][DBLP ] OOPSLA, 2005, pp:211-230 [Conf ] Michael D. Ernst Invited Talk Static and dynamic analysis: synergy and duality. [Citation Graph (0, 0)][DBLP ] PASTE, 2004, pp:35- [Conf ] David Saff , Michael D. Ernst Mock object creation for test factoring. [Citation Graph (0, 0)][DBLP ] PASTE, 2004, pp:49-51 [Conf ] Daniel Weise , Roger F. Crew , Michael D. Ernst , Bjarne Steensgaard Value Dependence Graphs: Representation without Taxation. [Citation Graph (0, 0)][DBLP ] POPL, 1994, pp:297-310 [Conf ] Stephen McCamant , Michael D. Ernst Predicting problems caused by component upgrades. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 2003, pp:287-296 [Conf ] Jeremy W. Nimmer , Michael D. Ernst Invariant inference for static checking. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 2002, pp:11-20 [Conf ] Jeff H. Perkins , Michael D. Ernst Efficient incremental algorithms for dynamic detection of likely invariants. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 2004, pp:23-32 [Conf ] Toh Ne Win , Michael D. Ernst , Stephen J. Garland , Dilsun Kirli Kaynar , Nancy A. Lynch Using Simulated Execution in Verifying Distributed Algorithms. [Citation Graph (0, 0)][DBLP ] VMCAI, 2003, pp:283-297 [Conf ] Elizabeth L. Wilmer , Michael D. Ernst Graphs induced by Gray codes. [Citation Graph (0, 0)][DBLP ] Discrete Mathematics, 2002, v:257, n:2-3, pp:585-598 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal ] Jeremy W. Nimmer , Michael D. Ernst Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal ] David Saff , Michael D. Ernst Continuous Testing in Eclipse. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:107, n:, pp:103-117 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] STTT, 2005, v:7, n:3, pp:212-232 [Journal ] Toh Ne Win , Michael D. Ernst , Stephen J. Garland , Dilsun Kirli Kaynar , Nancy A. Lynch Using simulated execution in verifying distributed algorithms. [Citation Graph (0, 0)][DBLP ] STTT, 2004, v:6, n:1, pp:67-76 [Journal ] Michael D. Ernst , Greg J. Badros , David Notkin An Empirical Analysis of C Preprocessor Use. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2002, v:28, n:12, pp:1146-1170 [Journal ] Michael D. Ernst , Jake Cockrell , William G. Griswold , David Notkin Dynamically Discovering Likely Program Invariants to Support Program Evolution. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2001, v:27, n:2, pp:99-123 [Journal ] Sunghun Kim , Michael D. Ernst Prioritizing Warning Categories by Analyzing Software History. [Citation Graph (0, 0)][DBLP ] MSR, 2007, pp:27- [Conf ] Carlos Pacheco , Michael D. Ernst Randoop: feedback-directed random testing for Java. [Citation Graph (0, 0)][DBLP ] OOPSLA Companion, 2007, pp:815-816 [Conf ] Telmo Luis Correa Jr. , Jaime Quinonez , Michael D. Ernst Tools for enforcing and inferring reference immutability in Java. [Citation Graph (0, 0)][DBLP ] OOPSLA Companion, 2007, pp:866-867 [Conf ] Matthew M. Papi , Michael D. Ernst Compile-time type-checking for custom type qualifiers in Java. [Citation Graph (0, 0)][DBLP ] OOPSLA Companion, 2007, pp:809-810 [Conf ] Matthew M. Papi , Michael D. Ernst Compile-time type-checking for custom type qualifiers in Java. [Citation Graph (0, 0)][DBLP ] OOPSLA Companion, 2007, pp:809-810 [Conf ] Yoav Zibin , Alex Potanin , Mahmood Ali , Shay Artzi , Adam Kiezun , Michael D. Ernst Object and reference immutability using java generics. [Citation Graph (0, 0)][DBLP ] ESEC/SIGSOFT FSE, 2007, pp:75-84 [Conf ] Sunghun Kim , Michael D. Ernst Which warnings should I fix first? [Citation Graph (0, 0)][DBLP ] ESEC/SIGSOFT FSE, 2007, pp:45-54 [Conf ] ReCrash: Making Software Failures Reproducible by Preserving Object States. [Citation Graph (, )][DBLP ] Inference of Reference Immutability. [Citation Graph (, )][DBLP ] Refactoring sequential Java code for concurrency via concurrent libraries. [Citation Graph (, )][DBLP ] Automatic creation of SQL Injection and cross-site scripting attacks. [Citation Graph (, )][DBLP ] Concurrencer: A tool for retrofitting concurrency into sequential java applications via concurrent libraries. [Citation Graph (, )][DBLP ] Finding bugs in dynamic web applications. [Citation Graph (, )][DBLP ] Practical pluggable types for java. [Citation Graph (, )][DBLP ] HAMPI: a solver for string constraints. [Citation Graph (, )][DBLP ] Combined static and dynamic mutability analysis. [Citation Graph (, )][DBLP ] Enforcing reference and object immutability in Java. [Citation Graph (, )][DBLP ] Compile-time type-checking for custom type qualifiers in java. [Citation Graph (, )][DBLP ] Compile-time type-checking for custom type qualifiers in Java. [Citation Graph (, )][DBLP ] A simulation-based proof technique for dynamic information flow. [Citation Graph (, )][DBLP ] Quantitative information flow as network flow capacity. [Citation Graph (, )][DBLP ] ReCrashJ: a tool for capturing and reproducing program crashes in deployed applications. [Citation Graph (, )][DBLP ] Automatically patching errors in deployed software. [Citation Graph (, )][DBLP ] How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback. [Citation Graph (, )][DBLP ] Parameter reference immutability: formal definition, inference tool, and comparison. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.453secs