Software Testing @ Illinois Automated Software Engineeirng Group

• Overview
• Test Generation via Symbolic Execution
• Evolutionary Testing/Search-based Testing
• Random Testing
• Test Oracles
• Regression/Differential Testing
• Mutation Testing/Analysis
• Testing Mobile Applications
• Testing Cloud Applications
• Testing Database Applications
• Testing Web Applications/Online Service Systems
• Testing Environment-Dependent (Cyber-Physical/Embedded/File-System) Software
• Testing and Analysis of Aspect-Oriented Software
• Testing Software Design

Overview

• Nikolai Tillmann, Jonathan de Halleux, and Tao Xie. Transferring an Automated Test Generation Tool to Practice: From Pex to Fakes and Code Digger. InProceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), Experience Papers, Västerås, Sweden, September 2014. [PDF][BibTex]
• Tao Xie. Synergy of Human and Artificial Intelligence in Software Engineering. In Proceedings of the 2nd International NSF sponsored Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE 2013), San Francisco, CA, May 2013. [PDF][BibTeX]
• Tao Xie. Cooperative Testing and Analysis: Human-Tool, Tool-Tool, and Human-Human Cooperations to Get Work Done. In Proceedings of the 12th International Working Conference on Source Code Analysis and Manipulation (SCAM 2012), Keynote Paper, Trento, Italy, September 2012. [PDF][BibTeX]
• Xusheng Xiao, Suresh Thummalapenta, and Tao Xie. Advances on Improving Automation in Developer Testing. In Advances in Computers, Vol 85, Burlington: Academic Press, 2012, pages 165-212. [BibTeX]
• A previous version appeared as NCSU CSC Tech Report 2009.
• Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte. Future of Developer Testing: Building Quality in Code. In Proceedings of FSE/SDP Workshop on the Future of Software Engineering Research (FoSER 2010), Santa Fe, NM, pages 415-420, November 2010.[PDF][BibTeX]
• Tao Xie. Improving Effectiveness of Automated Software Testing in the Absence of Specifications. In Proceedings of the 22nd IEEE International Conference on Software Maintenance (ICSM 2006), Dissertation Forum, Philadelphia, PA, pp. 355-359, September 2006. [PDF][BibTeX][Slides]
• A full version appeared as Ph.D. Dissertation, University of Washington Department of Computer Science and Engineering
• Tao Xie and David Notkin. Mutually Enhancing Test Generation and Specification Inference. In Proceedings of the 3rd International Workshop on Formal Approaches to Testing of Software (FATES 2003), LNCS Vol. 2931, Springer, Montreal, Canada, pp. 60-69, October 2003. [PDF][BibTeX][Slides] ©2003 Springer-Verlag.

Test Generation via Symbolic Execution

• Xusheng Xiao, Sihan Li, Tao Xie, and Nikolai Tillmann. Characteristic Studies of Loop Problems for Structural Test Generation via Symbolic Execution. In Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013), Palo Alto, California, November 2013. [BibTex]
• Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Zhendong Su. Synthesizing Method Sequences for High-Coverage Testing. In Proceedings of ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2011), Portland, Oregon, pages 189-206, October 2011. [PDF][BibTeX]
• Xusheng Xiao, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux. Precise Identification of Problems for Structural Test Generation. In Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), Honolulu, Hawaii, pp. 611-620, May 2011. [PDF][BibTeX]
• Xusheng Xiao, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux. Covana: Precise Identification of Problems in Pex. In Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), Demonstration, Honolulu, Hawaii, pp. 1004-1006, May 2011. [PDF][BibTeX]
• Xi Ge, Kunal Taneja, Tao Xie, and Nikolai Tillmann. DyTa: Dynamic Symbolic Execution Guided with Static Verification Results. In Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), Demonstration, Honolulu, Hawaii, pp. 992-994, May 2011. [PDF][BibTeX]
• Rahul Pandita, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux. Guided Test Generation for Coverage Criteria. In Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), Timișoara, Romania, September 2010. [PDF][BibTeX]
• Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte. Reggae: Automated Test Generation for Programs using Complex Regular Expressions. In Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), Short Paper, Auckland, New Zealand, pp. 515-519, November 2009. [PDF][BibTeX]
• Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Peli de Halleux, and Wolfram Schulte. MSeqGen: Object-Oriented Unit-Test Generation via Mining Source Code. In Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2009), Amsterdam, the Netherlands, pp. 193-202, August 2009. [PDF][BibTeX]
• Tao Xie, Nikolai Tillmann, Peli de Halleux, and Wolfram Schulte. Fitness-Guided Path Exploration in Dynamic Symbolic Execution. In Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2009), Lisbon, Portugal, pp. 359-368, June-July 2009. [PDF][BibTeX]
• Kobi Inkumsah and Tao Xie. Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution. In Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), L'Aquila, Italy, pp. 297-306, September 2008. [PDF][BibTeX]
  • A previous version appeared in Proceedings of ASE 2007 as a Short Paper.
• Marcelo d'Amorim, Carlos Pacheco, Tao Xie, Darko Marinov, and Michael D. Ernst. An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing. In Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), Tokyo, Japan, pp. 59-68, September 2006. [PDF][BibTeX]
• Nominated for the Best Paper Award
• Hai Yuan and Tao Xie. Substra: A Framework for Automatic Generation of Integration Tests. In Proceedings of the 1st Workshop on Automation of Software Test (AST 2006), Shanghai, China, pp. 64-70, May 2006. [PDF][BibTeX][Slides]
• Tao Xie, Darko Marinov, Wolfram Schulte, and David Notkin. Symstra: A Framework for Generating Object-Oriented Unit Tests using Symbolic Execution. In Proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005), Edinburgh, U.K., pp. 365-381, April 2005. [PDF][BibTeX][Slides]
• Tao Xie, Darko Marinov, and David Notkin. Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests. In Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), Linz, Austria, pp. 196-205, September 2004. [PDF][BibTeX][Slides]
• A previous version appeared as UW-CSE-04-01-05 technical report.
• Tao Xie and David Notkin. Tool-Assisted Unit-Test Generation and Selection Based on Operational Abstractions. Automated Software Engineering Journal, Vol. 13, No. 3, pp. 345-371, July 2006. A special issue of selected papers from the ASE 2003 conference. [PDF][BibTeX]
• A previous version appeared in Proceedings of ASE 2003.
• A previous version appeared in Proceedings of WODA 2003.
• Tao Xie and David Notkin. Tool-Assisted Unit Test Selection Based on Operational Violations. In Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), Montreal, Canada, pp. 40-48, October 2003. [PDF][BibTeX][Slides]
• Nominated for the Best Paper Award
• An extended version appeared in a special issue of Automated Software Engineering Journal.
• A previous workshop version appeared in Proceedings of WODA 2003.

Evolutionary Testing/Search-based Testing

• Tao Xie, Nikolai Tillmann, Peli de Halleux, and Wolfram Schulte. Fitness-Guided Path Exploration in Dynamic Symbolic Execution. In Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2009), Lisbon, Portugal, pp. 359-368, June-July 2009. [PDF][BibTeX]
• Kobi Inkumsah and Tao Xie. Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution. In Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), L'Aquila, Italy, pp. 297-306, September 2008. [PDF][BibTeX]
  • A previous version appeared in Proceedings of ASE 2007 as a Short Paper.

Random Testing

• Wujie Zheng, Qirun Zhang, Michael Lyu, and Tao Xie. Random Unit-Test Generation with MUT-aware Sequence Recommendation. In Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), Short Paper, Antwerp, Belgium, pages 293-296, September 2010. [PDF][BibTeX]
• Hojun Jaygarl, Sunghun Kim, Tao Xie, and Carl K. Chang. OCAT: Object Capture-based Automated Testing. In Proceedings of International Conference on Software Testing and Analysis (ISSTA 2010), Trento, Italy, pp. 159-170, July 2010. [PDF][BibTeX]
• Marcelo d'Amorim, Carlos Pacheco, Tao Xie, Darko Marinov, and Michael D. Ernst. An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing. In Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), Tokyo, Japan, pp. 59-68, September 2006. [PDF][BibTeX]
• Nominated for the Best Paper Award
• Tao Xie, Darko Marinov, and David Notkin. Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests. In Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), Linz, Austria, pp. 196-205, September 2004. [PDF][BibTeX][Slides]
• A previous version appeared as UW-CSE-04-01-05 technical report.

Test Oracles

• Wujie Zheng, Hao Ma, Michael R. Lyu, Tao Xie, and Irwin King. Mining Test Oracles of Web Search Engines. In Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Short Paper, Lawrence, Kansas, pages 408-411, November 2011. [PDF][BibTeX]
• Suresh Thummalapenta, Madhuri Marri, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux. Retrofitting Unit Tests for Parameterized Unit Testing. In Proceedings of International Conference on FundaTechnical Briefingmental Approaches to Software Engineering (FASE 2011), Saarbrücken, Germany, pages 294-309, March-April 2011. [PDF][BibTeX]
• Kunal Taneja, Nuo Li, Madhuri Marri, Tao Xie, and Nikolai Tillmann. MiTV: Multiple-Implementation Testing of User-Input Validators for Web Applications. In Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), Short Paper, Antwerp, Belgium, pages 131-134, September 2010. [PDF][BibTeX]
• Wujie Zheng, Michael R. Lyu, and Tao Xie. Test Selection for Result Inspection via Mining Predicate Rules. In Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), New Ideas and Emerging Results, Vancouver, Canada, pp. 219-222, May 2009. [PDF][BibTeX]
• Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte. Mutation Analysis of Parameterized Unit Tests. In Proceedings of the 4th International Workshop on Mutation Analysis (Mutation 2009), Denver, Colorado, pp. 177-181, April 2009. [PDF][BibTeX]
• Nuo Li, JeeHyun Hwang, and Tao Xie. Multiple-Implementation Testing for XACML Implementations. In Proceedings of the Workshop on Testing, Analysis and Verification of Web Software (TAV-WEB 2008), Seattle, WA, pp. 27-33, July 2008. [PDF][BibTeX]
• Yoonki Song, Suresh Thummalapenta, and Tao Xie. UnitPlus: Assisting Developer Testing in Eclipse. In Proceedings of the Eclipse Technology eXchange Workshop at OOPSLA 2007 (ETX 2007), Montréal, Québec, Canada, pp. 26-30, October 2007. [PDF][BibTeX]
• Best Student Paper AwardTao 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]
• Marcelo d'Amorim, Carlos Pacheco, Tao Xie, Darko Marinov, and Michael D. Ernst. An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing. In Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), Tokyo, Japan, pp. 59-68, September 2006. [PDF][BibTeX]
• Nominated for the Best Paper Award
• 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]
• Tao Xie and David Notkin. Tool-Assisted Unit-Test Generation and Selection Based on Operational Abstractions. Automated Software Engineering Journal, Vol. 13, No. 3, pp. 345-371, July 2006. A special issue of selected papers from the ASE 2003 conference. [PDF][BibTeX]
• A previous version appeared in Proceedings of ASE 2003.
• A previous version appeared in Proceedings of WODA 2003.
• Tao Xie, Evan Martin, and Hai Yuan. Automatic Extraction of Abstract-Object-State Machines from Unit-Test Executions. In Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), Informal Research Demonstrations, Shanghai, China, pp. 835-838, May 2006. [PDF][BibTeX]
• Tao Xie and David Notkin. Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs. In Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005), Chicago, Illinois, USA, pp. 277-287, November 2005. [PDF][BibTeX][Slides]
• A short version won the 3rd Place of 2005 ACM Student Research Competition Grand Finals.
• A short version won the 3rd Place of 2004 ACM SIGPLAN Student Research Competition and appeared in Proceedings of OOPSLA 2004 Companion.
• Hai Yuan and Tao Xie. Automatic Extraction of Abstract-Object-State Machines Based on Branch Coverage. In Proceedings of the 1st International Workshop on Reverse Engineering To Requirements at WCRE 2005 (RETR 2005), Pittsburgh, Pennsylvania, pp. 5-11, November 2005. [PDF][BibTeX][Slides]
• Tao Xie and David Notkin. Automatic Extraction of Sliced Object State Machines for Component Interfaces. In Proceedings of the 3rd Workshop on Specification and Verification of Component-Based Systems at ACM SIGSOFT 2004/FSE-12 (SAVCBS 2004), Newport Beach, California, pp. 39-46, October 31-November 1, 2004. [PDF][BibTeX][Slides]
• Tao Xie and David Notkin. Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions. In Proceedings of the 6th International Conference on Formal Engineering Methods (ICFEM 2004), Seattle, pp. 290-305, November 2004. [PDF][BibTeX][Slides]
• 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.
• Tao Xie and David Notkin. Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences. In Proceedings of the 20th IEEE International Conference on Software Maintenance (ICSM 2004), Chicago, Illinois, pp. 28-37, September 2004. [PDF][BibTeX][Slides]
• Selected as one of the Best Papers that are invited to submit to IEEE Transactions on Software Engineering
• An extended version appeared in a special issue of IEEE Transactions on Software Engineering.
• Tao Xie and David Notkin. Tool-Assisted Unit Test Selection Based on Operational Violations. In Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), Montreal, Canada, pp. 40-48, October 2003. [PDF][BibTeX][Slides]
• Nominated for the Best Paper Award
• An extended version appeared in a special issue of Automated Software Engineering Journal.
• A previous workshop version appeared in Proceedings of WODA 2003.

Regression/Differential Testing

• Hao Zhong, Suresh Thummalapenta, and Tao Xie. Exposing Behavioral Differences in Cross-Language API Mapping Relations. In Proceedings of International Conference on Fundamental Approaches to Software Engineering (FASE 2013), Rome, Italy, March 2013. [PDF][BibTeX]
• Jeehyun Hwang, Tao Xie, Donia Elkateb, Tejeddine Mouelhi, and Yves Le Traon. Selection of Regression System Tests for Security Policy Evolution. In Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012), Short Paper, Essen, Germany, September 2012. [BibTeX]
• Kunal Taneja, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux. eXpress: Guided Path Exploration for Efficient Regression Test Generation. In Proceedings of the 2011 International Symposium on Software Testing and Analysis (ISSTA 2011), Toronto, Canada, pages 1-11, July 2011. [PDF][BibTeX]
  • A previous version appeared in Proceedings of ICSE 2009 New Ideas and Emerging Results track.
• Kunal Taneja, Nuo Li, Madhuri Marri, Tao Xie, and Nikolai Tillmann. MiTV: Multiple-Implementation Testing of User-Input Validators for Web Applications. In Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), Short Paper, Antwerp, Belgium, pages 131-134, September 2010. [PDF][BibTeX]
• Wei Jin, Alex Orso, and Tao Xie. BERT: A Tool for Behavioral Regression Testing. In Proceedings of the 18th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2010), Research Demonstration, Santa Fe, NM, pages 361-362, November 2010. [PDF][BibTeX]
• Wei Jin, Alex Orso, and Tao Xie. Automated Behavioral Regression Testing. In Proceedings of the 3rd IEEE International Conference on Software Testing, Verification and Validation (ICST 2010), Paris, France, pp. 137-146, April 2010. [PDF][BibTeX]
  • A previous version appeared in Poceedings of WODA 2008.
• Lu Zhang, Shan-Shan Hou, Chao Guo, Tao Xie, and Hong Mei. Time-Aware Test-Case Prioritization using Integer Linear Programming. In Proceedings of International Conference on Software Testing and Analysis (ISSTA 2009), Chicago, pp. 213-223, July 2009. [PDF][BibTeX]
• Shan-Shan Hou, Lu Zhang, Tao Xie, and Jia-Su Sun. Quota-Constrained Test-Case Prioritization for Regression Testing of Service-Centric Systems. In Proceedings of the 24rd IEEE International Conference on Software Maintenance (ICSM 2008), Beijing, China, pp. 257-266, October 2008. [PDF][BibTeX]
• Kunal Taneja and Tao Xie. DiffGen: Automated Regression Unit-Test Generation. In Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), Short Paper, L'Aquila, Italy, pp. 407-410, September 2008. [PDF][BibTeX]
• Nuo Li, JeeHyun Hwang, and Tao Xie. Multiple-Implementation Testing for XACML Implementations. In Proceedings of the Workshop on Testing, Analysis and Verification of Web Software (TAV-WEB 2008), Seattle, WA, pp. 27-33, July 2008. [PDF][BibTeX]
• 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]
• 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]
• 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]
• 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.
• Tao Xie and David Notkin. Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences. In Proceedings of the 20th IEEE International Conference on Software Maintenance (ICSM 2004), Chicago, Illinois, pp. 28-37, September 2004. [PDF][BibTeX][Slides]
• Selected as one of the Best Papers that are invited to submit to IEEE Transactions on Software Engineering
• An extended version appeared in a special issue of IEEE Transactions on Software Engineering.
• Tao Xie and David Notkin. Macro and Micro Perspectives on Strategic Software Quality Assurance in Resource Constrained Environments. In Proceedings of the 4th International Workshop on Economics-Driven Software Engineering Research (EDSER-4), Orlando, Florida, pp. 66-70, May 2002. [PDF][BibTeX]

Mutation Testing/Analysis

• Kai Pan, Xintao Wu and Tao Xie. Automatic Test Generation for Mutation Testing on Database Applications. In Proceedings of the 8th International Workshop on Automation of Software Test (AST 2013), San Francisco, CA, May 2013. [PDF][BibTeX]
• Lingming Zhang, Tao Xie, Lu Zhang, Nikolai Tillmann, Jonathan de Halleux, and Hong Mei. Test Generation via Dynamic Symbolic Execution for Mutation Testing. In Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), Timișoara, Romania, September 2010. [PDF][BibTeX]
• Lu Zhang, Shan-Shan Hou, Jun-Jue Hu, Tao Xie, Hong Mei. Is Operator-Based Mutant Selection Superior to Random Mutant Selection? In Proceedings of the 32nd International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, pp. 435-444, May 2010. [PDF][BibTeX]
• Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte. Mutation Analysis of Parameterized Unit Tests. In Proceedings of the 4th International Workshop on Mutation Analysis (Mutation 2009), Denver, Colorado, pp. 177-181, April 2009. [PDF][BibTeX]
• 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]
• Evan Martin and Tao Xie. A Fault Model and Mutation Testing of Access Control Policies. In Proceedings of the 16th International Conference on World Wide Web (WWW 2007), Security, Privacy, Reliability, and Ethics Track, Banff, Alberta, Canada, pp. 667-676, May 2007. [PDF][BibTeX]

Testing Mobile Applications

• Wei Yang, Mukul Prasad, and Tao Xie. A Grey-box Approach for Automated GUI-Model Generation of Mobile Applications. In Proceedings of International Conference on Fundamental Approaches to Software Engineering (FASE 2013), Rome, Italy, March 2013. [PDF][BibTeX]

Testing Cloud Applications

• Linghao Zhang, Xiaoxing Ma, and Jian Lu, Tao Xie, Nikolai Tillmann, Jonathan de Halleux. Environment Modeling for Automated Testing of Cloud Applications. IEEE Software, Special Issue on Software Engineering for Cloud Computing, Volume 29, Issue 2, pages 30-35, 2012. [PDF][BibTex]

Testing Database Applications

• Kai Pan, Xintao Wu and Tao Xie. Automatic Test Generation for Mutation Testing on Database Applications. In Proceedings of the 8th International Workshop on Automation of Software Test (AST 2013), San Francisco, CA, May 2013. [PDF][BibTeX]
• Kai Pan, Xintao Wu, and Tao Xie. Guided Test Generation for Database Applications via Synthesized Database Interactions. ACM Transactions on Software Engineering and Methodology, 2013. [BibTeX]
• Kai Pan, Xintao Wu, and Tao Xie. Generating Program Inputs for Database Application Testing. In Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, Kansas, pages 73-82, November 2011. [PDF][BibTeX]
• Kunal Taneja, Mark Grechanik, Rayid Ghani, and Tao Xie. Testing Software In Age Of Data Privacy: A Balancing Act. In Proceedings of the 8th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2011), Szeged, Hungary, pages 201-211, September 2011. [PDF][BibTeX]
• Kai Pan, Xintao Wu, and Tao Xie. Database State Generation via Dynamic Symbolic Execution for Coverage Criteria. In Proceedings of the 4th International Workshop on Testing Database Systems (DBTest 2011), Athens, Greece, pages 4-9, June 2011. [PDF][BibTeX]
• Kunal Taneja, Yi Zhang, and Tao Xie. MODA: Automated Test Generation for Database Applications via Mock Objects. In Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), Short Paper, Antwerp, Belgium, pages 289-292, September 2010. [PDF][BibTeX]

Testing Web Applications/Online Service Systems

• Wujie Zheng, Hao Ma, Michael R. Lyu, Tao Xie, and Irwin King. Mining Test Oracles of Web Search Engines. In Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Short Paper, Lawrence, Kansas, pages 408-411, November 2011. [PDF][BibTeX]
• Nuo Li, Tao Xie, Maozhong Jin, and Chao Liu. Perturbation-based User-Input-Validation Testing of Web Applications. Journal of Systems and Software. Volume 83, Issue 11, pages 2263-2274, November 2010. [BibTeX]
• Evan Martin, Suranjana Basu, and Tao Xie. Automated Testing and Response Analysis of Web Services. In Proceedings of the IEEE International Conference on Web Services (ICWS 2007), Application Services and Industry Track, Salt Lake City, Utah, pp. 647-654, July 2007. [PDF][BibTeX]
• A previous version appeared in Proceedings of SOAWS 2006.
• Evan Martin, Suranjana Basu, and Tao Xie. WebSob: A Tool for Robustness Testing of Web Services. In Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), Companion Volume, Informal Research Demonstrations, Minneapolis, MN, pp. 65-66, May 2007. [PDF][BibTeX]
• Evan Martin, Suranjana Basu, and Tao Xie. Automated Robustness Testing of Web Services. In Proceedings of the 4th International Workshop on SOA And Web Services Best Practices (SOAWS 2006), Portland, OR, October 2006. [PDF][BibTeX]

Testing Environment-Dependent (Cyber-Physical/Embedded/File-System) Software

• John J. Majikes, Rahul Pandita, and Tao Xie. Literature Review of Testing Techniques for Medical Device Software. In Proceedings of the 4th Workshop on Medical Cyber-Physical Systems (MCPS 2013), Philadelphia, PA, April 2013. [PDF][BibTeX]
• Shing-chi Cheung, Tao Xie, Donggang Cao, and Lu Zhang. Testing Embedded System Software. Communications of the CCF (in Chinese), Vol. 8, No. 2, pages 33-38, February 2012. [PDF][BibTex]
• Kunal Taneja, Yi Zhang, and Tao Xie. MODA: Automated Test Generation for Database Applications via Mock Objects. In Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), Short Paper, Antwerp, Belgium, pages 289-292, September 2010. [PDF][BibTeX]
• Madhuri R Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte. An Empirical Study of Testing File-System-Dependent Software with Mock Objects. In Proceedings of the 4th International Workshop on Automation of Software Test (AST 2009), Business and Industry Case Studies, Vancouver, Canada, pp. 149-153, May 2009. [PDF][BibTeX]

Testing and Analysis of Aspect-Oriented Software

• Mark Harman, Fayezin Islam, Tao Xie, and Stefan Wappler. Automated Test Data Generation for Aspect-Oriented Programs. In Proceedings of the 8th International Conference on Aspect-Oriented Software Development (AOSD 2009), Charlottesville, Virginia, pp. 185-196, March 2009. [PDF][BibTeX]
• Prasanth Anbalagan and Tao Xie. Automated Generation of Pointcut Mutants for Testing Pointcuts in AspectJ Programs. In Proceedings of the 19th IEEE International Conference on Software Reliability Engineering (ISSRE 2008), Seattle, WA, pp. 239-248, November 2008. [PDF][BibTeX]
  • A previous version appeared in Proceedings of Mutation 2006.
• Prasanth Anbalagan and Tao Xie. Automated Inference of Pointcuts in Aspect-Oriented Refactoring. In Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, pp. 127-136, May 2007. [PDF][BibTeX]
  • A previous version appeared in Supplemental Proceedings of FSE 2006 Poster Session.
• Tao Xie and Jianjun Zhao. Perspectives on Automated Testing of Aspect-Oriented Programs. In Proceedings of the 3rd Workshop on Testing Aspect-Oriented Programs (WTAOP 2007), Vancouver, Canada, pp. 7-12, March 2007. [PDF][BibTeX]
• Tao Xie, Jianjun Zhao, Darko Marinov, and David Notkin. Detecting Redundant Unit Tests for AspectJ Programs. In Proceedings of the 17th IEEE International Conference on Software Reliability Engineering (ISSRE 2006), Raleigh, NC, pp. 179-188, November 2006. [PDF][BibTeX]
• Tao Xie and Jianjun Zhao. A Framework and Tool Supports for Generating Test Inputs of AspectJ Programs. In Proceedings of the 5th International Conference 307-318on Aspect-Oriented Software Development (AOSD 2006), Bonn, Germany, pp. 190-201, March 2006. [PDF][BibTeX]
• A previous version appeared in Proceedings of WTAOP 2005.
• Prasanth Anbalagan and Tao Xie. APTE: Automated Pointcut Testing for AspectJ Programs. In Proceedings of the 2nd Workshop on Testing Aspect-Oriented Programs (WTAOP 2006), Portland, Maine, pp. 27-32, July 2006. [PDF][BibTeX]
• 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]

Testing Software Design

• Yuanfang Cai, Sunny Huynh, and Tao Xie. A Framework and Tool Supports for Testing Modularity of Software Design. In Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), Short Paper, Atlanta, Georgia, pp. 441-444, November 2007. [PDF][BibTeX]