Követés
Jeff Perkins
Jeff Perkins
Ismeretlen szervezet
E-mail megerősítve itt: wwnez.com
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
14902007
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
5922015
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
5132009
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
2652008
Automatic test factoring for Java
D Saff, S Artzi, JH Perkins, MD Ernst
Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005
1742005
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
1652006
Efficient incremental algorithms for dynamic detection of likely invariants
JH Perkins, MD Ernst
proceedings of the 12th ACM SIGSOFT twelfth International Symposium on …, 2004
1482004
Dynamic inference of abstract types
PJ Guo, JH Perkins, S McCamant, MD Ernst
Proceedings of the 2006 international symposium on Software testing and …, 2006
1032006
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
812011
Automatically generating refactorings to support API evolution
JH Perkins
proceedings of the 6th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for …, 2005
662005
Finding the needles in the haystack: Generating legal test inputs for object-oriented programs
S Artzi, MD Ernst, A Kiezun, C Pacheco, JH Perkins
552006
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
422006
Automatic correction of program logic
JH Perkins, S Sidiroglou, MC Rinard, EP Lahtinen, PM Piselli, BC Krikeles, ...
US Patent 8,788,884, 2014
92014
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
82016
Pluggable type-checking for custom type qualifiers in Java
MM Papi, M Ali, TL Correa Jr, JH Perkins, MD Ernst
82007
Automatic Exploitation of Fully Randomized Executables
A Gadient, B Ortiz, R Barrato, E Davis, J Perkins, M Rinard
52019
Automatic generation of unit regression tests
S Artzi, A Kiezum, C Pacheco, J Perkins
online] MIT CSAIL, Retrieved from the Internet 11, 2005
52005
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
32020
Precise and comprehensive provenance tracking for android devices
M Gordon, J Eikenberry, A Eden, J Perkins, M Rinard
32019
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
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20