Home   SE Collections   Advice Collection   Brief Bio   Research   Funding   Publications   Presentations   Software   Service   Students   Teaching   Personal   Awards 

Tao Xie - Publications by Types
ASE
How is our research work related to software industry?

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

Publications by Types   journals/magzines(10)    conferences(63: 47 in research paper tracks)    worskhops(26)    tutorials(7)  

    Journals/Magazines

  1. [ASEJ 10] 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. [BibTeX]
  2. [IJSEKE 10] 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. [BibTeX]
  3. [IEEE Computer 09] Tao Xie, Suresh Thummalapenta, David Lo, and Chao Liu. Data Mining for Software Engineering. IEEE Computer, 42(8), pp.35-42, August 2009. [PDF][BibTeX]
  4. [IST 09] 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. [PDF][BibTeX]
  5. [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]
  6. [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]
    A previous version appeared in Proceedings of ASE 2003.
    A previous version appeared in Proceedings of WODA 2003.
  7. [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]
    A previous version appeared in Proceedings of ICSM 2004.
  8. [JCST 02] 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. [PDF][BibTeX]
  9. [JOS 00] 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. [BibTeX]
  10. [CJE 00] 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. [PDF][BibTeX]

    Conferences

  1. [ASE 09] 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. [PDF][BibTeX]
  2. [ASE 09] 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. [PDF][BibTeX]
    Best Paper Award and ACM SIGSOFT Distinguished Paper Award
  3. [ASE 09] 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. [PDF][BibTeX]
  4. [SRDS 09] 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. [PDF][BibTeX]
  5. [ESEC/FSE 09] 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. [PDF][BibTeX]
  6. [ISSTA 09] 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]
  7. [SSIRI 09] 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. [PDF][BibTeX]
  8. [ECOOP 09] 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, pp. 318-343, July 2009. [PDF][BibTeX]
  9. [DSN 09] 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. [PDF][BibTeX]
  10. [ICSE 09] 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. [PDF][BibTeX]
  11. [ICSE 09] 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. [PDF][BibTeX]
  12. [FASE 09] 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. [PDF][BibTeX]
  13. [AOSD 09] 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]
  14. [TSP 08] 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. [PDF][BibTeX]
  15. [ACSAC 08] 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. [PDF][BibTeX]
  16. [ISSRE 08] 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.
  17. [SRDS 08] 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. [PDF][BibTeX]
  18. [ICSM 08] 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]
  19. [ASE 08] 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. [PDF][BibTeX]
    A previous version appeared in Proceedings of MSR 2008 as a Position Paper.
  20. [ASE 08] 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.
  21. [ASE 08] 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]
  22. [SIGMETRICS 08] 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. [PDF][BibTeX]
  23. [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]
  24. [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]
  25. [ASE 07] 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. [PDF][BibTeX]
  26. [ASE 07] 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. [PDF][BibTeX]
  27. [ASE 07] 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]
  28. [ICSM 07] 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]
  29. [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]
  30. [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]
    A previous version appeared in Supplemental Proceedings of FSE 2006 Poster Session.
  31. [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]
  32. [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]
  33. [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]
  34. [ISSRE 06] 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]
  35. [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]
    Nominated for the Best Paper Award
  36. [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]
  37. [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]
  38. [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]
    A previous version appeared in Proceedings of WTAOP 2005.
  39. [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]
    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.
  40. [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] 
  41. [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]
  42. [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]
  43. [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]
    A previous version appeared as UW-CSE-04-01-05 technical report.
  44. [ICSM 04] 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.
  45. [ASE 03] 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.
  46. [COMPSAC 01] 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. [PDF][BibTeX][Slides]
  47. [TOOLS 98] 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. [PDF][BibTeX][Slides]

    Other Conference Tracks

  48. [ICWS 09 IN] Lingshuang Shao, Junfeng Zhao, Tao Xie, Lu Zhang, Bing Xie, and Hong Mei. User-Perceived Service Availability: A Metric and an Estimation Approach. To appear in Proceedings of the IEEE International Conference on Web Services (ICWS 2009), Application and Industry Track, Los Angeles, CA, July 2009. [PDF][BibTeX]
  49. [ICSE 09 NIER] 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]
  50. [ICSE 09 NIER] Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte. Guided Path Exploration for Regression Test Generation. In Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), New Ideas and Emerging Results, Vancouver, Canada, pp. 311-314, May 2009. [PDF][BibTeX]
  51. [ICSE 09 DE] 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. [PDF].[BibTeX]
  52. [ICWS 08 IN] 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. [PDF][BibTeX]
  53. [ISSTA 08 WS] 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. [PDF][BibTex]
  54. [MSR 08] 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. [PDF][BibTeX]
  55. [ICWS 07 IN] 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.
  56. [ICSE 07 DE] 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]
  57. [FSE 06 PS] 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. [PDF][BibTeX]
    An extended version appeared in Proceedings of ICSE 2007.
  58. [ISSRE 06 FA] 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. [PDF][BibTeX]
  59. [ISSRE 06 SP] 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. [PDF][BibTeX]
    A longer version appeared as an NCSU CSC Technical Report
  60. [ICSM 06 DF] 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
  61. [ICSE 06 DE] 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]
  62. [ICSE 06 ER] 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. [PDF][BibTeX]
  63. [OOPSLA 04 SRC] 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
     [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.
    64.

    Workshops

  1. [AST 09] 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]
  2. [SUITE 09] 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. [PDF][BibTeX]
  3. [Mutation 09] 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]
  4. [CSIIRW 09] 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. [PDF][BibTeX]
  5. [WODA 08] 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. [PDF][BibTeX]
  6. [TAV-WEB 08] 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]
  7. [SSEAT 08] Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte. Method-Sequence Exploration for Automated Unit Testing of Object-Oriented Programs. Presented at Workshop on State-Space Exploration for Automated Testing (SSEAT 2008), Seattle, WA, July 2008. [BibTeX]
  8. [NSFNGS 08] 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. [PDF][BibTeX]
  9. [ETX 07] 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 Award
  10. [IWSSE 07] 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. [PDF][BibTeX]
  11. [SESS 07] 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. [PDF][BibTeX]
  12. [AST 07] 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]
  13. [WTAOP 07] 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]
  14. [MUTATION 06] 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. [PDF][BibTeX]
    An extended version appeared in Proceedings of ISSRE 2008.
  15. [SOAWS 06] 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]
  16. [WTAOP 06] 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]
  17. [WTAOP 06] 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]
  18. [POLICY 06] 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. [PDF][BibTeX]
  19. [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]
  20. [AST 06] 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]
  21. [RETR 05] 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]
  22. [WTAOP 05] 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.  [PDF][BibTeX][Slides]
    An extended version appeared in Proceedings of AOSD 2006.
  23. [SAVCBS 04] 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]
  24. [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] ©2003 Springer-Verlag.
  25. [WODA 03] 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. [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]
  26. [EDSER 02] 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]
    27.

    Tutorials

  1. [OOPSLA 09 Tutorial] 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. [BibTeX]
  2. [ICSE 09 Tutorial] 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. [BibTeX]
  3. [ICSE 09 Tutorial] 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. [Tutorial Web][BibTeX]
  4. [ICSE 08 Tutorial] Ahmed E. Hassan and Tao Xie. Mining Software Engineering Data. Presented at the 30th International Conference on Software Engineering (ICSE 2008), Companion Volume, Tutorials, Leipzig, Germany, May 2008. [Tutorial Web][BibTeX]
  5. [ICDM 07 Tutorial] Chao Liu, Tao Xie, and Jiawei Han. Mining for Software Reliability. Presented at the 2007 IEEE International Conference on Data Mining (ICDM 2007), Omaha, NE, October 2007. [Tutorial Web][BibTeX]
  6. [ICSE 07 Tutorial] 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. [Tutorial Web][PDF][BibTeX]
  7. [KDD 06 Tutorial] 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. [Tutorial Web][Slides][BibTeX]
    8.

    Others

  1. 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. [PDF][BibTex]
  2. 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. [PDF][BibTex]
  3. 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. [PDF][BibTex]
    A shorter version appeared in In Supplemental Proceedings of ISSRE 2006
  4. 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) [Abstract][BibTeX]
    A summary appeared in Proceedings of ICSM 2006, Dissertation Forum
  5. 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. [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.
  6. 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. [PDF][BibTeX]
    An extended version appeared in Proceedings of ASE 2004.
  7. Tao Xie. Software Component Protocol Inference. General Examination Report, University of Washington Department of Computer Science and Engineering, (Seattle, WA), June 2003. [PDF][BibTeX][Slides] 
  8. 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. [PDF][BibTeX]
  9.  Tao Xie. Jade Bird Object-Oriented Software Metrics Framework and Tool Support. M.S. Thesis, Department of Computer Science, Peking University, June 2000. [BibTeX] 
    10.
Home   SE Collections   Advice Collection   Brief Bio   Research   Funding   Publications   Presentations   Software   Service   Students   Teaching   Personal   Awards