How
is
our research work related to software industry?
Publications
by Research Categories Publications
by Types Selected
Publications
Google
Scholar Citations, DBLP,
Microsoft
Academic Search,
Arnetminer, ACM Author
Publications by Years 2012
(J4: C11: 4 in RC; W3) 2011
(J4: C17: 10 in RC; W2) 2010 (J2;
C23: 15 in RC) 2009 (J3;
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]
2012
Journals/Magazines (4):
- Hong
Mei, Gang Huang, and Tao Xie.
Internetware: Software Paradigm for
Internet Computing.
IEEE Computer, Special Issue on
Computing in Asia, 2012.
Download: [BibTeX]
-
Fei
Chen, Alex X. Liu, JeeHyun Hwang, and Tao Xie.
First Step
Towards Automatic Correction of Firewall Policy Faults.
ACM Transactions on Autonomous and
Adaptive Systems (TAAS),
2012.
Download: [
PDF]
[BibTeX]
A
previous version appeared in Proceedings of
LISA 2010.
- JeeHyun Hwang, Tao Xie, Fei
Chen, and Alex X. Liu.
Systematic
Structural Testing of Firewall Policies.
IEEE Transactions on Network
and Service Management.
Volume 9,
Issue 1, pages 1-11,
2012.
Download: [PDF][BibTeX]
A
previous version appeared in Proceedings of SRDS
2008.
- Linghao
Zhang, Xiaoxing
Ma, and Jian Lu, Tao
Xie, Nikolai Tillmann, Jonathan de Halleux.
Environment
Modeling for Automated Testing of Cloud Applications.
IEEE Software, Special Issue on
Software Engineering for Cloud Computing, Volume 29, Issue 2,
pages 30-35,
2012.
Download: [PDF][BibTex]
Conferences (11: 4
in research paper tracks):
- Rahul Pandita, Xusheng
Xiao, Hao Zhong, Tao Xie, Stephen Oney, and Amit Paradkar.
Inferring Method Specifications
from Natural Language API Descriptions.
In Proceedings of the 34th
International Conference on Software Engineering
(ICSE
2012), Zurich, Switzerland, June 2012.
Download: [PDF][BibTeX]
- Shi Han, Yingnong Dang,
Song Ge, Dongmei Zhang, and Tao Xie.
Performance Debugging in the Large
via Mining Millions of Stack Traces.
In Proceedings of the 34th
International Conference on Software Engineering
(ICSE
2012), Zurich, Switzerland, June 2012.
Download: [PDF][BibTeX]
- Donia Elkateb, Tejeddine Mouelhi,
Yves Le Traon, Jeehyun Hwang, and Tao Xie.
Refactoring Access Control
Policies for Performance Improvement.
In
Proceedings
of the 3rd ACM/SPEC International
Conference on Performance Engineering
(ICPE
2012), Boston, MA, April 2012.
Download:
[PDF][BibTeX]
- Laleh Shikh
Gholamhossein Ghandehari, Yu Lei, Tao Xie, D. Richard Kuhn, and Raghu
Kacker.
Identifying Failure-Inducing
Combinations in a Combinatorial Test Set.
In
Proceedings
of the 5th International Conference
on Software Testing, Verification and Validation
(ICST
2012), Montreal, Canada, April 2012.
Download:
[PDF][BibTeX]
Other
Conference Tracks (7)
- Nikolai
Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fahndrich, Judith
Bishop, Arjmand Samuel, and Tao Xie.
The Future of Teaching Programming is
on Mobile Devices.
In Proceedings of 17th Annual
Conference on Innovation and Technology in Computer Science Education
(ITiCSE
2012), Haifa, Israel, July 2012.
Download:
[PDF][BibTeX]
- Dongmei Zhang and Tao Xie.
Software Analytics in Practice: Mini
Tutorial.
In
Proceedings of the 34th
International Conference on Software Engineering
(ICSE
2012), Software Engineering in Practice, Mini
Tutorial, Zurich, Switzerland, June 2012.
Download:
[Tutorial Web][BibTeX]
- Ahmed E. Hassan and Tao Xie.
Mining Software Engineering Data.
In
Proceedings of the 34th
International Conference on Software Engineering
(ICSE
2012), Tutorial, Zurich, Switzerland, June 2012.
Download: [Tutorial
Web][BibTeX]
- Dongmei Zhang, Yingnong Dang,
Shi Han, and Tao Xie.
Teaching and Training for
Software Analytics.
In Proceedings
of the
24th IEEE-CS Conference on Software Engineering Education and Training
(CSEE&T 2012), Tutorial, Nanjing, China, April 2012.
Download:
[Tutorial Web][BibTeX]
- Nikolai Tillmann, Jonathan
de Halleux, Tao Xie, and Judith
Bishop.
Pex4Fun: Teaching and Learning
Computer Science via Social Gaming.
In Proceedings
of the
24th IEEE-CS Conference on Software Engineering Education and Training
(CSEE&T 2012), Tutorial, Nanjing, China, April 2012.
Download:
[BibTeX]
- Nikolai Tillmann, Michal
Moskal, Jonathan de Halleux, Manuel Fahndrich, and Tao Xie.
Engage Your Students by Teaching
Programming Using Only Mobile Devices with TouchDevelop.
In
Proceedings
of the
24th IEEE-CS Conference on Software Engineering Education and Training
(CSEE&T 2012), Tutorial, Nanjing, China, April 2012.
Download:
[BibTeX]
- Nikolai Tillmann, Michal
Moskal, Jonathan de Halleux, Manuel Fahndrich, and Tao Xie.
Engage
Your Students by Teaching Programming Using Only Mobile Devices with
TouchDevelop (abstract only).
In Proceedings of the 43rd ACM Technical
Symposium on Computer Science Education
(SIGCSE
2012), Workshop Summary, Raleigh, NC, page 663, February-March
2012.
Download: [BibTeX]
Workshops
(2):
- JeeHyun Hwang, Vincent Hu, and Tao Xie.
Paradigm in Verification of Access
Control.
In Proceedings of International
Workshop on Metrics and Standards for Software Testing
(MaSST 2012),
Gaithersburg, Maryland, June 2012.
Download: [PDF][BibTeX]
- Tao
Xie and Suresh Thummalapenta.
Making
Exceptions on Exception Handling.
In
Proceedings of 5th International
Workshop on Exception Handling
(WEH
2012), Invited
Paper, Zurich, Switzerland, June 2012.
Download:
[PDF][BibTeX]
- Kiran
Shakya, Tao Xie, Nuo Li, Yu Lei, Raghu Kacker, and Richard Kuhn.
Isolating Failure-Inducing Combinations
in Combinatorial Testing using Test Augmentation and Classification.
In Proceedings of International Workshop on
Combinatorial Testing
(CT
2012), Montreal, Canada, April 2012.
Download: [PDF][BibTeX]
Others
(1)
- Xusheng
Xiao, Suresh Thummalapenta, and Tao Xie.
Advances on Improving Automation in
Developer Testing.
In Advances
in Computers,
Vol 85, Burlington: Academic Press, 2012, pages
165-212.
Download: [BibTeX]
A
previous version appeared as NCSU
CSC Tech Report 2009.
2011
Journals
(4):
- Alex X. Liu, Fei Chen, JeeHyun Hwang, and Tao Xie.
Designing
Fast and Scalable XACML Policy Evaluation Engines.
IEEE Transactions on
Computers.
Volume
60, Issue 12, pages 1802-1817, December 2011.
Download: [PDF][BibTeX]
- Vincent Hu, Richard Kuhn, Tao Xie, and
JeeHyun Hwang.
Model Checking for Verification of
Mandatory Access Control Models and Properties.
International Journal of Software
Engineering and Knowledge Engineering. Volume 21, Issue
1, pages 103-127, 2011.
Download: [PDF][BibTeX]
- Hao Zhong,
Lu Zhang, Tao Xie, and Hong Mei.
Inferring
Specifications for Resources from Natural Language API Documentation.
Automated
Software
Engineering Journal, Volume
18, Issue 3-4, pages 227-261, 2011.
A
special issue of selected papers from the ASE 2009 conference.
Download: [PDF][BibTeX]
A previous version appeared in Proceedings
of ASE 2009.
- Suresh Thummalapenta and
Tao Xie.
Alattin:
Mining Alternative Patterns for Defect Detection.
Automated
Software
Engineering Journal, Volume
18, Issue 3-4, pages 293-323, 2011.
A
special issue of selected papers from the ASE 2009 conference.
Download: [PDF][BibTeX]
A previous version appeared in Proceedings
of ASE 2009.
Conferences (17: 10 in research paper tracks):
- Kai
Pan, Xintao Wu, and Tao Xie.
Generating Program Inputs for Database
Application Testing.
In Proceedings of the 26th IEEE/ACM
International Conference on Automated Software Engineering
(ASE
2011), Lawrence, Kansas, pages 73-82, November 2011.
Download: [PDF][BibTeX]
- Qian
Wu, Guangtai Liang, Qianxiang Wang, Tao Xie, and Hong Mei.
Iterative Mining of Resource-Releasing
Specifications.
In Proceedings of the 26th IEEE/ACM
International Conference on Automated Software Engineering
(ASE
2011), Lawrence, Kansas, pages 233-242, November 2011.
Download: [PDF][BibTeX]
- Wujie
Zheng, Hao Ma, Michael R. Lyu, Tao Xie, and Irwin King.
Mining Test Oracles of Web Search
Engines.
In Proceedings of the 26th IEEE/ACM
International Conference on Automated Software Engineering
(ASE
2011), Short Paper, Lawrence, Kansas, pages 408-411,
November 2011.
Download: [PDF][BibTeX]
- Suresh Thummalapenta, Tao Xie, Nikolai
Tillmann, Jonathan de Halleux, and Zhendong Su.
Synthesizing
Method Sequences for High-Coverage Testing.
In Proceedings
of
ACM
SIGPLAN International Conference on Object-Oriented Programming,
Systems, Languages, and Applications
(OOPSLA
2011),
Portland, Oregon, pages 189-206, October 2011.
Download: [PDF][BibTeX]
- Kunal Taneja, Mark Grechanik, Rayid
Ghani, and Tao Xie.
Testing
Software In Age Of Data Privacy: A Balancing Act.
In Proceedings
of
the 8th joint meeting of the European Software Engineering Conference
and the ACM SIGSOFT Symposium on the Foundations of Software
Engineering
(ESEC/FSE 2011),
Szeged, Hungary, pages 201-211, September 2011.
Download: [PDF][BibTeX]
- Kunal
Taneja,
Tao Xie, Nikolai Tillmann, and Jonathan de Halleux.
eXpress:
Guided Path Exploration for Efficient Regression Test Generation.
In Proceedings
of the
2011 International Symposium on Software Testing and Analysis
(ISSTA
2011),
Toronto, Canada, pages 1-11, July 2011.
Download: [PDF][BibTeX]
A previous version appeared in Proceedings
of ICSE 2009 New
Ideas and Emerging Results track.
- Yitao
Ni, Lu Zhang, Zhongjie Li, Tao Xie, and Hong Mei.
Detecting
Concurrency-Related Problematic Activity Arrangement in WS-BPEL
Programs.
In
Proceedings of the 8th International Conference on Services Computing
(SCC
2011),
Washington DC, pages 209--217, July
2011.
Download: [PDF][BibTeX]
- Xusheng
Xiao, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux.
Precise
Identification of Problems for Structural Test Generation.
In
Proceedings of the 33rd International Conference on Software Engineering
(ICSE
2011),
Honolulu,
Hawaii,
pp. 611-620, May 2011.
Download: [PDF][BibTeX]
- Suresh Thummalapenta, Madhuri Marri,
Tao Xie, Nikolai Tillmann, and Jonathan de Halleux.
Retrofitting Unit Tests for
Parameterized Unit Testing.
In Proceedings of International
Conference on Fundamental Approaches to Software Engineering
(FASE
2011), Saarbrücken, Germany, pages 294-309, March-April 2011.
Download: [PDF][BibTeX]
- Lin Shi, Hao Zhong, Tao Xie, and
Mingshu Li.
An Empirical Study on Evolution
of API Documentation.
In Proceedings of International
Conference on Fundamental Approaches to Software Engineering
(FASE
2011), Saarbrücken, Germany, pages 416-431, March-April 2011.
Download: [PDF][BibTeX]
Other
Conference Tracks (7)
- Dongmei
Zhang and Tao Xie.
xSA:
eXtreme Software Analytics - Marriage of eXtreme Computing and
Software Analytics.
In Proceedings
of
the 26th IEEE/ACM International Conference on Automated Software
Engineering
(ASE
2011),
Tutorial, Lawrence, Kansas, November 2011.
Download: [Tutorial
Web][BibTeX]
- Judith
Bishop, Jonathan de Halleux, Nikolai Tillmann, Nigel Horspool, Don
Syme, and Tao Xie.
Browser-based Software for Technology Transfer.
In Proceedings
of
the 2011
Annual Research Conference of the South African Institute for Computer
Scientists and Information Technologists
(SAICSIT
2011),
Industry Oriented Paper, Cape Town, South Africa, pages 338-340,
October 2011.
Download: [PDF][BibTeX]
- Lin
Tan and Tao Xie.
Text Analytics for Software Engineering: Applications of Natural
Language Processing.
In Proceedings
of
the 8th joint meeting of the European Software Engineering Conference
and the ACM SIGSOFT Symposium on the Foundations of Software
Engineering
(ESEC/FSE 2011),
Technical Briefing, Szeged, Hungary, September 2011.
Download: [BibTeX]
- Xusheng
Xiao, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux.
Covana: Precise Identification of
Problems in Pex.
In Proceedings of the
33rd International Conference on Software Engineering
(ICSE
2011), Demonstration, Honolulu, Hawaii, pp. 1004-1006, May 2011.
Download: [PDF][BibTeX]
- Xi
Ge, Kunal Taneja, Tao Xie, and Nikolai Tillmann.
DyTa:
Dynamic Symbolic Execution Guided with Static Verification Results.
In Proceedings
of the
33rd International Conference on Software Engineering
(ICSE
2011),
Demonstration, Honolulu, Hawaii,
pp. 992-994, May 2011.
Download: [PDF][BibTeX]
- Ahmed E. Hassan and Tao Xie.
Mining Software Engineering Data.
Presented
in the 33rd International Conference on Software Engineering
(ICSE
2011), Technical Briefing, Honolulu, Hawaii, May 2011.
Download: [Tutorial
Web][BibTeX]
- Nikolai Tillmann, Jonathan de Halleux,
and Tao Xie.
Pex4Fun:
Teaching and Learning Computer Science via Social Gaming.
In Proceedings
of the
24th IEEE-CS Conference on Software Engineering Education and Training
(CSEE&T
2011),
Practice and Methods Presentations, & Tutorials (PMP&T), Honolulu,
Hawaii,
pages 546-548, May 2011.
Download: [PDF][Tutorial
Web][BibTeX]
Workshops
- Dongmei
Zhang, Yingnong Dang, Jian-Guang Lou, Shi Han, Haidong Zhang, and Tao
Xie.
Software
Analytics as a Learning Case in Practice: Approaches and Experiences.
In Proceedings
of International Workshop on Machine Learning Technologies in
Software Engineering
(MALETS 2011),
Lawrence, Kansas, November 2011.
Download: [PDF][BibTeX]
- Kai
Pan, Xintao Wu, and Tao Xie.
Database
State Generation via Dynamic Symbolic Execution for Coverage Criteria.
In Proceedings
of
the 4th International Workshop on Testing
Database Systems
(DBTest
2011), Athens, Greece, pages 4-9, June 2011.
Download: [PDF][BibTeX]
Others
- Mithun
Acharya and Tao Xie.
Static API Specification Mining:
Exploiting Source Code Model Checking.
In Mining Software Specifications:
Methodologies and Applications (Lo et al. ed.)
Chapter 5, Chapman & Hall/CRC Data Mining and Knowledge Discovery
Series, Taylor & Francis, March 2011.
Download: [BibTeX][Book]
- Suresh
Thummalapenta, Tao Xie, and Madhuri R. Marri.
Mining
API Usage Specifications via Searching Source Code from the Web.
In Mining
Software Specifications: Methodologies and Applications (Lo et al.
ed.)
Chapter 10,
Chapman & Hall/CRC Data Mining and Knowledge Discovery Series,
Taylor & Francis, March 2011.
Download: [BibTeX][Book]
- Nikolai Tillmann, Jonathan de Halleux, and Tao
Xie.
Pex
for Fun: Engineering an Automated Testing Tool for Serious Games in
Computer Science.
Microsoft
Research, Technical report, no. MSR-TR-2011-41, March 2011.
Download: [PDF][BibTex]
- Xusheng
Xiao, Amit
Paradkar, and Tao Xie.
Automated
Extraction and Validation of Security Policies from Natural-Language
Documents.
North Carolina State University Department of Computer Science
Technical report TR-2011-7, March 15,
2011.
Download: [PDF][BibTex]
2010
Journals
(2):
- Nuo
Li, Tao Xie, Maozhong Jin, and Chao Liu.
Perturbation-based
User-Input-Validation Testing of Web Applications.
Journal of Systems and Software. Volume 83, Issue
11, pages 2263-2274, November 2010.
Download: [Online][BibTeX]
- Dan
Hao, Tao Xie, Lu Zhang, Xiaoyin Wang, Jiasu Sun, and Hong Mei.
Test Input Reduction for Result
Inspection to Facilitate Fault Localization.
Automated
Software
Engineering Journal. Vol. 17, Number 1, pp. 5-31 March 2010.
Download:
[PDF][BibTeX]
Conferences
(21: 15 in research paper tracks):
- Xiaoyin
Wang,
Lu Zhang, Tao Xie, Hong Mei, and Jiasu Sun.
Locating
Need-to-Translate Constant Strings in Web Applications.
In Proceedings
of
the 18th ACM SIGSOFT Symposium on the Foundations of Software
Engineering
(FSE
2010),
Santa Fe, NM, pages 87-96, November 2010.
Download: [PDF][BibTeX]
- Fei
Chen, Alex X. Liu, JeeHyun Hwang, and Tao Xie.
First
Step Towards Automatic Correction of Firewall Policy Faults.
In Proceedings
of
the 24th USENIX Large Installation System Administration Conference
(LISA
2010),
San Jose, CA, pages 75-90, November 2010.
Download: [PDF][BibTeX]
Best Student Paper Award
- Guangtai
Liang, Ling Wu, Qian Wu, Qianxiang Wang, Tao Xie, and Hong Mei.
Automatic
Construction of an Effective Training Set for Prioritizing Static
Analysis Warnings.
In Proceedings
of
the 25th IEEE/ACM International Conference on Automated Software
Engineering
(ASE
2010),
Antwerp, Belgium, pages 93-102, September 2010.
Download: [PDF][BibTeX]
- Kunal Taneja, Yi Zhang, and
Tao Xie.
MODA:
Automated Test Generation for Database Applications via Mock Objects.
In Proceedings
of
the 25th IEEE/ACM International Conference on Automated Software
Engineering
(ASE
2010),
Short Paper, Antwerp, Belgium, pages 289-292, September 2010.
Download: [PDF][BibTeX]
- Kunal
Taneja, Nuo Li, Madhuri Marri, Tao Xie, and Nikolai Tillmann.
MiTV: Multiple-Implementation Testing
of User-Input Validators for Web Applications.
In Proceedings of the 25th
IEEE/ACM International Conference on Automated Software Engineering
(ASE
2010), Short Paper, Antwerp, Belgium, pages 131-134,
September 2010.
Download: [PDF][BibTeX]
- Wujie
Zheng, Qirun Zhang, Michael Lyu, and Tao Xie.
Random
Unit-Test Generation with MUT-aware Sequence Recommendation.
In Proceedings
of
the 25th IEEE/ACM International Conference on Automated Software
Engineering
(ASE
2010),
Short Paper, Antwerp, Belgium, pages 293-296, September 2010.
Download: [PDF][BibTeX]
- LiGuo
Huang, Daniel Port, Liang Wang, Tao Xie, and Tim Menzies.
Text
Mining in Supporting Software Systems Risk Assurance.
In Proceedings
of
the 25th IEEE/ACM International Conference on Automated Software
Engineering
(ASE
2010),
Short Paper, Antwerp, Belgium, pages 163-166, September 2010.
Download: [PDF][BibTeX]
- Rahul
Pandita, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux.
Guided Test
Generation for Coverage Criteria.
In Proceedings of the
26th IEEE International Conference on Software Maintenance
(ICSM
2010), Timișoara, Romania, September 2010.
Download: [PDF][BibTeX]
- Lingming
Zhang, Tao Xie, Lu Zhang, Nikolai Tillmann, Jonathan de Halleux, and
Hong Mei.
Test Generation via Dynamic Symbolic
Execution for Mutation Testing.
In
Proceedings
of
the 26th IEEE International Conference on Software Maintenance
(ICSM
2010),
Timișoara, Romania, September 2010.
Download: [PDF][BibTeX]
- Hojun
Jaygarl, Sunghun Kim, Tao Xie, and Carl K. Chang.
OCAT: Object Capture-based Automated
Testing.
In Proceedings of International
Conference on Software Testing and Analysis
(ISSTA
2010), Trento, Italy, pp. 159-170, July 2010.
Download: [PDF][BibTeX]
- JeeHyun
Hwang, Tao Xie, Vincent Hu, and Mine Altunay.
Mining
Likely Properties of Access Control Policies via Association Rule
Mining.
In Proceedings
of the 24th Annual IFIP WG 11.3 Working Conference on Data and
Applications Security
(DBSec 2010),
Rome, Italy, pp. 193-208, June 2010.
Download: [PDF][BibTeX]
- Hao
Zhong, Suresh Thummalapenta, Tao Xie, Lu Zhang, and Qing Wang.
Mining API Mapping for Language
Migration.
In
Proceedings of the 32nd International Conference on Software Engineering
(ICSE
2010), Cape Town, South Africa, pp. 195-204, May 2010.
Download: [PDF][BibTeX]
- Lu
Zhang, Shan-Shan Hou, Jun-Jue Hu, Tao Xie, and Hong Mei.
Is Operator-Based Mutant Selection
Superior to Random Mutant Selection?
In
Proceedings of the 32nd International Conference on Software Engineering
(ICSE
2010), Cape Town, South Africa, pp. 435-444, May 2010.
Download: [PDF][BibTeX]
- Michael
Gegick, Pete Rotella, and Tao Xie.
Identifying Security Bug Reports via
Text Mining: An Industrial Case Study.
In Proceedings of the 7th
Working Conference on Mining Software Repositories
(MSR
2010), Cape Town, South Africa, pp. 11-20, May 2010.
Download: [PDF][BibTeX]
- Wei
Jin, Alex Orso, and Tao Xie.
Automated
Behavioral Regression Testing.
In Proceedings of the
3rd IEEE International Conference on Software Testing, Verification
and Validation
(ICST 2010), Paris, France, pp.
137-146, April 2010.
Download: [PDF][BibTeX]
A
previous version appeared in Proceedings
of WODA 2008.
Other
Conference Tracks
- Tao
Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte.
Future
of Developer Testing: Building Quality in Code.
In Proceedings
of
FSE/SDP Workshop on the Future of Software Engineering Research
(FoSER
2010), Santa Fe, NM,
pages 415-420, November 2010.
Download: [PDF][BibTeX]
- Ahmed E. Hassan and Tao Xie.
Software
Intelligence: Future of Mining Software Engineering Data.
In Proceedings
of
FSE/SDP Workshop on the Future of Software Engineering Research
(FoSER
2010), Santa Fe, NM,
pages 161-166, November 2010.
Download: [PDF][BibTeX]
- Wei
Jin, Alex Orso, and Tao Xie.
BERT:
A Tool for Behavioral Regression Testing.
In Proceedings
of
the 18th ACM SIGSOFT Symposium on the Foundations of Software
Engineering
(FSE
2010),
Research Demonstration, Santa Fe, NM, pages 361-362, November 2010.
Download: [PDF][BibTeX]
- Tao Xie, Jonathan de Halleux, Nikolai
Tillmann, and Wolfram Schulte.
Teaching
and Training Developer-Testing Techniques and Tool Support.
In Proceedings
of the 25th Annual ACM Conference on Systems, Programming, Languages,
and Applications: Software for Humanity
(SPLASH 2010), Educators'
and Trainers' Symposium, Reno/Tahoe Nevada, pages 175-182, October 2010.
Download: [PDF][BibTeX]
- JeeHyun Hwang, Tao Xie, Vincent Hu, and Mine
Altunay.
ACPT:
A Tool for Modeling and Verifying Access Control Policies.
In Proceedings
of the IEEE International Symposium on Policies for Distributed
Systems and Networks
(POLICY 2010), System Demo,
George Mason University, USA, pages 40-43, July 2010.
Download: [PDF][BibTeX]
- Yoonki
Song, Xiaoyin Wang, Tao Xie, Lu Zhang, and Hong Mei.
JDF:
Detecting Duplicate Bug Reports in Jazz.
In Proceedings
of the
32nd International Conference on Software Engineering
(ICSE
2010),
Informal Demonstration, Cape Town, South Africa,
pp. 315-316, May 2010.
Download: [PDF][BibTeX]
- Nikolai
Tillmann,
Jonathan de Halleux, and Tao Xie.
Parameterized
Unit Testing: Theory and Practice.
In Proceedings of the 32nd International Conference on Software Engineering
(ICSE
2010),
Tutorials,
Cape Town, South Africa,
pp. 483-484, May 2010.
Download: [Tutorial
Web][BibTeX]
- Ahmed E. Hassan and Tao Xie.
Mining Software Engineering Data.
In Proceedings of the 32nd International Conference on Software Engineering
(ICSE
2010),
Tutorials,
Cape Town, South Africa,
pp. 503-504, May 2010.
Download: [Tutorial
Web][BibTeX]
Others
- JeeHyun
Hwang, Evan Martin, Tao Xie, and Vincent C. Hu.
Policy-Based Testing.
Encyclopedia of
Software Engineering, 1:1, 673-683, 01 November 2010
Download: [PDF][BibTex]
- Xusheng Xiao, Tao
Xie, Nikolai Tillmann, and Peli de Halleux.
Issue
Analysis for Residual Structural Coverage in Dynamic Symbolic
Execution.
North Carolina State University Department of Computer Science
Technical report TR-2010-7, March 23,
2010.
Download: [PDF][BibTex]
2009
Journals/Magazines (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]
- 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]
- Dan
Hao, Lu Zhang, Tao Xie, Hong Mei, Jia-Su Sun.
Interactive
Fault Localization Using Test Information.
Journal of Computer Science and
Technology, Volume
24, No. 5, pp. 962-974, September 2009.
Download: [PDF][BibTeX]
Conferences (20: 13 in research paper tracks):
- Suresh Thummalapenta
and Tao Xie.
Alattin:
Mining Alternative Patterns for Detecting Neglected Conditions.
In Proceedings
of the
24th IEEE/ACM International Conference on Automated Software
Engineering
(ASE
2009), Auckland,
New Zealand, pp. 283-294, November 2009.
Download: [PDF][Slides][BibTeX]
- Hao Zhong, Lu Zhang,
Tao Xie, and Hong Mei.
Inferring
Resource Specifications from Natural Language API Documentation.
In Proceedings
of the
24th IEEE/ACM International Conference on Automated Software
Engineering
(ASE
2009), Auckland,
New Zealand, pp. 307-318, November 2009.
Best Paper Award and ACM SIGSOFT Distinguished Paper Award
Download: [PDF][BibTeX]
- Nuo
Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram
Schulte.
Reggae:
Automated Test Generation for Programs using Complex Regular
Expressions.
In Proceedings
of the
24th IEEE/ACM International Conference on Automated Software
Engineering
(ASE
2009),
Short Paper, Auckland, New Zealand, pp. 515-519, November 2009.
Download: [PDF][BibTeX]
- 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]
- Suresh
Thummalapenta,
Tao Xie, Nikolai Tillmann, Peli de Halleux, and Wolfram Schulte.
MSeqGen:
Object-Oriented Unit-Test Generation via Mining Source Code.
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, pp. 193-202,
August 2009.
Download: [PDF][BibTeX]
- 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]
- 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]
- 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]
- Tao
Xie, Nikolai Tillmann, Peli de Halleux, and Wolfram Schulte.
Fitness-Guided
Path
Exploration
in Dynamic Symbolic Execution.
In Proceedings
of the
39th Annual IEEE/IFIP International Conference on Dependable Systems
and Networks
(DSN 2009), Lisbon, Portugal,
pp. 359-368, June-July 2009.
Download: [PDF][Slides][BibTeX]
- 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][Slides][BibTeX]
- 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]
- 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]
- 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
- Nikolai
Tillmann,
Jonathan de Halleux, Tao Xie, and Wolfram Schulte.
Parameterized Unit Testing: Principles,
Techniques, and Applications in Practice.
Presented
at ACM SIGPLAN International Conference on Object-Oriented
Programming, Systems, Languages, and Applications
(OOPSLA
2009), Tutorials, Orlando, Florida, October 2009.
Download: [BibTeX]
- 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, pp. 647-654, July 2009.
Download: [PDF][BibTeX]
- 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]
- 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]
- 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]
- 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: [Tutorial
Web][BibTeX]
- 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):
- 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]
- 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]
- 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]
- 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):
- 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]
An extended version appears as a
book chapter in Advances in Computers 2012
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 (15:
10 in research paper tracks):
- 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]
- 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]
- 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.
- 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]
- 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]
- 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.
- 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.
- 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]
- 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.
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]
- 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]
- 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.
Presented
at 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.
In Proceedings
of
the International Workshop on Dynamic Analysis
(WODA 2008), Seattle, WA, pp.
36-42, July 2008.
Download: [PDF][BibTeX]
An extended version appeared in Proceedings
of ICST 2010.
- 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]
- 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]
- 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.
Presented
at 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, pp. 26-30, 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):
- 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.
Nominated for the Best Paper
Award
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.
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]
- 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]
- 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):
- 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.
- 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]
- 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]
- 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]
- 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]
- 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]
- 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:
- 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):
- 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):
- 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.
- 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]
- 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):
- 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]
- 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):
- 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
- 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):
- 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]
- 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.
- 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
- 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):
- 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):
-
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):
- 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)
- 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]
- 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)
- 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):
- 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):
- 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):
- 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):
- 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]
- 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):
- 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]
- 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):
- 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]