The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael D. Ernst: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Stephen McCamant, Michael D. Ernst
    Early Identification of Incompatibilities in Multi-component Upgrades. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2004, pp:440-464 [Conf]
  3. Carlos Pacheco, Michael D. Ernst
    Eclat: Automatic Generation and Classification of Test Inputs. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2005, pp:504-527 [Conf]
  4. Amy Williams, William Thies, Michael D. Ernst
    Static Deadlock Detection for Java Libraries. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2005, pp:602-629 [Conf]
  5. 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]
  6. Jonathan E. Cook, Michael D. Ernst
    ICSE Workshop on Dynamic Analysis (WODA 2003). [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:795-796 [Conf]
  7. Michael D. Ernst
    Research Summary for Dynamic Detection of Program Invariants. [Citation Graph (0, 0)][DBLP]
    ICSE, 1999, pp:718-719 [Conf]
  8. Michael D. Ernst, John Chapin
    The groupthink specification exercise. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:617-618 [Conf]
  9. 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]
  10. 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]
  11. Michael Harder, Jeff Mellen, Michael D. Ernst
    Improving Test Suites via Operational Abstraction. [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:60-73 [Conf]
  12. 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]
  13. 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]
  14. David Saff, Michael D. Ernst
    Continuous testing in eclipse. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:668-669 [Conf]
  15. 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]
  16. 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]
  17. Michael D. Ernst
    The Groupthink Specification Exercise. [Citation Graph (0, 0)][DBLP]
    Software Education and Training Sessions @ ICSE, 2005, pp:89-107 [Conf]
  18. Michael D. Ernst
    Summary of Dynamically Discovering Likely Program Invariants. [Citation Graph (0, 0)][DBLP]
    ICSM, 2001, pp:540-544 [Conf]
  19. 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]
  20. 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]
  21. David Saff, Michael D. Ernst
    Reducing wasted development time via continuous testing. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2003, pp:281-292 [Conf]
  22. 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]
  23. 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]
  24. 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]
  25. Jeremy W. Nimmer, Michael D. Ernst
    Automatic generation of program specifications. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:229-239 [Conf]
  26. David Saff, Michael D. Ernst
    An experimental evaluation of continuous testing during development. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2004, pp:76-85 [Conf]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. Matthew S. Tschantz, Michael D. Ernst
    Javari: adding reference immutability to Java. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2005, pp:211-230 [Conf]
  33. Michael D. Ernst
    Invited Talk Static and dynamic analysis: synergy and duality. [Citation Graph (0, 0)][DBLP]
    PASTE, 2004, pp:35- [Conf]
  34. David Saff, Michael D. Ernst
    Mock object creation for test factoring. [Citation Graph (0, 0)][DBLP]
    PASTE, 2004, pp:49-51 [Conf]
  35. 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]
  36. Stephen McCamant, Michael D. Ernst
    Predicting problems caused by component upgrades. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2003, pp:287-296 [Conf]
  37. Jeremy W. Nimmer, Michael D. Ernst
    Invariant inference for static checking. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2002, pp:11-20 [Conf]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. Sunghun Kim, Michael D. Ernst
    Prioritizing Warning Categories by Analyzing Software History. [Citation Graph (0, 0)][DBLP]
    MSR, 2007, pp:27- [Conf]
  49. Carlos Pacheco, Michael D. Ernst
    Randoop: feedback-directed random testing for Java. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2007, pp:815-816 [Conf]
  50. 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]
  51. 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]
  52. 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]
  53. 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]
  54. Sunghun Kim, Michael D. Ernst
    Which warnings should I fix first? [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:45-54 [Conf]

  55. ReCrash: Making Software Failures Reproducible by Preserving Object States. [Citation Graph (, )][DBLP]


  56. Inference of Reference Immutability. [Citation Graph (, )][DBLP]


  57. Refactoring sequential Java code for concurrency via concurrent libraries. [Citation Graph (, )][DBLP]


  58. Automatic creation of SQL Injection and cross-site scripting attacks. [Citation Graph (, )][DBLP]


  59. Concurrencer: A tool for retrofitting concurrency into sequential java applications via concurrent libraries. [Citation Graph (, )][DBLP]


  60. Finding bugs in dynamic web applications. [Citation Graph (, )][DBLP]


  61. Practical pluggable types for java. [Citation Graph (, )][DBLP]


  62. HAMPI: a solver for string constraints. [Citation Graph (, )][DBLP]


  63. Combined static and dynamic mutability analysis. [Citation Graph (, )][DBLP]


  64. Enforcing reference and object immutability in Java. [Citation Graph (, )][DBLP]


  65. Compile-time type-checking for custom type qualifiers in java. [Citation Graph (, )][DBLP]


  66. Compile-time type-checking for custom type qualifiers in Java. [Citation Graph (, )][DBLP]


  67. A simulation-based proof technique for dynamic information flow. [Citation Graph (, )][DBLP]


  68. Quantitative information flow as network flow capacity. [Citation Graph (, )][DBLP]


  69. ReCrashJ: a tool for capturing and reproducing program crashes in deployed applications. [Citation Graph (, )][DBLP]


  70. Automatically patching errors in deployed software. [Citation Graph (, )][DBLP]


  71. How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback. [Citation Graph (, )][DBLP]


  72. Parameter reference immutability: formal definition, inference tool, and comparison. [Citation Graph (, )][DBLP]


Search in 0.564secs, Finished in 0.569secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002