2008 |
7 | EE | Matthew M. Papi,
Mahmood Ali,
Telmo Luis Correa Jr.,
Jeff H. Perkins,
Michael D. Ernst:
Practical pluggable types for java.
ISSTA 2008: 201-212 |
2007 |
6 | EE | Michael D. Ernst,
Jeff H. Perkins,
Philip J. Guo,
Stephen McCamant,
Carlos Pacheco,
Matthew S. Tschantz,
Chen Xiao:
The Daikon system for dynamic detection of likely invariants.
Sci. Comput. Program. 69(1-3): 35-45 (2007) |
2006 |
5 | EE | Brian Demsky,
Michael D. Ernst,
Philip J. Guo,
Stephen McCamant,
Jeff H. Perkins,
Martin C. Rinard:
Inference and enforcement of data structure consistency specifications.
ISSTA 2006: 233-244 |
4 | EE | Philip J. Guo,
Jeff H. Perkins,
Stephen McCamant,
Michael D. Ernst:
Dynamic inference of abstract types.
ISSTA 2006: 255-265 |
2005 |
3 | EE | David Saff,
Shay Artzi,
Jeff H. Perkins,
Michael D. Ernst:
Automatic test factoring for java.
ASE 2005: 114-123 |
2 | EE | Jeff H. Perkins:
Automatically generating refactorings to support API evolution.
PASTE 2005: 111-114 |
2004 |
1 | EE | Jeff H. Perkins,
Michael D. Ernst:
Efficient incremental algorithms for dynamic detection of likely invariants.
SIGSOFT FSE 2004: 23-32 |