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):
- 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):
- 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]
- 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]
- 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.
- 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.
- 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]
- 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]
- 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
- 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]
- 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]
- 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.
- 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):
- 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]
- 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]
- 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]
- 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):
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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.
- 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
- 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]
- 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.
- 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]
- 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):
- 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]
- 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]
- 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]
- 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]
- 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):
- 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]
- 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):
- 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):
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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
- 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.
- 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]
- 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
- 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
- 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]
- 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]