Search results for "Jeff H. Perkins"

Found 9 publication records. Showing 9 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Brian Robinson, Michael D. Ernst, Jeff H. Perkins, Vinay Augustine, Nuo Li	Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs.	ASE	2011	DBLP DOI BibTeX RDF
1	Jeff H. Perkins, Sunghun Kim, Samuel Larsen, Saman P. Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Greg Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, Martin C. Rinard	Automatically patching errors in deployed software.	SOSP	2009	DBLP DOI BibTeX RDF	self healing
1	Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst	Practical pluggable types for java.	ISSTA	2008	DBLP DOI BibTeX RDF	igj, javari, pluggable type, java, verification, compiler, annotation, case study, type system, polymorphism, intern, type qualifier, bug finding, flow sensitivity, readonly, immutable, nonnull, javac
1	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.	2007	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	data structure repair, dynamic invariant detection
1	Philip J. Guo, Jeff H. Perkins, Stephen McCamant, Michael D. Ernst	Dynamic inference of abstract types.	ISSTA	2006	DBLP DOI BibTeX RDF	mixed-level analysis, values and variables, Java, interaction, C++, C, dynamic analysis, type inference, abstract types, units
1	David Saff, Shay Artzi, Jeff H. Perkins, Michael D. Ernst	Automatic test factoring for java.	ASE	2005	DBLP DOI BibTeX RDF	test factoring, unit testing, mock objects
1	Jeff H. Perkins	Automatically generating refactorings to support API evolution.	PASTE	2005	DBLP DOI BibTeX RDF
1	Jeff H. Perkins, Michael D. Ernst	Efficient incremental algorithms for dynamic detection of likely invariants.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	batch algorithm, reversing optimizations, incremental algorithm, dynamic invariant detection

Displaying result #1 - #9 of 9 (100 per page; Change: )

Publications of "Jeff H. Perkins" ( http://dblp.L3S.de/Authors/Jeff_H._Perkins )