dblp.uni-trier.dewww.uni-trier.de

Michael D. Ernst Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
73EEShay Artzi, Sunghun Kim, Michael D. Ernst: ReCrashJ: a tool for capturing and reproducing program crashes in deployed applications. ESEC/SIGSOFT FSE 2009: 295-296
72EEAdam Kiezun, Philip J. Guo, Karthick Jayaraman, Michael D. Ernst: Automatic creation of SQL Injection and cross-site scripting attacks. ICSE 2009: 199-209
71EEDanny Dig, John Marrero, Michael D. Ernst: Refactoring sequential Java code for concurrency via concurrent libraries. ICSE 2009: 397-407
70EEDanny Dig, John Marrero, Michael D. Ernst: Concurrencer: A tool for retrofitting concurrency into sequential java applications via concurrent libraries. ICSE Companion 2009: 399-400
69EEJeff H. Perkins, Sunghun Kim, Sam 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
68EEShay 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)
2008
67EEShay Artzi, Sunghun Kim, Michael D. Ernst: ReCrash: Making Software Failures Reproducible by Preserving Object States. ECOOP 2008: 542-565
66EEJaime Quinonez, Matthew S. Tschantz, Michael D. Ernst: Inference of Reference Immutability. ECOOP 2008: 616-641
65EEMatthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst: Practical pluggable types for java. ISSTA 2008: 201-212
64EEShay 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
63EEMatthew M. Papi, Mahmood Ali, Michael D. Ernst: Compile-time type-checking for custom type qualifiers in Java. OOPSLA Companion 2008: 723-724
62EEMahmood Ali, Yoav Zibin, Matthew M. Papi, Michael D. Ernst: Enforcing reference and object immutability in Java. OOPSLA Companion 2008: 725-726
61EEMatthew M. Papi, Mahmood Ali, Michael D. Ernst: Compile-time type-checking for custom type qualifiers in java. OOPSLA Companion 2008: 759-760
60EEStephen McCamant, Michael D. Ernst: Quantitative information flow as network flow capacity. PLDI 2008: 193-205
2007
59EEShay Artzi, Adam Kiezun, David Glasser, Michael D. Ernst: Combined static and dynamic mutability analysis. ASE 2007: 104-113
58EESunghun Kim, Michael D. Ernst: Which warnings should I fix first? ESEC/SIGSOFT FSE 2007: 45-54
57EEYoav 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
56EEAdam Kiezun, Michael D. Ernst, Frank Tip, Robert M. Fuhrer: Refactoring for Parameterizing Java Classes. ICSE 2007: 437-446
55EECarlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball: Feedback-Directed Random Test Generation. ICSE 2007: 75-84
54EESunghun Kim, Michael D. Ernst: Prioritizing Warning Categories by Analyzing Software History. MSR 2007: 27
53EEMatthew M. Papi, Michael D. Ernst: Compile-time type-checking for custom type qualifiers in Java. OOPSLA Companion 2007: 809-810
52EEMatthew M. Papi, Michael D. Ernst: Compile-time type-checking for custom type qualifiers in Java. OOPSLA Companion 2007: 809-810
51EECarlos Pacheco, Michael D. Ernst: Randoop: feedback-directed random testing for Java. OOPSLA Companion 2007: 815-816
50EETelmo Luis Correa Jr., Jaime Quinonez, Michael D. Ernst: Tools for enforcing and inferring reference immutability in Java. OOPSLA Companion 2007: 866-867
49EEStephen McCamant, Michael D. Ernst: A simulation-based proof technique for dynamic information flow. PLAS 2007: 41-46
48EEMichael 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
47EEMarcelo 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
46EEBrian 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
45EEPhilip 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
43EEDavid Saff, Shay Artzi, Jeff H. Perkins, Michael D. Ernst: Automatic test factoring for java. ASE 2005: 114-123
42EECarlos Pacheco, Michael D. Ernst: Eclat: Automatic Generation and Classification of Test Inputs. ECOOP 2005: 504-527
41EEAmy Williams, William Thies, Michael D. Ernst: Static Deadlock Detection for Java Libraries. ECOOP 2005: 602-629
40EEMichael D. Ernst, John Chapin: The groupthink specification exercise. ICSE 2005: 617-618
39EEDavid Saff, Michael D. Ernst: Test factoring: focusing test suites for the task at hand. ICSE 2005: 656
38EEDavid Saff, Michael D. Ernst: Continuous testing in eclipse. ICSE 2005: 668-669
37EEMatthew S. Tschantz, Michael D. Ernst: Javari: adding reference immutability to Java. OOPSLA 2005: 211-230
36EEShay Artzi, Michael D. Ernst: Using predicate fields in a highly flexible industrial control system. OOPSLA Companion 2005: 319-330
35EEMichael D. Ernst: The Groupthink Specification Exercise. Software Education and Training Sessions @ ICSE 2005: 89-107
34EELilian 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
33EEStephen McCamant, Michael D. Ernst: Early Identification of Incompatibilities in Multi-component Upgrades. ECOOP 2004: 440-464
32EEYuriy Brun, Michael D. Ernst: Finding Latent Code Errors via Machine Learning over Program Executions. ICSE 2004: 480-490
31EELee Lin, Michael D. Ernst: Improving the adaptability of multi-mode systems via program steering. ISSTA 2004: 206-216
30EEDavid Saff, Michael D. Ernst: An experimental evaluation of continuous testing during development. ISSTA 2004: 76-85
29EEAlan Donovan, Adam Kiezun, Matthew S. Tschantz, Michael D. Ernst: Converting java programs to use generic libraries. OOPSLA 2004: 15-34
28EEAdrian Birka, Michael D. Ernst: A practical type system and language for reference immutability. OOPSLA 2004: 35-49
27EEMichael D. Ernst: Invited Talk Static and dynamic analysis: synergy and duality. PASTE 2004: 35
26EEDavid Saff, Michael D. Ernst: Mock object creation for test factoring. PASTE 2004: 49-51
25EEJeff H. Perkins, Michael D. Ernst: Efficient incremental algorithms for dynamic detection of likely invariants. SIGSOFT FSE 2004: 23-32
24EEDavid Saff, Michael D. Ernst: Continuous Testing in Eclipse. Electr. Notes Theor. Comput. Sci. 107: 103-117 (2004)
23EEToh 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
22EEStephen McCamant, Michael D. Ernst: Predicting problems caused by component upgrades. ESEC / SIGSOFT FSE 2003: 287-296
21EEMichael Harder, Jeff Mellen, Michael D. Ernst: Improving Test Suites via Operational Abstraction. ICSE 2003: 60-73
20EEJonathan E. Cook, Michael D. Ernst: ICSE Workshop on Dynamic Analysis (WODA 2003). ICSE 2003: 795-796
19EEDavid Saff, Michael D. Ernst: Reducing wasted development time via continuous testing. ISSRE 2003: 281-292
18EEToh 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
17EEJonathan E. Cook, Michael D. Ernst: Summary: ICSE workshop on dynamic analysis (WODA 2003). ACM SIGSOFT Software Engineering Notes 28(6): 4 (2003)
16EELilian 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
15EEJeremy W. Nimmer, Michael D. Ernst: Automatic generation of program specifications. ISSTA 2002: 229-239
14EEJeremy W. Nimmer, Michael D. Ernst: Invariant inference for static checking. SIGSOFT FSE 2002: 11-20
13EEElizabeth L. Wilmer, Michael D. Ernst: Graphs induced by Gray codes. Discrete Mathematics 257(2-3): 585-598 (2002)
12EEMichael 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
10EEMichael D. Ernst: Summary of Dynamically Discovering Likely Program Invariants. ICSM 2001: 540-544
9EEYoshio Kataoka, Michael D. Ernst, William G. Griswold, David Notkin: Automated Support for Program Refactoring Using Invariants. ICSM 2001: 736-743
8EEJeremy 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)
7EEMichael 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
6EEMichael D. Ernst, Adam Czeisler, William G. Griswold, David Notkin: Quickly detecting relevant program invariants. ICSE 2000: 449-458
1999
5EEMichael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin: Dynamically Discovering Likely Program Invariants to Support Program Evolution. ICSE 1999: 213-224
4EEMichael D. Ernst: Research Summary for Dynamic Detection of Program Invariants. ICSE 1999: 718-719
1998
3EEMichael 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

Coauthor Index

1Mahmood Ali [57] [61] [62] [63] [65]
2Saman P. Amarasinghe [69]
3Shay Artzi [36] [43] [57] [59] [64] [67] [68] [73]
4Jonathan Bachrach [69]
5Greg J. Badros [12]
6Thomas Ball [55]
7Adrian Birka [28]
8Yuriy Brun [32]
9Lilian Burdy [16] [34]
10Michael Carbin [69]
11Craig Chambers [3]
12John Chapin [40]
13Yoonsik Cheon [16] [34]
14Jake Cockrell [5] [7]
15David R. Cok [16] [34]
16Jonathan E. Cook [17] [20]
17Telmo Luis Correa Jr. [50] [65]
18Roger F. Crew [1]
19Adam Czeisler [6]
20Brian Demsky [46]
21Danny Dig [64] [70] [71]
22Julian Dolby [64]
23Marc Donner [11]
24Alan Donovan [29]
25Robert M. Fuhrer [56]
26Stephen J. Garland [18] [23]
27David Glasser [59]
28Michael M. Gorlick [11]
29William G. Griswold [5] [6] [7] [9]
30Philip J. Guo [45] [46] [48] [72]
31Michael Harder [21]
32Karthick Jayaraman [72]
33Thomas P. Jensen [44]
34Craig S. Kaplan [3]
35Yoshio Kataoka [9]
36Dilsun Kirli Kaynar [18] [23]
37Adam Kiezun [29] [56] [57] [59] [64] [68] [72]
38Sunghun Kim [54] [58] [67] [69] [73]
39Joseph Kiniry (Joseph R. Kiniry) [16] [34]
40Shuvendu K. Lahiri [55]
41Sam Larsen [69]
42Gary T. Leavens [16] [34]
43K. Rustan M. Leino [16] [34]
44Lee Lin [31]
45Nancy A. Lynch [18] [23]
46Darko Marinov [47]
47John Marrero [70] [71]
48Stephen McCamant [22] [33] [45] [46] [48] [49] [60]
49Jeff Mellen [21]
50Todd D. Millstein [2]
51Jeremy W. Nimmer [8] [14] [15]
52David Notkin [5] [6] [7] [9] [11] [12]
53Carlos Pacheco [42] [47] [48] [51] [55] [69]
54Matthew M. Papi [52] [53] [61] [62] [63] [65]
55Amit M. Paradkar [64]
56Jeff H. Perkins [25] [43] [45] [46] [48] [65] [69]
57Erik Poll [16] [34]
58Alex Potanin [57]
59Jaime Quinonez [50] [66] [68]
60Martin C. Rinard [46] [69]
61David Saff [19] [24] [26] [30] [38] [39] [43]
62Frank Sherwood [69]
63Stelios Sidiroglou [69]
64Bjarne Steensgaard [1]
65Greg Sullivan [69]
66William Thies [41]
67Frank Tip [56] [64]
68Matthew S. Tschantz [29] [37] [48] [66]
69Daniel Weise [1]
70Daniel S. Weld [2]
71E. James Whitehead Jr. (Jim Whitehead) [11]
72Amy Williams [41]
73Elizabeth L. Wilmer [13]
74Toh Ne Win [18] [23]
75Weng-Fai Wong [69]
76Chen Xiao [48]
77Tao Xie [47]
78Yoav Zibin [57] [62] [69]
79Marcelo d'Amorim [47]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)