Symbolic Execution with Abstract Subsumption Checking. Saswat Anand, Corina S. Pasareanu, Willem Visser. International SPIN Workshop on Model Checking of Software (SPIN 2006), Vienna, Austria, March 2006, pp. 163-181.
[Abstract] [BibTex] [Full text in pdf]

MaTRIX: Maintenance-oriented Testing Requirement Identifier and Examiner. Taweesup Apiwattanapong, Raul Andres Santelices, Pavan Kumar Chittimalli, Alessandro Orso, Mary Jean Harrold. In Proceedings of the Testing and Academic Industrial Conference Practice and Research Techniques (TAIC PART 2006), Windsor, UK, August 2006, pp. 137-146.
[Abstract] [BibTex] [Full text in pdf] [Slides]

Empirical Evaluation of the Tarantula Automatic Fault-Localization Technique. James A. Jones, Mary Jean Harrold. In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, CA, November 2005, pp. 273-282.
[Abstract] [BibTex] [Full text in pdf] [Slides]

Efficient and Precise Dynamic Impact Analysis Using Execute-After Sequences. Taweesup Apiwattanapong, Alessandro Orso, Mary Jean Harrold. International Conference on Software Engineering (ICSE 2005), St. Louis, MO, May 2005, pp. 432-441.
[Abstract] [BibTex] [Full text in pdf] [Slides]

Classifying Data Dependence in the Presence of Pointers for Program Comprehension, Testing, and Debugging. Alessandro Orso, Saurabh Sinha, Mary Jean Harrold. Transactions on Software Engineering and Methodology, vol. 13, no. 2, December 2004, pp. 199-239.
[Abstract] [BibTex] [Full text in pdf]