Jeff Perkins
Jeff Perkins
Zugehörigkeit unbekannt
Bestätigte E-Mail-Adresse bei wwnez.com
Titel
Zitiert von
Zitiert von
Jahr
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
11472007
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
4232009
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
3862015
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
2032008
Automatic test factoring for Java
D Saff, S Artzi, JH Perkins, MD Ernst
Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005
1482005
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
1432006
Efficient incremental algorithms for dynamic detection of likely invariants
JH Perkins, MD Ernst
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on …, 2004
1362004
Dynamic inference of abstract types
PJ Guo, JH Perkins, S McCamant, MD Ernst
Proceedings of the 2006 international symposium on Software testing and …, 2006
932006
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
492011
Automatically generating refactorings to support API evolution
JH Perkins
Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2005
492005
Finding the needles in the haystack: Generating legal test inputs for object-oriented programs
S Artzi, MD Ernst, A Kiezun, C Pacheco, JH Perkins
482006
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
392006
Automatic correction of program logic
JH Perkins, S Sidiroglou, MC Rinard, EP Lahtinen, PM Piselli, BC Krikeles, ...
US Patent 8,788,884, 2014
92014
Pluggable type-checking for custom type qualifiers in Java
MM Papi, M Ali, TL Correa Jr, JH Perkins, MD Ernst
82007
Automatic generation of unit regression tests
S Artzi, C Pacheco, J Perkins
52005
Cloud Intrusion Detection and Repair (CIDAR)
S Sidiroglou, J Perkins, M Rinard
MIT Computer Science and Artificial Intelligence Laboratory Cambridge United …, 2016
32016
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
22016
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
22009
Precise and Comprehensive Provenance Tracking for Android Devices
M Gordon, J Eikenberry, A Eden, J Perkins, M Rinard
12019
Automated exploitation of fully randomized executables
AJ Gadient
Massachusetts Institute of Technology, 2019
12019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20