All Authors
All Research Categories
All Years
<< Prev 1 2 3 4 5 [6...10] [11...15] [16...20] [21...25] [26...26] Next >> [All publications]
Regression Test Selection on System Requirements. Pavan Kumar Chittimalli, Mary Jean Harrold. 1st India Software Engineering Conference (ISEC 2008), Hyderabad, India, February 2008.
[Abstract] [BibTex]
Re-Computing Coverage Information to Assist Regression Testing . Pavan Kumar Chittimalli, Mary Jean Harrold. International Conference on Software Maintenance (ICSM 2007), Paris, October 2007, pp. 164-173.
[Abstract] [BibTex] [Full text in pdf]
Efficiently Monitoring Data-Flow Test Coverage. Raul Andres Santelices, Mary Jean Harrold. IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), Atlanta, GA, November 2007, pp. 343-352.
[Abstract] [BibTex] [Full text in pdf] [Slides]
Type-dependence Analysis and Program Transformation for Symbolic Execution. Saswat Anand, Alessandro Orso, Mary Jean Harrold. In Proceedings of the International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS 2007), Braga, Portugal, March 2007, pp. 117-133.
[Abstract] [BibTex] [Full text in pdf]
JPF-SE: A Symbolic Execution Extension to Java Pathfinder. Saswat Anand, Corina S. Pasareanu, Willem Visser. International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS 2007), Braga, Portugal, March 2007, pp. 134-138.
[Abstract] [BibTex] [Full text in pdf]
Top of page
Copyright notice:
We present this material to ensure the timely dissemination of our work.
All persons copying this material must adhere to the
terms of the relevant copyrights.