Publications by Research Categories    Publications by Types    Selected Publications
DBLP, Google Scholar, Microsoft Libra, ACM Author

Publications by Years 2010 (J2;) 2009 (J2; C20: 13 in RC; W4) 2008(J1;C14: 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]

      2010
        
        Journals (2):

1. Dan Hao, Tao Xie, Lu Zhang, Xiaoyin Wang, Jiasu Sun, and Hong Mei.
   Test Input Reduction for Result Inspection to Facilitate Fault Localization.
   To appear in Automated Software Engineering Journal.
   Download: [BibTeX]
   
   
2. Vincent Hu, Richard Kuhn, Tao Xie, and JeeHyun Hwang.
   Model Checking for Verification of Mandatory Access Control Models and Properties.
   To appear in International Journal of Software Engineering and Knowledge Engineering.
   Download: [BibTeX]
   
   2009
           
   Journals/Magazines (2):
   
   
3. Tao Xie, Suresh Thummalapenta, David Lo, and Chao Liu.
   Data Mining for Software Engineering.
   IEEE Computer, 42(8), pp.35-42, August 2009.
   Download: [PDF][BibTeX]
   
   
4. Stephen Thomas, Laurie Williams, and Tao Xie.
   On Automated Prepared Statement Generation to Remove SQL Injection Vulnerabilities.
   Information and Software Technology, Volume 51, Issue 3, Pages 589-598, March 2009.
   Download: [PDF][BibTeX]
   
   Conferences (20: 13 in research paper tracks):
   
   
5. Suresh Thummalapenta and Tao Xie.
   Alattin: Mining Alternative Patterns for Detecting Neglected Conditions.
   To appear in Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering
   (ASE 2009), Auckland, New Zealand, November 2009.
   Download: [PDF][BibTeX]
   
   
6. Hao Zhong, Lu Zhang, Tao Xie, and Hong Mei.
   Inferring Resource Specifications from Natural Language API Documentation.
   To appear in Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering
   (ASE 2009), Auckland, New Zealand, November 2009.
   Best Paper Award and ACM SIGSOFT Distinguished Paper Award
   Download: [PDF][BibTeX]
   
   
7. Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte.
   Reggae: Automated Test Generation for Programs using Complex Regular Expressions.
   To appear in Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering
   (ASE 2009), Short Paper, Auckland, New Zealand, November 2009.
   Download: [PDF][BibTeX]
   
   
8. JeeHyun Hwang, Tao Xie, Fei Chen, and Alex X. Liu.
   Fault Localization for Firewall Policies.
   In Proceedings of the 28th IEEE International Symposium on Reliable Distributed Systems
   (SRDS 2009), Short Paper, Niagara Falls, New York, pp. 100-106, September 2009.
   Download: [PDF][BibTeX]
   
   
9. Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Peli de Halleux, and Wolfram Schulte.
   MSeqGen: Object-Oriented Unit-Test Generation via Mining Source Code.
   To appear 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, August 2009.
   Download: [PDF][BibTeX]
   
   
10. 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.
    Download: [PDF][BibTeX]
    
    
11. JeeHyun Hwang, Tao Xie, and Vincent C. Hu.
    Detection of Multiple-Duty-Related Security Leakage in Access Control Policies.
    In Proceedings of the 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement
    (SSIRI 2009), Shanghai, China, pp. 59-68, July 2009.
    Download: [PDF][BibTeX]
    
    
12. Hao Zhong, Tao Xie, Lu Zhang, Jian Pei, and Hong Mei.
    MAPO: Mining and Recommending API Usage Patterns.
    In Proceedings of the 23rd European Conference on Object-Oriented Programming
    (ECOOP 2009), Genova, Italy, 318-343, July 2009.
    Download: [PDF][BibTeX]
    
    
13. Tao Xie, Nikolai Tillmann, Peli de Halleux, and Wolfram Schulte.
    Fitness-Guided Path Exploration in Dynamic Symbolic Execution.
    To appear in Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks
    (DSN 2009), Lisbon, Portugal, June-July 2009.
    Download: [PDF][Slides][BibTeX]
    
    
14. Suresh Thummalapenta and Tao Xie.
    Mining Exception-Handling Rules as Sequence Association Rules.
    In Proceedings of the 31st International Conference on Software Engineering
    (ICSE 2009), Vancouver, Canada, pp. 496-506, May 2009.
    Download: [PDF][BibTeX]
    
    
15. Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, and Jiasu Sun.
    Locating Need-to-Translate Constant Strings for Software Internationalization.
    In Proceedings of the 31st International Conference on Software Engineering
    (ICSE 2009), Vancouver, Canada, pp. 353-363, May 2009.
    Download: [PDF][BibTeX]
    
    
16. Mithun Acharya and Tao Xie.
    Mining API Error-Handling Specifications from Source Code.
    In Proceedings of International Conference on Fundamental Approaches to Software Engineering
    (FASE 2009), York, UK, pp. 370-384, March 2009.
    Download: [PDF][BibTeX]
    
    
17. 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.
    Download: [PDF][Slides][BibTeX]
    
    Other Conference Tracks
    
    
18. Nikolai Tillmann, Jonathan de Halleux, Tao Xie, and Wolfram Schulte.
    Parameterized Unit Testing: Principles, Techniques, and Applications in Practice.
    To be presented at ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
    (OOPSLA 2009), Tutorials, Orlando, Florida, October 2009.
    Download: [BibTeX]
    
    
19. Lingshuang Shao, Junfeng Zhao, Tao Xie, Lu Zhang, Bing Xie, and Hong Mei.
    User-Perceived Service Availability: A Metric and an Estimation Approach.
    In Proceedings of the IEEE International Conference on Web Services
    (ICWS 2009), Application and Industry Track, Los Angeles, CA, July 2009.
    Download: [PDF][BibTeX]
    
    
20. Wujie Zheng, Michael R. Lyu, and Tao Xie.
    Test Selection for Result Inspection via Mining Predicate Rules.
    In Companion Proceedings of the 31st International Conference on Software Engineering
    (ICSE 2009), New Ideas and Emerging Results, Vancouver, Canada, pp. 219-222, May 2009.
    Download: [PDF][BibTeX]
    
    
21. Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte.
    Guided Path Exploration for Regression Test Generation.
    In Companion Proceedings of the 31st International Conference on Software Engineering
    (ICSE 2009), New Ideas and Emerging Results, Vancouver, Canada, pp. 311-314, May 2009.
    Download: [PDF][BibTeX]
    
    
22. Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, and Jiasu Sun.
    TranStrL: An Automatic Need-to-Translate String Locator for Software Internationalization.
    In Proceedings of the 31st International Conference on Software Engineering
    (ICSE 2009), Formal Demonstration, Vancouver, Canada, pp. 555-558, May 2009.
    Download: [PDF][BibTeX]
    
    
23. Nikolai Tillmann, Jonathan de Halleux, Tao Xie, and Wolfram Schulte.
    Parameterized Unit Testing: Principles, Techniques, and Applications in Practice.
    Presented at the 31st International Conference on Software Engineering
    (ICSE 2009), Tutorials, Vancouver, Canada, May 2009.
    Download: [BibTeX]
    
    
24. Tao Xie and Ahmed E. Hassan.
    Mining Software Engineering Data.
    Presented at the 31st International Conference on Software Engineering
    (ICSE 2009), Tutorials, Vancouver, Canada, May 2009.
    Download: [Tutorial Web][BibTeX]
    
    
    Workshops (4): 
    
    
25. 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.
    Download: [PDF][BibTeX]
    
    
26. Madhuri R Marri, Suresh Thummalapenta, and Tao Xie.
    Improving Software Quality via Code Searching and Mining.
    In Proceedings of the First International Workshop on Search-Driven Development – Users, Infrastructure, Tools and Evaluation
    (SUITE 2009), Vancouver, Canada, pp. 33-36, May 2009.
    Download: [PDF][BibTeX]
    
    
27. 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.
    Download: [PDF][Slides][BibTeX]
    
    
28. Ting Yu, Dhivya Sivasubramanian, and Tao Xie.
    Security Policy Testing via Automated Program Code Generation (Extended Abstract).
    In Proceedings of Cyber Security and Information Intelligence Research Workshop
    (CSIIRW 2009), Oak Ridge, TN, pp. 1-4, April 2009.
    Download: [PDF][BibTeX]
    
    Others (1):
    
    
29. Tao Xie.
    Improving Automation in Developer Testing: State of the Practice.
    North Carolina State University Department of Computer Science Technical report TR-2009-6, February 20, 2009.
    Download: [PDF][BibTex]
    
    
    2008
    
    Journals (1):
    
    
30. 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):
    
    
31. 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, pp. 243-250, December 2008.
    Download: [PDF][BibTeX]
    
    
32. 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, pp. 163-172, December 2008.
    Download: [PDF][BibTeX]
    
    
33. 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.
    Download: [PDF][BibTeX]
    A previous version appeared in Proceedings of Mutation 2006.
    
    
34. JeeHyun Hwang, Tao Xie, Fei Chen, and Alex X. Liu.
    Systematic Structural Testing of Firewall Policies.
    In Proceedings of the 27th IEEE International Symposium on Reliable Distributed Systems
    (SRDS 2008), Napoli, Italy, pp. 105-114, October 2008.
    Download: [PDF][BibTeX]
    
    
35. 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.
    Download: [PDF][BibTeX]
    
    
36. Suresh Thummalapenta and Tao Xie.
    SpotWeb: Detecting Framework Hotspots and Coldspots via Mining Open Source Code on the Web.
    In Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering
    (ASE 2008), L'Aquila, Italy, pp. 327-336, September 2008.
    Download: [PDF][BibTeX]
    A previous version appeared in Proceedings of MSR 2008 as a Position Paper.
    
    
37. 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.
    Download: [PDF][Slides][BibTeX]
    A previous version appeared in Proceedings of ASE 2007 as a Short Paper.
    
    
38. 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.
    Download: [PDF][Poster][BibTeX]
    
    
39. 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]
    
    
40. 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
    
    
41. Lingshuang Shao, Lu Zhang, Tao Xie, Junfeng Zhao, Bing Xie, and Hong Mei.
    Dynamic Availability Estimation for Service Selection Based on Status Identification.
    In Proceedings of the IEEE International Conference on Web Services
    (ICWS 2008), Application Services and Industry Track, Beijing, China, pp. 645-652, September 2008.
    Download: [PDF][BibTeX]
    
    
42. 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]
    
    
43. 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.
    
    
44. 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):
    
    
45. Alessandro Orso and Tao Xie.
    BERT: BEhavioral Regression Testing.
    In Proceedings of the International Workshop on Dynamic Analysis
    (WODA 2008), Seattle, WA, pp. 36-42, July 2008.
    Download: [PDF][BibTeX]
    
    
46. 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]
    
    
47. 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: [BibTeX]
    
    
48. 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):
    
    
49. 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]
    
    
50. 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]
    
    
51. 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]
    
    
52. 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]
    
    
53. 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]
    
    
54. 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]
    
    
55. 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.
    
    
56. 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
    
    
57. Chao Liu, Tao Xie, and Jiawei Han.
    Mining for Software Reliability.
    Presented at the 2007 IEEE International Conference on Data Mining
    (ICDM 2007), Tutorials, Omaha, NE, October 2007.
    Download: [Tutorial Web][BibTeX]
    
    
58. 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.
    
    
59. 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]
    
    
60. 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):

61. 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, pp. 26-30, October 2007. 
    Best Student Paper Award
    Download: [PDF][BibTeX]
    
    
62. 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]
    
    
63. 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]
    
    
64. 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]
    
    
65. 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):
    
    
66. 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]
    
    

2006

Journals (1):

67. 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):
    
    
68. 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]
    
    
69. 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]
    
    
70. 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]
    
    
71. 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.
    Nominated for the Best Paper Award
    Download: [PDF][BibTeX]
    
    
72. 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]
    
    
73. 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]
    
    
74. 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.
    
    
Other Conference Tracks


75. 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.
    
    
76. 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]
    
    
77. 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
    
    
78. 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
    
    
79. Tao Xie and Jian Pei.
    Data Mining for Software Engineering.
    Presented at the 12th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining
    (KDD 2006), Tutorial, Philadelphia, Pennsylvania, August 2006.
    Download: [Tutorial Web][Slides][BibTeX]
    
    
80. 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]
    
    
81. Evan Martin and Tao Xie.
    Understanding Software Application Interfaces via String Analysis. 
    In Proceedings of the 28th International Conference on Software Engineering
    (ICSE 2006), Emerging Results Track, Shanghai, China, pp. 901-904, May 2006.
    Download: [PDF][BibTeX]


Workshops (7):


82. Prasanth Anbalagan and Tao Xie.
    Efficient Mutant Generation for Mutation Testing of Pointcuts in Aspect-Oriented Programs.
    In Proceedings of the 2nd Workshop on Mutation Analysis
    (MUTATION 2006), Raleigh, NC, pp. 51-56, November 2006.
    Download: [PDF][BibTeX]
    An extended version appeared in Proceedings of ISSRE 2008.
    
    
83. 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.
    Download: [PDF][BibTeX]
    
    
84. 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.
    Download: [PDF][BibTeX]
    
    
85. 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.
    Download: [PDF][BibTeX]
    
    
86. Evan Martin and Tao Xie.
    Inferring Access-Control Policy Properties via Machine Learning.
    In Proceedings of the 7th IEEE Workshop on Policies for Distributed Systems and Networks 
    (POLICY 2006), London, Ontario Canada, pp. 235-238, June 2006.
    Download: [PDF][BibTeX]
    
    
87. 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.
    Download: [PDF][BibTeX][Slides]
    
    
88. 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.
    Download: [PDF][BibTeX][Slides]
    
    Others:
    
    
89. Yonghee Shin, Laurie Williams, and Tao Xie.
    SQLUnitGen: Test Case Generation for SQL Injection Detection.
    North Carolina State University Department of Computer Science Technical report TR-2006-21, August 06, 2006.
    Download: [PDF][BibTex]
    A shorter version appeared in In Supplemental Proceedings of ISSRE 2006
    
    
    2005
    
    Journals (1):
    
    
90. 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. 
    Download: [PDF][BibTeX]
    A previous version appeared in Proceedings of ICSM 2004.
    
    Conferences (3):
    


91. 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.
    Download: [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.
    
    
92. 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.
    Download: [PDF][BibTeX][Slides] 
    
    
93. 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.
    Download: [PDF][BibTeX][Slides]
    
    
Workshops (2):


94. 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.
    Download: [PDF][BibTeX][Slides]
    
    
95. Tao Xie, Jianjun Zhao, Darko Marinov, and David Notkin. 
    Automated Test Generation for AspectJ Programs. 
    In Proceedings of the AOSD 2005 Workshop on Testing Aspect-Oriented Programs
    (WTAOP 2005), Chicago, March 2005.
    Download: [PDF][BibTeX][Slides]
    An extended version appeared in Proceedings of AOSD 2006.
    
    
Others (2):


96. Tao Xie.
    Improving Effectiveness of Automated Software Testing in the Absence of Specifications.
    Ph.D. dissertation, University of Washington Department of Computer Science and Engineering, (Seattle, Washington), August 2005.
    Chair of Supervisory Committee: David Notkin 
    Supervisory Committee: Richard Anderson, Craig Chambers, David Notkin, and Wolfram Schulte (Microsoft Research)
    Download: [Abstract][PDF][BibTeX]
    A summary appeared in Proceedings of ICSM 2006 Dissertation Forum
    
    
97. Tao Xie.
    Automatic Identification of Common and Special Object-Oriented Unit Tests.
    The 3rd Place of 2005 ACM Student Research Competition Grand Finals 
    (ACM SRC 2005), San Francisco, CA, 11 June 2005.
    Download: [PDF][BibTeX] 
    A previous version won the 3rd Place of 2004 ACM SIGPLAN Student Research Competition and appeared in Proceedings of OOPSLA 2004 Companion.
    An extended version appeared in Proceedings of ISSRE 05.
    
    2004
    
    Conferences (4: 3 in research tracks):
    
    
98. 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.
    Download: [PDF][BibTeX][Slides]
    
    
99. 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.
    Download: [PDF][BibTeX][Slides] 
    A previous version appeared as UW-CSE-04-01-05 technical report.
    
    
100. 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.
     Selected as one of the Best Papers that are invited to submit to IEEE Transactions on Software Engineering
     Download: [PDF][BibTeX][Slides]
     An extended version appeared in a special issue of IEEE Transactions on Software Engineering.
     
     Other Conference Tracks
     
     
101. Tao Xie.
     Automatic Identification of Common and Special Object-Oriented Unit Tests.
     In Proceedings of the 17th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (Companion) 
     (OOPSLA 2004 Companion), Vancouver, Canada, pp. 324-325, October 2004.
     The 3rd Place of 2004 ACM SIGPLAN Student Research Competition
     Download: [PDF][BibTeX][Poster][Slides][Award Web]
     An extended version won the 3rd Place of 2005 ACM Student Research Competition Grand Finals.
     An extended version appeared in Proceedings of ISSRE 05.
     
     Workshops (1):
     


102. 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.
     Download: [PDF][BibTeX][Slides]
     
     Others (1):
     

103. Tao Xie, Darko Marinov, and David Notkin. 
     Improving Generation of Object-Oriented Test Suites by Avoiding Redundant Tests. 
     University of Washington Department of Computer Science and Engineering technical report UW-CSE-04-01-05, (Seattle, WA), January 2004. 
     Download: [PDF][BibTeX]
     An extended version appeared in Proceedings of ASE 2004.
     
     2003
     
     Conferences (1):

104. 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. 
     Nominated for the Best Paper Award
     Download: [PDF][BibTeX][Slides] 
     An extended version appeared in a special issue of Automated Software Engineering Journal.
     A previous workshop version appeared in Proceedings of WODA 2003.
     
     Workshops (2)


105. 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.  
     Download: [PDF][BibTeX][Slides]
     
     
106. Tao Xie and David Notkin.
     Exploiting Synergy between Testing and Inferred Partial Specifications. 
     In Proceedings of ICSE 2003 Workshop on Dynamic Analysis
     (WODA 2003), Portland, Oregon, pp. 17-20, May 2003.
     Download: [PDF][BibTeX][Slides]
     An extended journal version appeared in a special issue of Automated Software Engineering Journal.
     An extended conference version appeared in Proceedings of ASE 2003.
     A previous (longer) version appeared as University of Washington Department of Computer Science and Engineering technical report UW-CSE-03-04-02, (Seattle, WA), April 2003. [PDF]
     
     Others (1)


107. Tao Xie. 
     Software Component Protocol Inference. 
     General Examination Report, University of Washington Department of Computer Science and Engineering, (Seattle, WA), June 2003. 
     Download: [PDF][BibTeX][Slides]
     
     2002
     
     
Journals (1):


108. Hong Mei, Tao Xie, and Fuqing Yang. 
     A Model-based Approach to Object-Oriented Software Metrics. 
     Journal of Computer Science and Technology, Vol.17, No.6, pp.757-769, November 2002. 
     Download: [PDF][BibTeX]
     
     
Workshops (1):


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


110. Tao Xie and David Notkin.
     An Empirical Study of Java Dynamic Call Graph Extractors.
     University of Washington Department of Computer Science and Engineering technical report UW-CSE-02-12-03, (Seattle, WA), December 2002. 
     Download: [PDF][BibTeX]
     
     
     1998 - 2001
     
     Journals (2):
     
     
111. Hong Mei, Tao Xie, Wanghong Yuan, and Fuqing Yang. 
     Component Metrics in Jade Bird Component Library System.  
     Journal of Software, Vol. 11, No.5, pp.634-641, May 2000. 
     Download: [BibTeX]
     
     
112. Tao Xie, Wanghong Yuan, Hong Mei, and Fuqing Yang. 
     JBOOMT: Jade Bird Object-Oriented Metrics Tool.  
     Chinese Journal of Electronics, Vol. 9, No.2, pp.202-207, April 2000. 
     Download: [PDF][BibTeX]

Conferences (2):


113. Hong Mei, Tao Xie, and Fuqing Yang.
     JBOORET: an Automated Tool to Recover OO Design and Source Models. 
     In Proceedings of the 25th Anniversary Annual International Computer Software and Applications Conference 
     (COMPSAC 2001), Chicago, Illinois, pp. 71-76, October 2001. 
     Download: [PDF][BibTeX][Slides]
     
     
114.  Wanghong Yuan, Xiangkui Chen, Tao Xie, Hong Mei, and Fuqing Yang.
     C++ Program Information Database for Analysis Tools. 
     In Proceedings of the 1998 Conference on Technology of Object-Oriented Languages and Systems 
     (TOOLS 27), Beijing, China, pp. 173-180, September 1998. 
     Download: [PDF][BibTeX][Slides]
     
     
Others (1):


115. Tao Xie.
     Jade Bird Object-Oriented Software Metrics Framework and Tool Support. 
     M.S. Thesis, Department of Computer Science, Peking University, June 2000.
     Download: [BibTeX]