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

Publications by Types
Selected Publications
DBLP   Google Scholar

Current funding: NSF SoD (3 yrs), NSF CyberTrust (3 yrs), IBM Faculty Award (gift), IBM Jazz Award (gift), Microsoft Research (gift), ABB Research (gift, gift)
Past funding:  NSF CSR (1 yr), 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 ARO, 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 2009 (C2: 2 in RC) 2008(J1;C15: 10 in RC; W4)   2007(C12: 8 in RC; W5)   2006(J1;C14: 7 in RC;W7)    2005(J1;C3;W2)    2004(C4;W1)    2003(C1;W2)    2002(J1;W1)    2001~(J2;C2) [J: Journals; C: Conferences (RC: Research Paper Tracks); W: Workshops]

      2009

        Conferences (2):

1. Suresh Thummalapenta and Tao Xie.
   Mining Exception-Handling Rules as Conditional Association Rules.
   To appear in Proceedings of the 31st International Conference on Software Engineering
   (ICSE 2009), Vancouver, Canada, May 2009.
   Download: [BibTeX]
   
   
2. Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, and Jiasu Sun.
   Locating Need-to-Translate Constant Strings for Software Internationalization.
   To appear in Proceedings of the 31st International Conference on Software Engineering
   (ICSE 2009), Vancouver, Canada, May 2009.
   Download: [BibTeX]
   
   
   2008
   
   Journals (1):
   
3. 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 (15: 10 in research paper tracks):
   
   
4. Vincent Hu, Richard Kuhn, and Tao Xie.
   Property Verification for Generic Access Control Models.
   In Proceedings of IEEE/IFIP International Symposium on Trust, Security and Privacy for Pervasive Applications
   (TSP 2008), Shanghai, China, December 2008.
   Download: [BibTeX]
   
   
5. Evan Martin, JeeHyun Hwang, Tao Xie, and Vincent Hu.
   Assessing Quality of Policy Properties in Verification of Access Control Policies.
   In Proceedings of 24th Annual Computer Security Applications Conference
   (ACSAC 2008), Anaheim, California, December 2008.
   Download: [PDF][BibTeX]
   
   
6. 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, November 2008.
   Download: [PDF][BibTeX]
   A previous version appeared in Proceedings of Mutation 2006.
   
   
7. 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: [PDF][BibTeX]
   
   
8. 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]
   
   
9. 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.
   
   
10. 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][Slides][BibTeX]
    A previous version appeared in Proceedings of ASE 2007 as a Short Paper.
    
    
11. 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][Poster][BibTeX]
    
    
12. 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]
    
    
13. 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
    
    
14. 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]
    
    
15. Suresh Thummalapenta and Tao Xie.
    NEGWeb: Detecting Neglected Conditions via Mining Programming Rules from Open Source Code.
    Presented as a Student Poster at International Symposium on Software Testing and Analysis
    (ISSTA 2008), Seattle, Washington, July 2008.
    Download: [BibTex]
    
    
16. Tevfik Bultan and Tao Xie.
    Workshop on Testing, Analysis and Verification of Web Software (TAV-WEB 2008).
    In Proceedings of the 2008 international Symposium on Software Testing and Analysis
    (ISSTA 2008), Seattle, Washington, pp. 311-312, July 2008.
    Download: [PDF][BibTex]
    
    
17. 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.
    
    
18. Ahmed E. Hassan and Tao Xie.
    Mining Software Engineering Data.
    Presented at the 30th International Conference on Software Engineering
    (ICSE 2008), Tutorials, Leipzig, Germany, May 2008.
    Download: [Tutorial Web][BibTeX]
    
    Workshops (4):
    
    
19. 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]
    
    
20. 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.
    Download: [PDF][BibTeX]
    
    
21. Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte.
    Method-Sequence Exploration for Automated Unit Testing of Object-Oriented Programs.
    Presented at the Workshop on State-Space Exploration for Automated Testing
    (SSEAT 2008), Seattle, WA, July 2008.
    Download: [PDF][BibTeX]
    
    
22. 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]
    
    Others (1):
    
    
23. Tao Xie, Nikolai Tillmann, Peli de Halleux, and Wolfram Schulte.
    Fitness-Guided Path Exploration in Dynamic Symbolic Execution.
    Microsoft Research TechReport MSR-TR-2008-123. September 2008.
    Download: [PDF][BibTeX]
    
    
    2007
    
    Conferences (12: 8 in research paper tracks):
    
    
24. 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]
    
    
25. 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]
    
    
26. Kobi Inkumsah and Tao Xie.
    Evacon: A Framework for Integrating Evolutionary and Concolic Testing for Object-Oriented Programs.