Tao Xie's Selected Publications

Also see Tao Xie's Research Group    Presentations/Posters
  How is our research work related to software industry?
The Yangtse Project on Automated Software Testing in the Absence of Specification
The Mose Project on Mining Open Source Software Engineering Data
Software Engineering Conferences     Software Testing Researchers     Tools and Tips for Writing Papers

Publications by Years
Publications by Research Categories
Publications by Types
DBLP   Google Scholar

Current funding: NSF SoD (3 yrs), NSF CyberTrust (3 yrs), NSF CSR (1 yr), Microsoft Research (gift), ABB Research (gift, gift)
Past funding: ARO STIR (9 mons), CACC (1 yr, 1 yr), NCSU FRPD (1 yr)
Funded projects:
     Improving Software Productivity and Quality via Mining Program Source Code funded by NSF CSR, ARO STIR
      Software Testing and Analysis for Software Evolution funded by NSF SoD
      Testing and Verification of Security Policies funded by NSF CyberTrust

• [SIGMETRICS 08] Alex X. Liu, Fei Chen, JeeHyun Hwang, and Tao Xie. XEngine: A Fast and Scalable XACML Policy Evaluation Engine. To appear in Proceedings of the International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS 2008), Annapolis, Maryland, June 2008. [PDF][BibTeX]
• [ICSE 08] Xiaoyin Wang, Lu Zhang, Tao Xie, John Anvik, and Jiasu Sun. An Approach to Detecting Duplicate Bug Reports using Natural Language and Execution Information. In Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, pp. 461-470, May 2008. [PDF][BibTeX]
• [TOSEM 08] Christoph Csallner, Yannis Smaragdakis, and Tao Xie. DSD-Crasher: A hybrid analysis tool for bug finding. ACM Transactions on Software Engineering and Methodology, Vol. 17, Issue 2, pp. 345-371, July 2008. [PDF][BibTeX]
• [ASE 07] Suresh Thummalapenta and Tao Xie. PARSEWeb: A Programmer Assistant for Reusing Open Source Code on the Web. In Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), Atlanta, Georgia, pp. 204-213, November 2007. [PDF][BibTeX]
  
• [ESEC/FSE 07] Mithun Acharya, Tao Xie, Jian Pei, and Jun Xu. Mining API Patterns as Partial Orders from Source Code: From Usage Scenarios to Specifications. In Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2007), Dubrovnik, Croatia, pp. 25-34, September, 2007. [PDF][BibTeX]
• [ICSE 07] 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]
• [WWW 07] 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]
• [ASEJ 06] 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]
• [ICICS 06] Evan Martin, Tao Xie, and Ting Yu. Defining and Measuring Policy Coverage in Testing Access Control Policies. In Proceedings of the 8th International Conference on Information and Communications Security (ICICS 2006), Raleigh, NC, pp. 139-158, December 2006. [PDF][BibTeX]
  
• [ISSRE 06] Mithun Acharya, Tao Xie, and Jun Xu. Mining Interface Specifications for Generating Checkable Robustness Properties. In Proceedings of the 17th IEEE International Conference on Software Reliability Engineering (ISSRE 2006), Raleigh, NC, pp. 311-320, November 2006. [PDF][BibTeX]
• [ASE 06] 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]
• [ASE 06] Mithun Acharya, Tanu Sharma, Jun Xu, and Tao Xie. Effective Generation of Interface Robustness Properties for Static Analysis. In Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), Short Paper, Tokyo, Japan, pp. 293-296, September 2006. [PDF][BibTeX]
• [ECOOP 06] 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]
• [MSR 06] Tao Xie and Jian Pei. MAPO: Mining API Usages from Open Source Repositories. In Proceedings of the 3rd International Workshop on Mining Software Repositories (MSR 2006), Shanghai, China, pp. 54-57, May 2006. [PDF][BibTeX][Slides]
• [AOSD 06] Tao Xie and Jianjun Zhao. A Framework and Tool Supports for Generating Test Inputs of AspectJ Programs. In Proceedings of the 5th International Conference on Aspect-Oriented Software Development (AOSD 2006), Bonn, Germany, pp. 190-201, March 2006. [PDF][BibTeX]
• [TSE 05] 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]
• [ISSRE 05] 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]
• [ICSE 05] Amir Michail and Tao Xie. Helping Users Avoid Bugs in GUI Applications. In Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), St. Louis, Missouri, USA,  pp. 107-116, May 2005. [PDF][BibTeX][Slides] 
• [TACAS 05] 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]
• [ICFEM 04] 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]
• [ASE 04] 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]
• [FATES 03] 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]

Maintained by