| 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 | 1195 | 2007 |
| 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 | 440 | 2009 |
| Information flow analysis of android applications in droidsafe. MI Gordon, D Kim, JH Perkins, L Gilham, N Nguyen, MC Rinard NDSS 15 (201), 110, 2015 | 411 | 2015 |
| 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 | 207 | 2008 |
| Automatic test factoring for Java D Saff, S Artzi, JH Perkins, MD Ernst Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005 | 159 | 2005 |
| Inference and enforcement of data structure consistency specifications B Demsky, MD Ernst, PJ Guo, S McCamant, JH Perkins, M Rinard Proceedings of the 2006 international symposium on Software testing and …, 2006 | 150 | 2006 |
| Efficient incremental algorithms for dynamic detection of likely invariants JH Perkins, MD Ernst proceedings of the 12th ACM SIGSOFT twelfth International Symposium on …, 2004 | 143 | 2004 |
| Dynamic inference of abstract types PJ Guo, JH Perkins, S McCamant, MD Ernst Proceedings of the 2006 international symposium on Software testing and …, 2006 | 93 | 2006 |
| Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs B Robinson, MD Ernst, JH Perkins, V Augustine, N Li 2011 26th IEEE/ACM International Conference on Automated Software …, 2011 | 58 | 2011 |
| Automatically generating refactorings to support API evolution JH Perkins proceedings of the 6th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for …, 2005 | 51 | 2005 |
| Finding the needles in the haystack: Generating legal test inputs for object-oriented programs S Artzi, MD Ernst, A Kiezun, C Pacheco, JH Perkins | 49 | 2006 |
| Detection of web service substitutability and composability MD Ernst, R Lencevicius, JH Perkins International Workshop on Web Services–Modeling and Testing (WS-MaTe 2006), 123, 2006 | 40 | 2006 |
| Automatic correction of program logic JH Perkins, S Sidiroglou, MC Rinard, EP Lahtinen, PM Piselli, BC Krikeles, ... US Patent 8,788,884, 2014 | 9 | 2014 |
| Pluggable type-checking for custom type qualifiers in Java MM Papi, M Ali, TL Correa Jr, JH Perkins, MD Ernst | 8 | 2007 |
| Automatic generation of unit regression tests S Artzi, C Pacheco, J Perkins | 5 | 2005 |
| Cloud Intrusion Detection and Repair (CIDAR) S Sidiroglou, J Perkins, M Rinard MIT Computer Science and Artificial Intelligence Laboratory Cambridge United …, 2016 | 3 | 2016 |
| Precise and comprehensive provenance tracking for android devices M Gordon, J Eikenberry, A Eden, J Perkins, M Rinard | 2 | 2019 |
| Autorand: Automatic keyword randomization to prevent injection attacks J Perkins, J Eikenberry, A Coglio, D Willenson, S Sidiroglou-Douskos, ... International Conference on Detection of Intrusions and Malware, and …, 2016 | 2 | 2016 |
| Self-defending software: Automatically patching security vulnerabilities J Perkins, SH Kim, S Larsen, S Amarasinghe, J Bachrach, M Carbin, ... the 21st ACM Symposium on Operating Systems Principles (SOSP 2009), 2009 | 2 | 2009 |
| Automated exploitation of fully randomized executables AJ Gadient Massachusetts Institute of Technology, 2019 | 1 | 2019 |
