Statistics
Publications
8
Citations
3K
H-Index
8
Active since
2006
Affiliations
Carlos Pacheco is an author at Massachusetts Institute of Technology specializing in computer science, computing, and software testing.
Publications per year
2006–2009
8
8
The Daikon system for dynamic detection of likely invariants
Michael D. Ernst, Jeff Perkins, Philip J. Guo et al. · Science of Computer Programming · 2007 · 1.1K citations
Carlos Pacheco, Michael D. Ernst · 2007 · 519 citations
Automatically patching errors in deployed software
Jeff Perkins, Sunghun Kim, Sam Larsen et al. · 2009 · 416 citations
1–5 of 8