Dynamically discovering likely program invariants to support program evolution MD Ernst, J Cockrell, WG Griswold, D Notkin IEEE Transactions on Software Engineering 27 (2), 99-123, 2001 | 1519 | 2001 |
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 | 1059 | 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 | 1011 | 2010 |
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 (3), 212-232, 2005 | 801 | 2005 |
Feedback-directed random test generation C Pacheco, SK Lahiri, MD Ernst, T Ball Proceedings of the 29th international conference on Software Engineering, 75-84, 2007 | 754 | 2007 |
Static and dynamic analysis: Synergy and duality MD Ernst WODA 2003: ICSE Workshop on Dynamic Analysis, 24-27, 2003 | 421 | 2003 |
Automatic creation of SQL injection and cross-site scripting attacks A Kieyzun, PJ Guo, K Jayaraman, MD Ernst Proceedings of the 31st International Conference on Software Engineering …, 2009 | 418 | 2009 |
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 | 390 | 2014 |
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 | 387 | 2009 |
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 | 365 | 2014 |
Randoop: feedback-directed random testing for Java C Pacheco, MD Ernst OOPSLA Companion, 815-816, 2007 | 344 | 2007 |
Eclat: Automatic generation and classification of test inputs C Pacheco, MD Ernst European Conference on Object-Oriented Programming, 504-527, 2005 | 288 | 2005 |
Quickly detecting relevant program invariants MD Ernst, A Czeisler, WG Griswold, D Notkin Proceedings of the 22nd international conference on Software engineering …, 2000 | 287 | 2000 |
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 | 278 | 2009 |
An empirical analysis of C preprocessor use MD Ernst, GJ Badros, D Notkin IEEE Transactions on Software Engineering 28 (12), 1146-1170, 2002 | 263 | 2002 |
Automatic SAT-compilation of planning problems MD Ernst, TD Millstein, DS Weld IJCAI 97, 1169-1176, 1997 | 246 | 1997 |
Automated support for program refactoring using invariants Y Kataoka, D Notkin, MD Ernst, WG Griswold Proceedings of the IEEE International Conference on Software Maintenance …, 2001 | 230 | 2001 |
Improving test suites via operational abstraction M Harder, J Mellen, MD Ernst Proceedings of the 25th international conference on Software engineering, 60-71, 2003 | 221 | 2003 |
Finding latent code errors via machine learning over program executions Y Brun, MD Ernst Proceedings. 26th International Conference on Software Engineering, 480-490, 2004 | 219 | 2004 |
Quantitative information flow as network flow capacity S McCamant, MD Ernst ACM SIGPLAN Notices 43 (6), 193-205, 2008 | 207 | 2008 |