Marat Boshernitsan http://nitsan.org/~maratb Research Blog Mon, 15 Sep 2008 19:23:31 +0000 http://wordpress.org/?v=2.2.2 en Predicting Effectiveness of Automatic Testing Tools http://nitsan.org/~maratb/blog/2008/07/10/predicting-effectiveness-of-automatic-testing-tools/ http://nitsan.org/~maratb/blog/2008/07/10/predicting-effectiveness-of-automatic-testing-tools/#comments Thu, 10 Jul 2008 21:09:31 +0000 MaratB http://nitsan.org/~maratb/blog/2008/07/10/predicting-effectiveness-of-automatic-testing-tools/ 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] (more…)

]]> http://nitsan.org/~maratb/blog/2008/07/10/predicting-effectiveness-of-automatic-testing-tools/feed/ Predicting and Explaining Automatic Testing Tool Effectiveness http://nitsan.org/~maratb/blog/2008/04/10/predicting-and-explaining-automatic-testing-tool-effectiveness/ http://nitsan.org/~maratb/blog/2008/04/10/predicting-and-explaining-automatic-testing-tool-effectiveness/#comments Thu, 10 Apr 2008 20:56:31 +0000 MaratB http://nitsan.org/~maratb/blog/2008/04/10/predicting-and-explaining-automatic-testing-tool-effectiveness/ 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] (more…)

]]> http://nitsan.org/~maratb/blog/2008/04/10/predicting-and-explaining-automatic-testing-tool-effectiveness/feed/ Agitating Unit Testing: Greenfield, Legacy, and Beyond http://nitsan.org/~maratb/blog/2007/12/07/agitating-unit-testing-greenfield-legacy-and-beyond/ http://nitsan.org/~maratb/blog/2007/12/07/agitating-unit-testing-greenfield-legacy-and-beyond/#comments Sat, 08 Dec 2007 00:06:04 +0000 MaratB http://nitsan.org/~maratb/blog/2007/12/07/agitating-unit-testing-greenfield-legacy-and-beyond/ Marat Boshernitsan. Agitating Unit Testing: Greenfield, Legacy, and Beyond. Invited talk at the Accenture Technology Labs, Chicago, IL, USA, December 2007. [Slides] (more…)

]]> http://nitsan.org/~maratb/blog/2007/12/07/agitating-unit-testing-greenfield-legacy-and-beyond/feed/ Trends and Techniques in Unit Testing: From Daikon to Agitator and Beyond http://nitsan.org/~maratb/blog/2007/12/06/trends-and-techniques-in-unit-testing-from-daikon-to-agitator-and-beyond-2/ http://nitsan.org/~maratb/blog/2007/12/06/trends-and-techniques-in-unit-testing-from-daikon-to-agitator-and-beyond-2/#comments Fri, 07 Dec 2007 00:05:00 +0000 MaratB http://nitsan.org/~maratb/blog/2007/12/10/trends-and-techniques-in-unit-testing-from-daikon-to-agitator-and-beyond-2/ 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] (more…)

]]> http://nitsan.org/~maratb/blog/2007/12/06/trends-and-techniques-in-unit-testing-from-daikon-to-agitator-and-beyond-2/feed/ Unit Testing: Trends, Techniques, and Tools http://nitsan.org/~maratb/blog/2007/11/08/unit-testing-trends-techniques-and-tools/ http://nitsan.org/~maratb/blog/2007/11/08/unit-testing-trends-techniques-and-tools/#comments Thu, 08 Nov 2007 23:42:09 +0000 MaratB http://nitsan.org/~maratb/blog/2007/12/10/51/ 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/feed/ Theories in Practice: Easy-to-Write Specifications that Catch Bugs http://nitsan.org/~maratb/blog/2007/09/14/theories-in-practice-easy-to-write-specifications-that-catch-bugs/ http://nitsan.org/~maratb/blog/2007/09/14/theories-in-practice-easy-to-write-specifications-that-catch-bugs/#comments Fri, 14 Sep 2007 22:22:22 +0000 MaratB http://nitsan.org/~maratb/blog/2007/09/14/theories-in-practice-easy-to-write-specifications-that/ 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] (more…)

]]> http://nitsan.org/~maratb/blog/2007/09/14/theories-in-practice-easy-to-write-specifications-that-catch-bugs/feed/ Trends and Techniques in Unit Testing: From Daikon to Agitator and Beyond http://nitsan.org/~maratb/blog/2007/09/13/trends-and-techniques-in-unit-testing-from-daikon-to-agitator-and-beyond/ http://nitsan.org/~maratb/blog/2007/09/13/trends-and-techniques-in-unit-testing-from-daikon-to-agitator-and-beyond/#comments Thu, 13 Sep 2007 21:59:20 +0000 MaratB http://nitsan.org/~maratb/blog/2007/10/05/trends-and-techniques-in-unit-testing-from-daikon-to-agitator-and-beyond/ 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] (more…)

]]> http://nitsan.org/~maratb/blog/2007/09/13/trends-and-techniques-in-unit-testing-from-daikon-to-agitator-and-beyond/feed/ Interactive Program Transformations: Aligning Development Tools with the Way Programmers Think About Code Changes http://nitsan.org/~maratb/blog/2007/09/10/interactive-program-transformations-aligning-development-tools-with-the-way-programmers-think-about-code-changes-2/ http://nitsan.org/~maratb/blog/2007/09/10/interactive-program-transformations-aligning-development-tools-with-the-way-programmers-think-about-code-changes-2/#comments Mon, 10 Sep 2007 22:08:48 +0000 MaratB 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. 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] (more…)

]]> http://nitsan.org/~maratb/blog/2007/09/10/interactive-program-transformations-aligning-development-tools-with-the-way-programmers-think-about-code-changes-2/feed/ Trends and Techniques in Unit Testing: From Daikonto Agitator and Beyond http://nitsan.org/~maratb/blog/2007/09/10/trends-and-techniques-in-unit-testing-from-daikonto-agitator-and-beyond/ http://nitsan.org/~maratb/blog/2007/09/10/trends-and-techniques-in-unit-testing-from-daikonto-agitator-and-beyond/#comments Mon, 10 Sep 2007 21:17:08 +0000 MaratB http://nitsan.org/~maratb/blog/2007/10/05/trends-and-techniques-in-unit-testing-from-daikonto-agitator-and-beyond/ 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] (more…)

]]> http://nitsan.org/~maratb/blog/2007/09/10/trends-and-techniques-in-unit-testing-from-daikonto-agitator-and-beyond/feed/ Developer Testing: Trends, Techniques, and Tools http://nitsan.org/~maratb/blog/2007/05/10/developer-testing-trends-techniques-and-tools-3/ http://nitsan.org/~maratb/blog/2007/05/10/developer-testing-trends-techniques-and-tools-3/#comments Thu, 10 May 2007 20:54:19 +0000 MaratB http://nitsan.org/~maratb/blog/2007/05/10/developer-testing-trends-techniques-and-tools-3/ Marat Boshernitsan. Developer Testing: Trends, Techniques, and Tools. Invited talk at MIT CSAIL (Program Analysis Group), Cambridge, MA, USA, May 2007. [Slides] (more…)

]]> http://nitsan.org/~maratb/blog/2007/05/10/developer-testing-trends-techniques-and-tools-3/feed/