Eclat: Automatic Generation and Classification of Test Inputs. - Carlos Pacheco; Michael D. Ernst (ECOOP, 2005)

An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing. - Marcelo d'Amorim; Carlos Pacheco; Tao Xie 001; Darko Marinov; Michael D. Ernst (ASE, 2006)

Feedback-Directed Random Test Generation. - Carlos Pacheco; Shuvendu K. Lahiri; Michael D. Ernst; Thomas Ball 001 (ICSE, 2007)

Randoop: feedback-directed random testing for Java. - Carlos Pacheco; Michael D. Ernst (OOPSLA Companion, 2007)

The Daikon system for dynamic detection of likely invariants. - Michael D. Ernst; Jeff H. Perkins; Philip J. Guo; Stephen McCamant; Carlos Pacheco; Matthew S. Tschantz; Chen Xiao (Sci. Comput. Program., 2007)

Finding errors in .net with feedback-directed random testing. - Carlos Pacheco; Shuvendu K. Lahiri; Thomas Ball 001 (ISSTA, 2008)

Automatically patching errors in deployed software. - Jeff H. Perkins; Sunghun Kim 001; Samuel Larsen; Saman P. Amarasinghe; Jonathan Bachrach; Michael Carbin; Carlos Pacheco; Frank Sherwood; Stelios Sidiroglou; Gregory T. Sullivan; Weng-Fai Wong; Yoav Zibin; et al. (SOSP, 2009)

Directed random testing. - Carlos Pacheco (2009)