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 | 1515 | 2007 |
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 | 614 | 2015 |
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 |
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 | 268 | 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 | 175 | 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 | 166 | 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 | 152 | 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 | 104 | 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 | 82 | 2011 |
Automatically generating refactorings to support API evolution JH Perkins proceedings of the 6th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for …, 2005 | 67 | 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 | 58 | 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 | 42 | 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 |
AutoRand: Automatic keyword randomization to prevent injection attacks J Perkins, J Eikenberry, A Coglio, D Willenson, S Sidiroglou-Douskos, ... Detection of Intrusions and Malware, and Vulnerability Assessment: 13th …, 2016 | 8 | 2016 |
Pluggable type-checking for custom type qualifiers in Java MM Papi, M Ali, TL Correa Jr, JH Perkins, MD Ernst | 8 | 2007 |
Automatic Exploitation of Fully Randomized Executables A Gadient, B Ortiz, R Barrato, E Davis, J Perkins, M Rinard | 5 | 2019 |
Automatic generation of unit regression tests S Artzi, A Kiezum, C Pacheco, J Perkins online] MIT CSAIL, Retrieved from the Internet 11, 2005 | 5 | 2005 |
Precise and comprehensive provenance tracking for android devices M Gordon, J Eikenberry, A Eden, J Perkins, M Rinard | 4 | 2019 |
Comprehensive java metadata tracking for attack detection and repair J Perkins, J Eikenberry, A Coglio, M Rinard 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems …, 2020 | 3 | 2020 |
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 |