Carlos Pacheco

According to our database, Carlos Pacheco authored at least 8 papers between 2005 and 2009.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2009

Directed random testing.

Carlos Pacheco

PhD thesis, 2009

Automatically patching errors in deployed software.

Jeff H. Perkins, Sunghun Kim, Samuel Larsen, Saman P. Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Gregory T. Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, Martin C. Rinard

Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

2008

Finding errors in .net with feedback-directed random testing.

Carlos Pacheco, Shuvendu K. Lahiri, Thomas Ball

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

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

Randoop: feedback-directed random testing for Java.

Carlos Pacheco, Michael D. Ernst

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Feedback-Directed Random Test Generation.

Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006

An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing.

Marcelo d'Amorim, Carlos Pacheco, Tao Xie, Darko Marinov, Michael D. Ernst

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

2005

Eclat: Automatic Generation and Classification of Test Inputs.

Carlos Pacheco, Michael D. Ernst

Proceedings of the ECOOP 2005, 2005