@ARTICLE{hao10:test,
author = {Dan Hao and Tao Xie and Lu Zhang and Xiaoyin Wang and Jiasu Sun and Hong Mei},
title = {Test Input Reduction for Result Inspection to Facilitate Fault Localization},
journal = {Automated Software Engineering Journal},
year = {2010}, url = {http://www.csc.ncsu.edu/faculty/xie/publications.htm},
}
@ARTICLE{hu10:model,
author = {Vincent Hu and Richard Kuhn and Tao Xie and JeeHyun Hwang},
title = {Model Checking for Verification of Mandatory Access Control Models and Properties},
journal = {International Journal of Software Engineering and Knowledge Engineering},
year = {2010}, url = {http://www.csc.ncsu.edu/faculty/xie/publications.htm},
}@ARTICLE{xie09:data,
author = {Tao Xie and Suresh Thummalapenta and David Lo and Chao Liu.},
title = {Data Mining for Software Engineering},
journal = {IEEE Computer},
year = {2009},
volume = {42},
number = {8},
pages = {35--42},
month = {August},
url =
{http://www.csc.ncsu.edu/faculty/xie/publications/ieeecomputer09-dmse.pdf},
}
@INPROCEEDINGS{thummalapentaase09:alattin,
author = {Suresh Thummalapenta and Tao Xie},
title = {Alattin: Mining Alternative Patterns for Detecting Neglected Conditions},
booktitle = {Proc. 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009)},
month = {November},
year = {2009}, location = {Auckland, New Zealand},
url = {http://www.csc.ncsu.edu/faculty/xie/publications/ase09-alattin.pdf},
}
@INPROCEEDINGS{zhong09:inferring,
author = {Hao Zhong and Lu Zhang and
Tao Xie and Hong Mei},
title = {Inferring Resource Specifications from Natural Language API Documentation},
booktitle = {Proc. 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009)},
month = {November},
year = {2009}, location = {Auckland, New Zealand},
url = {http://www.csc.ncsu.edu/faculty/xie/publications/ase09-doc2spec.pdf},
}
@INPROCEEDINGS{li09:reggae,
author = {Nuo Li and Tao Xie and Nikolai
Tillmann and Jonathan de Halleux and Wolfram Schulte},
title = {Reggae: Automated Test Generation for Programs using Complex Regular Expressions},
booktitle = {Proc. 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009)},
month = {November},
year = {2009}, location = {Auckland, New Zealand},
url = {http://www.csc.ncsu.edu/faculty/xie/publications/ase09-reggae.pdf},
}
@INPROCEEDINGS{hwang09:fault,
author = {JeeHyun Hwang and Tao Xie and Fei Chen and Alex X. Liu},
title = {Fault Localization for Firewall Policies},
booktitle = {Proc. 28th IEEE International
Symposium on Reliable Distributed Systems (SRDS 2009), Short
Paper},
month = {September},
year = {2009},
location = {Niagara Falls, New York},
pages = {100--106},
url = {http://www.csc.ncsu.edu/faculty/xie/publications/srds09.pdf},
}
@INPROCEEDINGS{thummalapenta09:mseqgen,
author = {Suresh
Thummalapenta and Tao Xie and Nikolai Tillmann and Peli de
Halleux and Wolfram Schulte},
title = {{MSeqGen}: Object-Oriented Unit-Test Generation via Mining Source Code},
booktitle = {Proc. 7th joint meeting of
the European Software Engineering Conference and the ACM SIGSOFT
Symposium on the Foundations of Software Engineering (ESEC/FSE 2009)},
month = {August},
year = {2009}, location = {Amsterdam, the Netherlands},
url = {http://www.csc.ncsu.edu/faculty/xie/publications/esecfse09-mseqgen.pdf},
}
@INPROCEEDINGS{shao09:dynamic,
author = {Lingshuang Shao and Junfeng Zhao and Tao Xie and Lu Zhang and Bing Xie and Hong Mei},
title = {User-Perceived Service Availability: A Metric and an Estimation Approach},
booktitle = {Proc. IEEE International Conference on Web Services (ICWS 2009), Application and Industry Track},
month = {July},
year = {2009},
location = {Los Angeles, CA},
url = {http://www.csc.ncsu.edu/faculty/xie/publications/icws09in-avail.pdf},
}
@INPROCEEDINGS{zhang09:time,
author = {Lu Zhang and Shan-Shan Hou and Chao Guo and Tao Xie and Hong Mei},
title = {Time-Aware Test-Case Prioritization using Integer Linear Programming},
booktitle = {Proc. International Conference on Software Testing and Analysis (ISSTA 2009)},
month = {July},
year = {2009},
location = {Chicago},
url = {http://www.csc.ncsu.edu/faculty/xie/publications/issta09-ilp.pdf},
}
@INPROCEEDINGS{hwang09:detection,
author = {JeeHyun Hwang and Tao Xie and Vincent C. Hu},
title = {Detection of Multiple-Duty-Related Security Leakage in Access Control Policies},
booktitle = {Proc. 3rd IEEE International Conference
on Secure Software Integration and Reliability Improvement (SSIRI
2009)},
month = {July},
year = {2009},
pages = {59--68},
location = {Shanghai, China},
url = {http://www.csc.ncsu.edu/faculty/xie/publications/ssiri09-policy.pdf},
}
@INPROCEEDINGS{zhong09:mapo,
author = {Hao Zhong and Tao Xie and Lu Zhang and Jian Pei and Hong Mei},
title = {{MAPO}: Mining and Recommending {API} Usage Patterns},
booktitle = {Proc. the 23rd European Conference on Object-Oriented Programming (ECOOP 2009)},
month = {July},
year = {2009},
pages = {318--343},
location = {Genova, Italy},
url = {http://www.csc.ncsu.edu/faculty/xie/publications.htm},
}
@INPROCEEDINGS{xie09:fitness,
author = {Tao Xie and Nikolai Tillmann and Peli de Halleux and Wolfram Schulte},
title = {Fitness-Guided Path Exploration in Dynamic Symbolic Execution},
booktitle = {Proc. the 39th Annual IEEE/IFIP
International Conference on Dependable Systems and Networks (DSN 2009)},
month = {June-July},
year = {2009},
location = {Lisbon, Portugal},
url = {http://www.csc.ncsu.edu/faculty/xie/publications/dsn09-fitnex.pdf},
}
@ARTICLE{thomas09:automated,
author = {Stephen Thomas and Laurie Williams and Tao Xie},
title = {On
Automated Prepared Statement Generation to Remove {SQL} Injection
Vulnerabilities},
journal = {Information and Software Technology},
year = {2009},
volume = {51},
number = {3},
pages = {589--598},
month = {March}, url =
{http://www.csc.ncsu.edu/faculty/xie/publications/ist09-fix.pdf},
}
@INPROCEEDINGS{tillmann09:parameterizedoopsla,
author = {Nikolai Tillmann and Peli de Halleux and Tao Xie and Wolfram Schulte},
title = {Parameterized Unit Testing: Principles, Techniques, and Applications in Practice},
booktitle = {Presented at ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2009), Tutorial},
month = {October},
year = {2009},
location = {Orlando, Florida}, url = {http://www.csc.ncsu.edu/faculty/xie/publications.htm},
}
@INPROCEEDINGS{tillmann09:parameterized,
author = {Nikolai Tillmann and Peli de Halleux and Tao Xie and Wolfram Schulte},
title = {Parameterized Unit Testing: Principles, Techniques, and Applications in Practice},
booktitle = {Presented at 31st International Conference
on Software Engineering (ICSE 2009), Companion Volume, Tutorial},
month = {May},
year = {2009},
location = {Vancouver, Canada}, url = {http://www.csc.ncsu.edu/faculty/xie/publications.htm},
}
@INPROCEEDINGS{xie09:mining,
author = {Tao Xie and Ahmed E. Hassan},
title = {Mining Software Engineering Data},
booktitle = {Presented at 31st International Conference
on Software Engineering (ICSE 2009), Companion Volume, Tutorial},
month = {May},
year = {2009},
location = {Vancouver, Canada}, url = {http://www.csc.ncsu.edu/faculty/xie/publications.htm},
}
@INPROCEEDINGS{zheng09:test,
author = {Wujie Zheng and Michael R. Lyu and Tao Xie},
title = {Test Selection for Result Inspection via Mining Predicate Rules},
booktitle = {Companion Proc. 31th International Conference on
Software Engineering (ICSE 2009), New Ideas and Emerging Results},
month = {May},
year = {2009},
pages = {219--222},
location = {Vancouver, Canada}, url = {http://www.csc.ncsu.edu/faculty/xie/publications/icse09nier-mine.pdf},
}
@INPROCEEDINGS{taneja09:guided,
author = {Kunal Taneja and Tao Xie and Nikolai Tillmann and Jonathan de Halleux and Wolfram Schulte},
title = {Guided Path Exploration for Regression Test Generation},
booktitle = {Companion Proc. 31th International Conference on
Software Engineering (ICSE 2009), New Ideas and Emerging Results},
month = {May},
year = {2009},
pages = {311--314},
location = {Vancouver, Canada}, url = {http://www.csc.ncsu.edu/faculty/xie/publications/icse09nier-regression.pdf},
}
@INPROCEEDINGS{wang09:transtrl,
author = {Xiaoyin Wang and Lu Zhang and Tao Xie and Hong Mei and Jiasu Sun},
title = {TranStrL: An Automatic Need-to-Translate String Locator for Software Internationalization},
booktitle = {Proc. 31th International Conference on
Software Engineering (ICSE 2009), Formal Demonstration},
month = {May},
year = {2009},
pages = {555--558},
location = {Vancouver, Canada}, url = {http://www.csc.ncsu.edu/faculty/xie/publications.htm},
}
@INPROCEEDINGS{thummalapenta09:mining,
author = {Suresh
Thummalapenta and Tao Xie},
title = {Mining Exception-Handling Rules as Sequence Association Rules},
booktitle = {Proc. 31th International Conference on Software Engineering (ICSE 2009)},
month = {May},
year = {2009},
pages = {496--506},
location = {Vancouver, Canada}, url = {http://www.csc.ncsu.edu/faculty/xie/publications.htm},
}@INPROCEEDINGS{wang09:locating,
author = {Xiaoyin Wang and Lu Zhang and Tao Xie and Hong Mei and Jiasu Sun},
title = {Locating Need-to-Translate Constant Strings for Software Internationalization},
booktitle = {Proc. 31th International Conference on Software Engineering (ICSE 2009)},
month = {May},
year = {2009},
pages = {353--363},
location = {Vancouver, Canada}, url = {http://www.csc.ncsu.edu/faculty/xie/publications/icse09-inter.pdf},
}
@INPROCEEDINGS{acharya09:mining,
author = {Mithun Acharya and Tao Xie},
title = {Mining {API} Error-Handling Specifications from Source Code},
booktitle = {Proc. International Conference on Fundamental Approaches to Software Engineering (FASE 2009)},
month = {March},
year = {2009},
pages = {370--384},
location = {York, UK},
url = {http://www.csc.ncsu.edu/faculty/xie/publications/fase09.pdf},
}
@INPROCEEDINGS{harman09:automated,
author = {Mark Harman and Fayezin Islam and Tao Xie and Stefan Wappler},
title = {Automated Test Data Generation for Aspect-Oriented Programs},
booktitle = {Proc. 8th
International Conference on Aspect-Oriented Software Development (AOSD 2009)},
month = {March},
year = {2009},
pages = {185--196}, location = {Charlottesville, Virginia},
url = {http://www.csc.ncsu.edu/faculty/xie/publications/aosd08.pdf},
}
@INPROCEEDINGS{marri09:empirical,
author = {Madhuri R Marri and Tao Xie and Nikolai Tillmann and Jonathan de Halleux and Wolfram Schulte},
title = {An Empirical Study of Testing File-System-Dependent Software with Mock Objects},
booktitle = {Proc. 4th International Workshop on Automation of Software Test (AST 2009), Business and Industry Case Studies},
month = {May},
year = {2009},
pages = {149--153},
location = {Vancouver, Canada}, url = {http://www.csc.ncsu.edu/faculty/xie/publications/ast09-mockobject.pdf},
}
@INPROCEEDINGS{marri09:improving,
author = {Madhuri R Marri and Suresh
Thummalapenta and Tao Xie},
title = {Improving Software Quality via Code Searching and Mining},
booktitle = {Proc. 1st International Workshop on
Search-Driven Development – Users, Infrastructure, Tools and Evaluation
(SUITE 2009)},
month = {May},
year = {2009},
pages = {33--36},
location = {Vancouver, Canada}, url = {http://www.csc.ncsu.edu/faculty/xie/publications/suite09-searching.pdf},
}
@INPROCEEDINGS{xie09:mutation,
author = {Tao Xie and Nikolai Tillmann and Peli de Halleux and Wolfram Schulte},
title = {Mutation Analysis of Parameterized Unit Tests},
booktitle = {Proc. Proceedings of the 4th International Workshop on Mutation Analysis (Mutation 2009)},
month = {April},
year = {2009},
pages = {177--181},
location = {Denver, Colorado},
url = {http://www.csc.ncsu.edu/faculty/xie/publications.htm},
}
@INPROCEEDINGS{yu09:security,
author = {Ting Yu and Dhivya Sivasubramanian and Tao Xie},
title = {Security Policy Testing via Automated Program Code Generation (Extended Abstract)},
booktitle = {Proc. Cyber Security and Information Intelligence Research Workshop (CSIIRW 2009)},
month = {April},
year = {2009},
pages = {1--4},
location = {Oak Ridge, TN},
url = {http://www.csc.ncsu.edu/faculty/xie/publications/csiirw09-policy.pdf},
}
@TECHREPORT{xie09:improving,
author = {Tao Xie},
title = {Improving Automation in Developer Testing: State of the Practice},
institution = {North Carolina State University Department of Computer Science},
year = {2009},
type = {Technical Report},
number = {TR-2009-6},
address = {Raleigh, NC},
month = {February},
url = {http://www.csc.ncsu.edu/faculty/xie/publications/devtestautomation.pdf},
}
@TECHREPORT{hu08techreportpolicy,
author = {Vincent Hu and Rick Kuhn and Tao Xie},
title = {Property Verification for Access Control Models via Model Checking},
institution = {North Carolina State University Department of Computer Science},
year = {2008},
type = {Technical Report},
number = {TR-2008-1},
address = {Raleigh, NC},
month = {January},
url = {ftp://ftp.ncsu.edu/pub/unity/lockers/ftp/csc_anon/tech/2008/TR-2008-1.pdf},
}
@INPROCEEDINGS{hu08:property,
author = {Vincent Hu and Richard Kuhn and Tao Xie.},
title = {Property Verification for Generic Access Control Models},
booktitle = {Proc. IEEE/IFIP International Symposium on Trust, Security and Privacy for Pervasive Applications (TSP 2008)},
month = {December},
year = {2008},
pages = {243--250},
location = {Shanghai, China},
url = {http://www.csc.ncsu.edu/faculty/xie/publications/tsp08.pdf},
}
@INPROCEEDINGS{martin08:assessing,
author = {Evan Martin and JeeHyun Hwang and Tao Xie and Vincent Hu},
title = {Assessing Quality of Policy Properties in Verification of Access Control Policies},
booktitle = {Proc. Annual Computer Security Applications Conference (ACSAC 2008)},
month = {December},
year = {2008},
pages = {163--172},
location = {Anaheim, California},
url = {http://www.csc.ncsu.edu/faculty/xie/publications/acsac08-verif.pdf},
}
@INPROCEEDINGS{anbalagan08:automated,
author = {Prasanth Anbalagan and Tao Xie},
title = {Automated Generation of Pointcut Mutants for Testing Pointcuts in AspectJ Programs},
booktitle = {Proc. IEEE International Conference on Software Reliability Engineering (ISSRE 2008)},
month = {November},
year = {2008},
pages = {239--248},
location = {Seattle, WA},
url = {http://www.csc.ncsu.edu/faculty/xie/publications/issre08-pointcuttest.pdf},
}
@INPROCEEDINGS{shao08:dynamic,
author = {Lingshuang Shao and Lu Zhang and Tao Xie and Junfeng Zhao and Bing Xie and Hong Mei},
title = {Dynamic Availability Estimation for Service Selection Based on Status Identification},
booktitle = {Proc. IEEE International Conference on Web Services (ICWS 2008), Application Services and Industry Track},
month = {September},
year = {2008}, pages = {645--652},
location = {Beijing, China},
url = {http://www.csc.ncsu.edu/faculty/xie/publications/icws08in.pdf},
}
@INPROCEEDINGS{hwang08:systematic,
author = {JeeHyun Hwang and Tao Xie and Fei Chen and Alex X. Liu},
title = {Systematic Structural Testing of Firewall Policies},
booktitle = {Proc. 27th IEEE International Symposium on Reliable Distributed Systems (SRDS 2008)},
month = {October},
year = {2008}, pages = {105--114},
location = {Napoli, Italy},
url = {http://www.csc.ncsu.edu/faculty/xie/publications/srds08-firewalltest.pdf},
}
@INPROCEEDINGS{thummalapentaase08:spotweb,
author = {Suresh Thummalapenta and Tao Xie},
title = {{SpotWeb}: Detecting Framework Hotspots and Coldspots via Mining Open Source Code on the Web},
booktitle = {Proc. 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008)},
month = {September},
year = {2008}, pages = {327--336},
location = {L'Aquila, Italy},
url = {http://www.csc.ncsu.edu/faculty/xie/publications/ase08-spotweb.pdf},
}
@INPROCEEDINGS{inkumsah08:improving,
author = {Kobi Inkumsah and Tao Xie},
title = {Improving Structural Testing of
Object-Oriented Programs via Integrating Evolutionary Testing and
Symbolic Execution},
booktitle = {Proc. 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008)},
month = {September},
year = {2008}, pages = {297--306},
location = {L'Aquila, Italy},
url = {http://www.csc.ncsu.edu/faculty/xie/publications/ase08-evacon.pdf},
}
@INPROCEEDINGS{taneja08:diffgen,
author = {Kunal Taneja and Tao Xie},
title = {{DiffGen}: Automated Regression Unit-Test Generation},
booktitle = {Proc. 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008)},
month = {September},
year = {2008}, pages = {407-410},
location = {L'Aquila, Italy},
url = {http://www.csc.ncsu.edu/faculty/xie/publications/diffgen.pdf},
}
@INPROCEEDINGS{hou08:quota,
author = {Shan-Shan Hou and Lu Zhang and Tao Xie and Jia-Su Sun},
title = {Quota-Constrained Test-Case Prioritization for Regression Testing of Service-Centric Systems},
booktitle = {Proc. IEEE International Conference on Software Maintenance (ICSM 2008)},
month = {October},
year = {2008}, pages = {257--266},
location = {Beijing, China},
url = {http://www.csc.ncsu.edu/faculty/xie/publications/icsm08-soatest.pdf},
}
@INPROCEEDINGS{li08:multiple,
author = {Nuo Li and JeeHyun Hwang and Tao Xie},
title = {Multiple-Implementation Testing for {XACML} Implementations},
booktitle = {Proc. Workshop on Testing, Analysis and Verification of Web Software (TAV-WEB 2008)},
month = {July},
year = {2008},
pages = {27--33},
location = {Seattle, WA},
url = {http://www.csc.ncsu.edu/faculty/xie/publications/tav-web08.pdf},
}
@INPROCEEDINGS{orso08:bert,
author = {Alessandro Orso and Tao Xie},
title = {{BERT}: {BEhavioral Regression Testing}},
booktitle = {Proc. International Workshop on Dynamic Analysis (WODA 2008)},
month = {July},
year = {2008}, pages = {36--42},
location = {Seattle, Washington},
url = {http://www.csc.ncsu.edu/faculty/xie/publications/woda08.pdf},
}
@INPROCEEDINGS{xie08:method,
author = {Tao Xie and Nikolai Tillmann and Jonathan de Halleux and Wolfram Schulte},
title = {Method-Sequence Exploration for Automated Unit Testing of Object-Oriented Programs},
booktitle = {Presented at Workshop on State-Space Exploration for Automated Testing (SSEAT 2008)},
month = {July},
year = {2008},
location = {Seattle, Washington},
}
@INPROCEEDINGS{thummalapenta08:negweb,
author = {Suresh Thummalapenta and Tao Xie},
title = {{NEGWeb}: Detecting Neglected
Conditions via Mining Programming Rules from Open Source Code},
booktitle = {Presented as a Student Poster at
International Symposium on Software Testing and Analysis (ISSTA 2008)},
month = {July},
year = {2008},
location = {Seattle, Washington},
url = {http://www.csc.ncsu.edu/faculty/xie/publications.htm},
}
@INPROCEEDING{bultan08:tavweb,
author = {Tevfik Bultan and Tao Xie},
title = {{Workshop on Testing, Analysis and Verification of Web Software (TAV-WEB 2008)}},
booktitle = {Proc.
International Symposium on Software Testing and Analysis (ISSTA 2008)},
month = {July},
year = {2008},
pages = {311--312},
location = {Seattle, Washington},