Carlos Pacheco

I'm a Ph.D. student working on software testing with professors Daniel Jackson and Michael Ernst.

Check out Randoop, a new automatic test generation tool for Java.

Papers

(Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.)

2008

“Finding Errors in .NET with Feedback-directed Random Testing”
by Carlos Pacheco, Shuvendu K. Lahiri, and Thomas Ball.
In ISSTA 2008: International Symposium on Software Testing and Analysis, (Seattle, Washington), July 20-24, 2008. To appear.
Details.
A previous version appeared as Microsoft Research technical report MSR-TR-2008-29, Feb. 2008.

2007

“The Daikon system for dynamic detection of likely invariants”
by Michael D. Ernst, Jeff H. Perkins, Philip J. Guo, Stephen McCamant, Carlos Pacheco, Matthew S. Tschantz, and Chen Xiao.
Science of Computer Programming, 2007.
Details. Download: PDF.

“Feedback-directed random test generation”
by Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, and Thomas Ball.
In ICSE '07: Proceedings of the 29th International Conference on Software Engineering, (Minneapolis, MN, USA), 2007.
Details. Download: PDF, implementation.
A previous version appeared as Microsoft Research technical report MSR-TR-2006-125, Sep. 2006.

“Randoop: Feedback-directed Random Testing for Java”
by Carlos Pacheco and Michael D. Ernst.
In OOPSLA 2007 Companion, Montreal, Canada, Oct. 2007, ACM.
Details. Download: PDF, implementation.

2006

“Finding the needles in the haystack: Generating legal test inputs for object-oriented programs”
by Shay Artzi, Michael D. Ernst, Adam Kieżun, Carlos Pacheco, and Jeff H. Perkins.
In 1st Workshop on Model-Based Testing and Object-Oriented Systems (M-TOOS), (Portland, OR), October 23, 2006.
Details. Download: PDF.
A previous version appeared as MIT Computer Science and Artificial Intelligence Laboratory technical report MIT-CSAIL-TR-2006-056, (Cambridge, MA), September 5, 2006.

“An empirical comparison of automated generation and classification techniques for object-oriented unit testing”
by Marcelo d'Amorim, Carlos Pacheco, Darko Marinov, Tao Xie, and Michael D. Ernst.
In ASE 2006: Proceedings of the 21st Annual International Conference on Automated Software Engineering, (Tokyo, Japan), September 20-22, 2006.
Details. Download: PDF.

2005

“Eclat: Automatic generation and classification of test inputs”
by Carlos Pacheco and Michael D. Ernst.
In ECOOP 2005 --- Object-Oriented Programming, 19th European Conference, (Glasgow, Scotland), July 27-29, 2005, pp. 504-527.
Details. Download: PDF, implementation.
An extended version appeared as “Eclat: Automatic generation and classification of test inputs” by Carlos Pacheco. Masters thesis, MIT Department of Electrical Engineering and Computer Science, (Cambridge, MA), June 2005.
A previous version appeared as MIT Laboratory for Computer Science technical report 968, (Cambridge, MA), Oct. 2004.

2004

“Automated Testing of Distributed Systems”
by Nathan Boy, Jared Casper, Carlos Pacheco, and Amy Williams.
May 2004. Final project report for MIT 6.824: Distributed Computer Systems.
Details. Download: PDF.

2001

“Verifying TLA+ Invariants with ACL2”
by Carlos Pacheco.
Aug. 2001. Research report for the Educational Advancement Foundation, August 2001. An abridged version appeared in Selected 2001 SRC Summer Intern Reports, Technical Note 2001-004, Compaq Systems Research Center, December 2001.
Details. Download: PDF.

“Reasoning about TLA Actions”
by Carlos Pacheco.
The University of Texas at Austin technical report TR01-16, May 2001. Undergraduate honors thesis.
Details. Download: PDF.

Part of this webpage was created with bibtex2web.

Carlos Pacheco