| Dynamically discovering likely program invariants to support program evolution MD Ernst, J Cockrell, WG Griswold, D Notkin Proceedings of the 21st international conference on Software engineering …, 1999 | 1834 | 1999 |
| Defects4J: A database of existing faults to enable controlled testing studies for Java programs R Just, D Jalali, MD Ernst Proceedings of the 2014 international symposium on software testing and …, 2014 | 1596 | 2014 |
| The Daikon system for dynamic detection of likely invariants MD Ernst, JH Perkins, PJ Guo, S McCamant, C Pacheco, MS Tschantz, ... Science of computer programming 69 (1-3), 35-45, 2007 | 1532 | 2007 |
| HaLoop: Efficient iterative data processing on large clusters Y Bu, B Howe, M Balazinska, MD Ernst Proceedings of the VLDB Endowment 3 (1-2), 285-296, 2010 | 1208 | 2010 |
| Feedback-directed random test generation C Pacheco, SK Lahiri, MD Ernst, T Ball 29th International Conference on Software Engineering (ICSE'07), 75-84, 2007 | 1194 | 2007 |
| An overview of JML tools and applications L Burdy, Y Cheon, DR Cok, MD Ernst, JR Kiniry, GT Leavens, KRM Leino, ... International journal on software tools for technology transfer 7, 212-232, 2005 | 902 | 2005 |
| Randoop: feedback-directed random testing for Java C Pacheco, MD Ernst Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming …, 2007 | 768 | 2007 |
| Are mutants a valid substitute for real faults in software testing? R Just, D Jalali, L Inozemtseva, MD Ernst, R Holmes, G Fraser Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014 | 767 | 2014 |
| Automatic creation of SQL injection and cross-site scripting attacks A Kieyzun, PJ Guo, K Jayaraman, MD Ernst 2009 IEEE 31st international conference on software engineering, 199-209, 2009 | 584 | 2009 |
| Static and dynamic analysis: Synergy and duality MD Ernst WODA 2003: ICSE Workshop on Dynamic Analysis, 24-27, 2003 | 581 | 2003 |
| Automatically patching errors in deployed software JH Perkins, S Kim, S Larsen, S Amarasinghe, J Bachrach, M Carbin, ... Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 2009 | 517 | 2009 |
| Evaluating and improving fault localization S Pearson, J Campos, R Just, G Fraser, R Abreu, MD Ernst, D Pang, ... 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017 | 499 | 2017 |
| Verdi: a framework for implementing and formally verifying distributed systems JR Wilcox, D Woos, P Panchekha, Z Tatlock, X Wang, MD Ernst, ... Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015 | 442 | 2015 |
| Eclat: Automatic generation and classification of test inputs C Pacheco, MD Ernst ECOOP 2005-Object-Oriented Programming: 19th European Conference, Glasgow …, 2005 | 361 | 2005 |
| HAMPI: a solver for string constraints A Kiezun, V Ganesh, PJ Guo, P Hooimeijer, MD Ernst Proceedings of the eighteenth international symposium on Software testing …, 2009 | 358 | 2009 |
| An overview of JML tools and applications L Burdy, Y Cheon, D Cok, MD Ernst, J Kiniry, GT Leavens, K Rustan, ... Electronic Notes in Theoretical Computer Science 80, 75-91, 2003 | 342 | 2003 |
| Quickly detecting relevant program invariants MD Ernst, A Czeisler, WG Griswold, D Notkin Proceedings of the 22nd international conference on Software engineering …, 2000 | 328 | 2000 |
| An empirical analysis of C preprocessor use MD Ernst, GJ Badros, D Notkin IEEE Transactions on Software Engineering 28 (12), 1146-1170, 2002 | 321 | 2002 |
| Proactive detection of collaboration conflicts Y Brun, R Holmes, MD Ernst, D Notkin Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011 | 311 | 2011 |
| Leveraging existing instrumentation to automatically infer invariant-constrained models I Beschastnikh, Y Brun, S Schneider, M Sloan, MD Ernst Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011 | 293 | 2011 |
