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 | 1817 | 1999 |
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 | 1469 | 2007 |
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 | 1292 | 2014 |
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 | 1213 | 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 | 1113 | 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 | 890 | 2005 |
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 | 706 | 2014 |
Randoop: feedback-directed random testing for Java C Pacheco, MD Ernst Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming …, 2007 | 671 | 2007 |
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 | 566 | 2009 |
Static and dynamic analysis: Synergy and duality MD Ernst WODA 2003: ICSE Workshop on Dynamic Analysis, 24-27, 2003 | 555 | 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 | 506 | 2009 |
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 | 397 | 2015 |
Eclat: Automatic generation and classification of test inputs C Pacheco, MD Ernst ECOOP 2005-Object-Oriented Programming: 19th European Conference, Glasgow …, 2005 | 358 | 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 | 351 | 2009 |
Quickly detecting relevant program invariants MD Ernst, A Czeisler, WG Griswold, D Notkin Proceedings of the 22nd international conference on Software engineering …, 2000 | 323 | 2000 |
An empirical analysis of C preprocessor use MD Ernst, GJ Badros, D Notkin IEEE Transactions on Software Engineering 28 (12), 1146-1170, 2002 | 316 | 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 | 303 | 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 | 285 | 2011 |
Automated support for program refactoring using invariants Y Kataoka, MD Ernst, WG Griswold, D Notkin Proceedings IEEE International Conference on Software Maintenance. ICSM 2001 …, 2001 | 282 | 2001 |
Finding latent code errors via machine learning over program executions Y Brun, MD Ernst Proceedings. 26th International Conference on Software Engineering, 480-490, 2004 | 275 | 2004 |
Which warnings should I fix first? S Kim, MD Ernst Proceedings of the the 6th joint meeting of the European software …, 2007 | 269 | 2007 |
Automatic SAT-compilation of planning problems MD Ernst, TD Millstein, DS Weld IJCAI 97, 1169-1176, 1997 | 269 | 1997 |
Practical pluggable types for Java MM Papi, M Ali, TL Correa Jr, JH Perkins, MD Ernst Proceedings of the 2008 international symposium on Software testing and …, 2008 | 261 | 2008 |
Improving test suites via operational abstraction M Harder, J Mellen, MD Ernst 25th International Conference on Software Engineering, 2003. Proceedings., 60-71, 2003 | 259 | 2003 |
Automatic generation of program specifications JW Nimmer, MD Ernst ACM SIGSOFT Software Engineering Notes 27 (4), 229-239, 2002 | 244 | 2002 |
Quantitative information flow as network flow capacity S McCamant, MD Ernst Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008 | 237 | 2008 |
Inferring models of concurrent systems from logs of their behavior with CSight I Beschastnikh, Y Brun, MD Ernst, A Krishnamurthy Proceedings of the 36th International Conference on Software Engineering …, 2014 | 229 | 2014 |
Finding bugs in web applications using dynamic test generation and explicit-state model checking S Artzi, A Kiezun, J Dolby, F Tip, D Dig, A Paradkar, MD Ernst IEEE Transactions on Software Engineering 36 (4), 474-494, 2010 | 227 | 2010 |
Finding bugs in dynamic web applications S Artzi, A Kiezun, J Dolby, F Tip, D Dig, A Paradkar, MD Ernst Proceedings of the 2008 international symposium on Software testing and …, 2008 | 216 | 2008 |
An experimental evaluation of continuous testing during development D Saff, MD Ernst ACM SIGSOFT Software Engineering Notes 29 (4), 76-85, 2004 | 215 | 2004 |
Reducing wasted development time via continuous testing D Saff, MD Ernst 14th International Symposium on Software Reliability Engineering, 2003 …, 2003 | 204 | 2003 |
Predicate dispatching: A unified theory of dispatch M Ernst, C Kaplan, C Chambers ECOOP’98—Object-Oriented Programming: 12th European Conference Brussels …, 1998 | 202 | 1998 |
The HaLoop approach to large-scale iterative data analysis Y Bu, B Howe, M Balazinska, MD Ernst The VLDB Journal 21, 169-190, 2012 | 200 | 2012 |
Refactoring sequential Java code for concurrency via concurrent libraries D Dig, J Marrero, MD Ernst 2009 IEEE 31st International Conference on Software Engineering, 397-407, 2009 | 198 | 2009 |
CBCD: Cloned buggy code detector J Li, MD Ernst 2012 34th International Conference on Software Engineering (ICSE), 310-320, 2012 | 195 | 2012 |
Static deadlock detection for Java libraries A Williams, W Thies, MD Ernst ECOOP 2005-Object-Oriented Programming: 19th European Conference, Glasgow …, 2005 | 192 | 2005 |
Value dependence graphs: Representation without taxation D Weise, RF Crew, M Ernst, B Steensgaard Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994 | 191 | 1994 |
Empirically revisiting the test independence assumption S Zhang, D Jalali, J Wuttke, K Muşlu, W Lam, MD Ernst, D Notkin Proceedings of the 2014 International Symposium on Software Testing and …, 2014 | 190 | 2014 |
Javari: Adding reference immutability to Java MS Tschantz, MD Ernst Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented …, 2005 | 190 | 2005 |
Interactive record/replay for web application debugging B Burg, R Bailey, AJ Ko, MD Ernst Proceedings of the 26th annual ACM symposium on User interface software and …, 2013 | 174 | 2013 |