Carlos Pacheco's PAG publications

This is a list of Carlos Pacheco's PAG-related publications.

Also see all PAG authors, all PAG publications by date, all PAG publications by topic.

Copyright notice.

“Automatically patching errors in deployed software”
by Jeff H. Perkins, Sunghun Kim, Sam Larsen, Saman Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Greg Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, and Martin Rinard.
In Proceedings of the 21st ACM Symposium on Operating Systems Principles, (Big Sky, MT, USA), October 12-14, 2009, pp. 87-102.
Details. Download: PDF, Slides (PDF), Slides (PowerPoint).

“Directed Random Testing”
by Carlos Pacheco.
Ph.D. dissertation, MIT Department of Electrical Engineering and Computer Science, (Cambridge, MA), June 2009.
Details. Download: PDF.

“Finding errors in .NET with feedback-directed random testing”
by Carlos Pacheco, Shuvendu K. Lahiri, and Thomas Ball.
In ISSTA 2008, Proceedings of the 2008 International Symposium on Software Testing and Analysis, (Seattle, WA, USA), July 22-24, 2008, pp. 87-96.
Details. Download: PDF.

“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, vol. 69, no. 1--3, Dec. 2007, pp. 35-45.
Details. Download: PDF, Daikon implementation.

“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), May 23-25, 2007, pp. 75-84.
Details. Download: PDF, Randoop implementation.
A tool description appeared as “Randoop: Feedback-directed random testing for Java” by Carlos Pacheco and Michael D. Ernst. In Companion to Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2007), (Montréal, Canada), October 23-25, 2007, pp. 815-816.
A previous version appeared as Microsoft Research technical report MSR-TR-2006-125, (Redmond, WA), Sep. 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 M-TOOS 2006: 1st Workshop on Model-Based Testing and Object-Oriented Systems, (Portland, OR, USA), October 23, 2006.
Details. Download: PDF, PostScript.
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, pp. 59-68.
Details. Download: PDF.

“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, Eclat implementation, Randoop 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.

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.

(This webpage was created with bibtex2web.)

Back to Program Analysis Group authors