dblp.uni-trier.dewww.uni-trier.de

Jeff H. Perkins

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
7EEMatthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst: Practical pluggable types for java. ISSTA 2008: 201-212
2007
6EEMichael 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
5EEBrian 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
4EEPhilip J. Guo, Jeff H. Perkins, Stephen McCamant, Michael D. Ernst: Dynamic inference of abstract types. ISSTA 2006: 255-265
2005
3EEDavid Saff, Shay Artzi, Jeff H. Perkins, Michael D. Ernst: Automatic test factoring for java. ASE 2005: 114-123
2EEJeff H. Perkins: Automatically generating refactorings to support API evolution. PASTE 2005: 111-114
2004
1EEJeff H. Perkins, Michael D. Ernst: Efficient incremental algorithms for dynamic detection of likely invariants. SIGSOFT FSE 2004: 23-32

Coauthor Index

1Mahmood Ali [7]
2Shay Artzi [3]
3Telmo Luis Correa Jr. [7]
4Brian Demsky [5]
5Michael D. Ernst [1] [3] [4] [5] [6] [7]
6Philip J. Guo [4] [5] [6]
7Stephen McCamant [4] [5] [6]
8Carlos Pacheco [6]
9Matthew M. Papi [7]
10Martin C. Rinard [5]
11David Saff [3]
12Matthew S. Tschantz [6]
13Chen Xiao [6]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)