Publications
Refereed
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…]
Marat Boshernitsan, Susan L. Graham, Marti A. Hearst. Aligning Development Tools with the Way Programmers Think About Code Changes. In Proceedings of the 2007 SIGCHI Conference on Human Factors in Computing Systems, San Jose, CA, May 2007. [Paper] [Slides] [Demo: Flash | Quicktime] [More…]
Marat Boshernitsan, Roongko Doong, Alberto Savoia. From Daikon To Agitator: Lessons and Challenges in Building a Commercial Tool for Developer Testing. In Proceedings of the 2006 International Symposium on Software Testing and Analysis, Portland, ME, July 2006. [Paper] [Slides] [More…]
Marat Boshernitsan and Susan L. Graham. Interactive Transformation of Java Programs in Eclipse. In Proceedings of the 28th International Conference on Software Engineering, Shanghai, China, May 2006. [Paper] [Slides] [More…]
Marat Boshernitsan and Susan L. Graham. iXj: Interactive Source-to-Source Transformations for Java. In Companion to the 19th annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, Vancouver, BC, Canada, October 2004. [Paper] [Poster] [More…]
Marat Boshernitsan and Susan L. Graham. A Case for Interactive Source-to-Source Transformations. In Proceedings of the Software Transformation Systems Workshop at the Third International Conference on Generative Programming and Component Engineering, Vancouver, BC, Canada, October 2004. [Paper] [Slides] [More…]
Marat Boshernitsan and Susan L. Graham. Program Manipulation via Interactive Transformations. In Companion to the 18th annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, Anaheim, CA, USA, October 2003. [Paper] [Slides] [Poster] [More…]
Marat Boshernitsan and Susan L. Graham. Designing an XML-based exchange format for Harmonia. In Proceedings of the Seventh Working Conference on Reverse Engineering, Brisbane, Australia, November 2000. [Paper] [Slides] [More…]
Michael L. Van De Vanter and Marat Boshernitsan. Displaying and Editing Source Code in Software Engineering Environments. In Proceedings of the Second International Symposium on Constructing Software Engineering Tools (CoSET’2000), Limerick, Ireland, 2000. [Paper] [More…]
Unrefereed
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…]
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…]
David Saff and Marat Boshernitsan. The Practice of Theories: Adding “For-all” Statements to “There-Exists” Tests. Unpublished Whitepaper. December 1, 2006. [Paper] [More…]
Marat Boshernitsan. Program Manipulation via Interactive Transformations. Ph.D. Dissertation, Technical Report UCB/EECS-2006-100. University of California, Berkeley, CA, July 25 2006. [Report] [Slides] [More…]
Andrew Begel, Marat Boshernitsan, Susan L. Graham. Transformational Generation of Language Plug-ins in the Harmonia Framework. Technical Report UCB/CSD-05-1370. University of California, Berkeley, January 2005. [Report] [More…]
Marat Boshernitsan. Harmonia: A Flexible Framework for Constructing Interactive Language-Based Programming Tools. M.S. Thesis, Technical Report UCB/CSD-01-1149. University of California, Berkeley, June 2001. [Report] [More…]
Marat Boshernitsan and Michael Downes. Visual Programming Languages: A Survey. Technical Report UCB/CSD-04-1368. University of California, Berkeley, December 1997. [Report] [More…]
