David Saff's PAG publications

This is a list of David Saff's PAG-related publications.

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

Copyright notice.


“Theories in practice: Easy-to-write specifications that catch bugs”
by David Saff, Marat Boshernitsan, and Michael D. Ernst.
MIT Computer Science and Artificial Intelligence Laboratory technical report MIT-CSAIL-TR-2008-002, (Cambridge, MA), January 14, 2008.
Details. Download: PDF, PostScript.

“Theory-infected: Or how I learned to stop worrying and love universal quantification”
by David Saff.
In Companion to Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2007), (Montréal, Canada), October 23-25, 2007, pp. 846-847.
Details. Download: PDF.

“From developer's head to developer tests: Characterization, theories, and preventing one more bug”
by David Saff.
In Companion to Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2007), (Montréal, Canada), October 23-25, 2007, pp. 811-812.
Details. Download: PDF.

“Automatic test factoring for Java”
by David Saff, Shay Artzi, Jeff H. Perkins, and Michael D. Ernst.
In ASE 2005: Proceedings of the 20th Annual International Conference on Automated Software Engineering, (Long Beach, CA, USA), November 9-11, 2005, pp. 114-123.
Details. Download: PDF, PostScript.
A previous version appeared as MIT Laboratory for Computer Science technical report MIT-LCS-TR-991, (Cambridge, MA), June 7, 2005.

“An experimental evaluation of continuous testing during development”
by David Saff and Michael D. Ernst.
In ISSTA 2004, Proceedings of the 2004 International Symposium on Software Testing and Analysis, (Boston, MA, USA), July 12-14, 2004, pp. 76-85.
Details. Download: PDF, PostScript, Eclipse plug-in.

“Automatic mock object creation for test factoring”
by David Saff and Michael D. Ernst.
In ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'04), (Washington, DC, USA), June 7-8, 2004, pp. 49-51.
Details. Download: PDF, PostScript.
A summary appeared as “Test factoring: Focusing test suites on the test at hand” by David Saff. In ICSE'05, Proceedings of the 27th International Conference on Software Engineering, (St. Louis, MO, USA), May 18-20, 2005.

“Continuous testing in Eclipse”
by David Saff and Michael D. Ernst.
In 2nd Eclipse Technology Exchange Workshop (eTX), (Barcelona, Spain), March 30, 2004.
Details. Download: PDF, PostScript, Eclipse plug-in.
A tool demo appeared in ICSE'05, Proceedings of the 27th International Conference on Software Engineering, (St. Louis, MO, USA), May 18-20, 2005, pp. 668-669.

“Reducing wasted development time via continuous testing”
by David Saff and Michael D. Ernst.
In Fourteenth International Symposium on Software Reliability Engineering, (Denver, CO), November 17-20, 2003, pp. 281-292.
Details. Download: PDF, PostScript.
An extended version appeared as “Automated continuous testing to speed software development” by David Saff. Masters thesis, MIT Department of Electrical Engineering and Computer Science, (Cambridge, MA), February 3, 2004.

“Footloose: A Case for Physical Eventual Consistency and Selective Conflict Resolution”
by Justin Mazzola Paluska, David Saff, Tom Yeh, and Kathryn Chen.
In 5th IEEE Workshop on Mobile Computing Systems and Applications, (Monterey, CA, USA), October 9-10, 2003, pp. 170-180.
Details. Download: PDF, PostScript, Presentation (PDF).


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