ASE


Software Testing and Analysis for Software Evolution

[Summary]         [People]         [Publications]         [Presentations]         [Software]         [Sponsors]

PROJECT SUMMARY

Software programs are created during development, but continue to evolve throughout their (often long) lifetime. Maintaining such evolving programs, which typically involves fixing faults, improving performance, adding new features, and adapting to changes in the environment, is one of the most expensive activities in software development. A considerable percentage of maintenance costs are due to regression testing, which is the activity of retesting a software program after it is modified. To reduce these costs, this project develops novel techniques and tools to generate and augment regression tests of two given versions of a software system to guard against regression faults and help better understand behavioral changes induced by program changes.

.

PEOPLE

Faculty
    Tao Xie (Principal Investigator)

Students
    Kunal Taneja (PhD Student)
    Suresh Thummalapenta (PhD Student)

Collaborators
    Alex Orso and Mary Jean Harrold (Georgia Tech)


PUBLICATIONS

  1. Shan-Shan Hou, Lu Zhang, Tao Xie, and Jia-Su Sun. Quota-Constrained Test-Case Prioritization for Regression Testing of Service-Centric Systems. To appear in Proceedings of the 24rd IEEE International Conference on Software Maintenance (ICSM 2008), Beijing, China, October 2008. [BibTeX]
  2. Kobi Inkumsah and Tao Xie. Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution. To appear in Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), L'Aquila, Italy, September 2008. [BibTeX]
    A previous version appeared in Proceedings of ASE 2007 as a Short Paper.
  3. Kunal Taneja and Tao Xie. DiffGen: Automated Regression Unit-Test Generation. To appear in Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), Short Paper, L'Aquila, Italy, September 2008. [BibTeX]
  4. Alessandro Orso and Tao Xie. BERT: BEhavioral Regression Testing. To appear in Proceedings of the International Workshop on Dynamic Analysis (WODA 2008), Seattle, WA, July 2008. [PDF][BibTeX]
  5. Nuo Li, JeeHyun Hwang, and Tao Xie. Multiple-Implementation Testing for XACML Implementations. To appear in Proceedings of the Workshop on Testing, Analysis and Verification of Web Software (TAV-WEB 2008), Seattle, WA, July 2008. [PDF][BibTeX]
  6. Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte. Method-Sequence Exploration for Automated Unit Testing of Object-Oriented Programs. To appear in Proceedings of the Workshop on State-Space Exploration for Automated Testing (SSEAT 2008), Seattle, WA, July 2008. [PDF][BibTeX]
  7. Tao Xie, Mithun Acharya, Suresh Thummalapenta, and Kunal Taneja. Improving Software Reliability and Productivity via Mining Program Source Code. To appear in Proceedings of the NSF Next Generation Software Program Workshop at IPDPS 2008 (NSFNGS 2008), Miami, Florida, April 2008. [PDF][BibTeX]
  8. Kunal Taneja, Danny Dig, and Tao Xie. Automated Detection of API Refactorings in Libraries. In Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), Short Paper, Atlanta, Georgia, pp. 377-380, November 2007. [PDF][BibTeX]
  9. Shan-Shan Hou, Lu Zhang, Tao Xie, Hong Mei, and Jia-Su Sun. Applying Interface-Contract Mutation in Regression Testing of Component-Based Software. In Proceedings of the 23rd IEEE International Conference on Software Maintenance (ICSM 2007), Paris, France, pp. 174-183, October 2007. [PDF][BibTeX]
  10. Tao Xie, Kunal Taneja, Shreyas Kale, and Darko Marinov. Towards a Framework for Differential Unit Testing of Object-Oriented Programs. In Proceedings of the 2nd International Workshop on Automation of Software Test (AST 2007), Minneapolis, MN, pp. 5-11, May 2007. [PDF][BibTeX]
  11. Jianjun Zhao, Tao Xie, and Nan Li. Towards Regression Test Selection for Aspect-Oriented Programs. In Proceedings of the 2nd Workshop on Testing Aspect-Oriented Programs (WTAOP 2006), Portland, Maine, pp. 21-26, July 2006. [PDF][BibTeX]
  12. Tao Xie. Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking. In Proceedings of the 20th European Conference on Object-Oriented Programming (ECOOP 2006), Nantes, France, pp. 380-403, July 2006. [PDF][BibTeX][Slides]
  13. Tao Xie and David Notkin. Checking Inside the Black Box: Regression Testing By Comparing Value Spectra. IEEE Transactions on Software Engineering, Vol. 31, No. 10, pp. 869-883, October 2005. A special issue of selected papers from the ICSM 2004 conference. [PDF][BibTeX]
    A previous version appeared in Proceedings of ICSM 2004.


PRESENTATIONS

  1. Tao Xie. Improving Automation in Developer Testing. Workshop presentation, ISSTA 2008 PC Workshop on State of the Art in Testing and Analysis Day (ISSTA PC WS 2008), Piscataway, NJ, March 2008. [Slides]
  2. Kunal Taneja. Automated Detection of API Refactorings in Libraries. Conference poster presentation, the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), Short Paper, Atlanta, Georgia, November 2007.
  3. Tao Xie. Towards a Framework for Differential Unit Testing of Object-Oriented Programs. Workshop presentation, the 2nd International Workshop on Automation of Software Test (AST 2007), Minneapolis, MN, May 2007.
  4. Tao Xie. Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking. Confernece presentation, the 20th European Conference on Object-Oriented Programming (ECOOP 2006), Nantes, France, July 2006. [Slides]
  5. Tao Xie. Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences. Conference Presentation, the 20th IEEE International Conference on Software Maintenance (ICSM 2004), Chicago, September 2004. [Slides]

    6.

SOFTWARE
  1. DiffGen: Automated Regression Unit-Test Generation
  2. Diffut: Differential Unit Testing of Object-Oriented Programs
  3. RefacLib: Automated Detection of API Refactorings in Libraries


SPONSORS

National Science Foundation Award CCF-0725190, Science of Design Program (01/01/2008-12/31/2010)