http://nitsan.org/~maratb Research Blog Mon, 15 Sep 2008 19:23:31 +0000 http://backend.userland.com/rss092 en Brett Daniel and Marat Boshernitsan. Predicting Effectiveness of Automatic Testing Tools. In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, L'Aquila, Italy. September 2008. [Paper] http://nitsan.org/~maratb/blog/2008/07/10/predicting-effectiveness-of-automatic-testing-tools/ Brett Daniel and Marat Boshernitsan. Predicting and Explaining Automatic Testing Tool Effectiveness. Technical Report UIUCDCS-R-2008-2956. University of Illinois at Urbana-Champaign, April 2008. [Report] http://nitsan.org/~maratb/blog/2008/04/10/predicting-and-explaining-automatic-testing-tool-effectiveness/ Marat Boshernitsan. Agitating Unit Testing: Greenfield, Legacy, and Beyond. Invited talk at the Accenture Technology Labs, Chicago, IL, USA, December 2007. [Slides] http://nitsan.org/~maratb/blog/2007/12/07/agitating-unit-testing-greenfield-legacy-and-beyond/ Marat Boshernitsan. Trends and Techniques in Unit Testing: From Daikon to Agitator and Beyond. Guest lecture in the graduate course on the Advanced Topics in Software Engineering, University of Illinois, Urbana-Champaign, IL, USA, December 2007. [Slides] http://nitsan.org/~maratb/blog/2007/12/06/trends-and-techniques-in-unit-testing-from-daikon-to-agitator-and-beyond-2/ Marat Boshernitsan. Unit Testing: Trends, Techniques, and Tools. Guest Lecture in the undergraduate course on Software Engineering, University of California, Berkeley, CA, USA, November 2007. [Slides] http://nitsan.org/~maratb/blog/2007/11/08/unit-testing-trends-techniques-and-tools/ David Saff, Marat Boshernitsan, Michael D. Ernst. Theories in Practice: Easy-to-Write Specifications that Catch Bugs. Technical Report MIT-CSAIL-TR-2008-002. MIT CSAIL, Cambridge, MA, Jan 14 2008. [Report] http://nitsan.org/~maratb/blog/2007/09/14/theories-in-practice-easy-to-write-specifications-that-catch-bugs/ Marat Boshernitsan. Trends and Techniques in Unit Testing: From Daikon to Agitator and Beyond. Keynote talk at the Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART) 2007, Windsor, UK, September 2007. [Slides] http://nitsan.org/~maratb/blog/2007/09/13/trends-and-techniques-in-unit-testing-from-daikon-to-agitator-and-beyond/ Marat Boshernitsan. Interactive Program Transformations: Aligning Development Tools with the Way Programmers Think About Code Changes. Invited talk at the Oxford University Computing Laboratory (Programming Tools Group), Oxford, UK, September 2007. [Slides] http://nitsan.org/~maratb/blog/2007/09/10/interactive-program-transformations-aligning-development-tools-with-the-way-programmers-think-about-code-changes-2/ Marat Boshernitsan. Trends and Techniques in Unit Testing: From Daikon to Agitator and Beyond. Invited talk at the Oxford University Computing Laboratory (Programming Tools Group), Oxford, UK, September 2007. [Slides] http://nitsan.org/~maratb/blog/2007/09/10/trends-and-techniques-in-unit-testing-from-daikonto-agitator-and-beyond/ Marat Boshernitsan. Developer Testing: Trends, Techniques, and Tools. Invited talk at MIT CSAIL (Program Analysis Group), Cambridge, MA, USA, May 2007. [Slides] http://nitsan.org/~maratb/blog/2007/05/10/developer-testing-trends-techniques-and-tools-3/