Tao Xie's 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 Research Categories

Research Themes Research Subareas

Publications by Types
Selected Publications
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

Publications by Years  2008(J1;C11: 7 in research paper tracks; W4)   2007(C12: 8 in research paper tracks; W5)   2006(J1;C14: 7 in research paper tracks;W7)    2005(J1;C3;W2)    2004(C4;W1)    2003(C1;W2)    2002(J1;W1)    2001~(J2;C2) [J: Journals; C: Conferences; W: Workshops]

      2008

        Journals (1):

  1. 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.
    Download: [PDF][BibTeX]


    Conferences (11: 7 in research paper tracks):

  2. JeeHyun Hwang, Tao Xie, Fei Chen, and Alex X. Liu.
    Systematic Structural Testing of Firewall Policies.
    To appear in Proceedings of the 27th IEEE International Symposium on Reliable Distributed Systems
    (SRDS 2008)    , Napoli, Italy, October 2008.
    Download: [BibTeX]

  3. 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.
    Download: [PDF][BibTeX]

  4. Suresh Thummalapenta and Tao Xie.
    SpotWeb: Detecting Framework Hotspots and Coldspots via Mining Open Source Code on the Web.
    To appear in Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering
    (ASE 2008), L'Aquila, Italy, September 2008.
    Download: [PDF][BibTeX]
    A previous version appeared in Proceedings of MSR 2008 as a Position Paper.

  5. 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.
    Download: [PDF][BibTeX]
    A previous version appeared in Proceedings of ASE 2007 as a Short Paper.

  6. 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.
    Download: [PDF][BibTeX]

  7. Alex X. Liu, Fei Chen, JeeHyun Hwang, and Tao Xie.
    XEngine: A Fast and Scalable XACML Policy Evaluation Engine.
    In Proceedings of the International Conference on Measurement and Modeling of Computer Systems
    (SIGMETRICS 2008), Annapolis, Maryland, pp. 265-276, June 2008.
    Download: [PDF][BibTeX]

  8. 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.
    Download: [PDF][BibTeX]


    Other Conference Tracks

  9. Lingshuang Shao, Lu Zhang, Tao Xie, Junfeng Zhao, Bing Xie, and Hong Mei.
    Dynamic Availability Estimation for Service Selection Based on Status Identification.
    To appear in Proceedings of the IEEE International Conference on Web Services
    (ICWS 2008), Application Services and Industry Track, Beijing, China, September 2008.
    Download: [PDF]    [BibTeX]

  10. Suresh Thummalapenta and Tao Xie.
    NEGWeb: Detecting Neglected Conditions via Mining Programming Rules from Open Source Code.
    To be presented as a Student Poster at International Symposium on Software Testing and Analysis
    (ISSTA 2008)    , Seattle, Washington, July 2008.
    Download: [BibTex]

  11. Suresh Thummalapenta and Tao Xie.
    SpotWeb: Detecting Framework Hotspots via Mining Open Source Repositories on the Web.
    In Proceedings of the 5th Working Conference on Mining Software Repositories
    (MSR 2008), Position Paper, Leipzig, Germany, pp.109-112, May 2008.
    Download: [PDF][BibTeX]
    A longer version appeared in Proceedings of ASE 2008.

  12. Ahmed E. Hassan and Tao Xie.
    Mining Software Engineering Data.
    In Proceedings of the 30th International Conference on Software Engineering
    (ICSE 2008), Tutorials, Leipzig, Germany, May 2008.
    Download:     [Tutorial Web][BibTeX]

    Workshops     (4):

  13. 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.
    Download: [PDF][BibTeX]

  14. 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.
    Download:     [PDF][BibTeX]

  15. 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.
    Download: [PDF][BibTeX]

  16. Tao Xie, Mithun Acharya, Suresh Thummalapenta, and Kunal Taneja.
    Improving Software Reliability and Productivity via Mining Program Source Code.
    In Proceedings of the NSF Next Generation Software Program Workshop at IPDPS 2008
    (NSFNGS 2008)    , Miami, Florida, pp. 1-5, April 2008.
    Download: [PDF][BibTeX]


    2007

    Conferences (12: 8 in research paper tracks):

  17. 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.
    Download: [PDF][BibTeX]

  18. 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.
    Download: [PDF][BibTeX]

  19. Kobi Inkumsah and Tao Xie.
    Evacon: A Framework for Integrating Evolutionary and Concolic Testing for Object-Oriented Programs.
    In Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering
    (ASE 2007), Short Paper, Atlanta, Georgia, pp. 425-428, November 2007.
    Download: [PDF][BibTeX]

  20. 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.
    Download: [PDF][BibTeX]

  21. 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.
    Download: [PDF][BibTeX]

  22. 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.
    Download: [PDF][BibTeX]

  23. 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.
    Download:     [PDF][BibTeX]
    A previous version appeared in Supplemental Proceedings of FSE 2006 Poster Session.

  24. 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.
    Download:     [PDF][Slides][BibTeX]

    Other Conference Tracks

  25. Chao Liu, Tao Xie, and Jiawei Han.
    Mining for Software Reliability.
    In Proceedings of the 2007 IEEE International Conference on Data Mining
    (ICDM 2007), Tutorials, Omaha, NE, October 2007.
    Download:     [Tutorial Web][BibTeX]

  26. 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.
    Download:     [PDF][BibTeX]
    A previous version appeared in Proceedings of SOAWS 2006.

  27. Tao Xie, Jian Pei, and Ahmed E. Hassan.
    Mining Software Engineering Data.
    In Proceedings of the 29th International Conference on Software Engineering
    (ICSE 2007), Companion Volume, Tutorials, Minneapolis, MN, pp. 172-173, May 2007.
    Download:     [Tutorial Web][PDF][BibTeX]
  28. 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.
    Download:     [PDF][BibTeX]


    Workshops (5)    :

  29. 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, Canada, October 2007. (Best Student Paper Award)
    Download: [PDF][BibTeX]

  30. Vincent C. Hu, Evan Martin, JeeHyun Hwang, and Tao Xie.
    Conformance Checking of Access Control Policies Specified in XACML
    In Proceedings of the 1st IEEE International Workshop on Security in Software Engineering
    (IWSSE 2007), Beijing, China, pp. 275-280, July 2007.
    Download:     [PDF][Slides][BibTeX]

  31. Evan Martin and Tao Xie.
    Automated Test Generation for Access Control Policies via Change-Impact Analysis.
    In Proceedings of the 3rd International Workshop on Software Engineering for Secure Systems
    (SESS 2007), Minneapolis, MN, pp. 5-11, May 2007.
    Download:     [PDF][BibTeX]

  32. 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.
    Download:     [PDF][BibTeX]

  33. 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.
    Download: [PDF][BibTeX]

    Others (4):

  34. Mithun Acharya and Tao Xie.
    Static Detection of API Error-Handling Bugs via Mining Source Code.
    North Carolina State University Department of Computer Science Technical report     TR-2007-35, October 15, 2007.
    Download: [PDF][BibTex]

  35. Suresh Thummalapenta and Tao Xie.
    NEGWeb: Static Defect Detection via Searching Billions of Lines of Open Source Code.
    North Carolina State University Department of Computer Science Technical report     TR-2007-24, September 16, 2007.
    Download: [PDF][BibTex]

    36. 2006

    Journals (1):

  36. 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.
    Download: [PDF][BibTeX]
    A previous version appeared in Proceedings of ASE 2003.
    A previous version appeared in Proceedings of WODA 2003.

    Conferences (14: 7 in research paper tracks):

  37. 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.
    Download: [PDF][BibTeX]

  38. 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.
    Download: [PDF][BibTeX]

  39. 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.
    Download: [PDF][BibTeX]

  40. 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.
    Download: [PDF][BibTeX]

  41. 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.
    Download: [PDF][BibTeX]

  42. 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.
    Download: [PDF][BibTeX][Slides]

  43. 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.
    Download: [PDF][BibTeX]
    A previous version appeared in Proceedings of WTAOP 2005.

    44.  Other Conference Tracks

  44. Prasanth Anbalagan and Tao Xie.
    Clamp: Automated Joinpoint Clustering and Pointcut Mining in Aspect-Oriented Refactoring.
    In     Supplemental Proceedings of  the 14th ACM SIGSOFT Symposium on Foundations of Software Engineering
    (FSE 2006), Poster Session,     Portland, Oregon, pp. 1-2, November 2006.
    Download:     [PDF][BibTeX]
    An extended version appeared in Proceedings of ICSE 2007.

  45. Evan Martin and Tao Xie.
    Automated Test Generation for Access Control Policies.
    In Supplemental Proceedings of the 17th IEEE International Conference on Software Reliability Engineering 
    (ISSRE 2006), Fast Abstracts, Raleigh, NC, November 2006.
    Download: [PDF][BibTeX]

  46. Yonghee Shin, Laurie Williams, and Tao Xie.
    SQLUnitGen: SQL Injection Testing Using Static and Dynamic Analysis.
    In Supplemental Proceedings of the 17th IEEE International Conference on Software Reliability Engineering 
    (ISSRE 2006),     Student Program, Raleigh, NC, November 2006.
    Download: [PDF][BibTeX]
    A longer version appeared as an NCSU CSC Technical Report
  47. 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.
    Download: [PDF][BibTeX][Slides]
    A full version appeared as Ph.D. Dissertation, University of Washington Department of Computer Science and Engineering

  48. Tao Xie and Jian Pei.
    Data Mining for Software Engineering.
    In Proceedings of the 12th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining
    (KDD 2006), Tutorial, Philadelphia, Pennsylvania, August 2006.
    Download: [Tutorial Web][Slides][BibTeX]

  49. 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.
    Download: [PDF][BibTeX]