@ARTICLE{wang12:locating,
          author = {Xiaoyin Wang and Lu Zhang and Tao Xie and Hong Mei and Jiasu Sun},
          title = {Locating Need-to-Externalize Constant Strings for Software Internationalization with Generalized String Taint Analysis},
          journal = {IEEE Transactions on Software Engineering},
          year = {2012},
         url = {http://www.cs.illinois.edu/homes/taoxie/publications.htm},       
}



@INPROCEEDINGS{xiao13:characteristic,
    author = {Xusheng Xiao and Sihan Li and Tao Xie and Nikolai Tillmann},

    title = {Characteristic Studies of Loop Problems for Structural Test Generation via Symbolic Execution},
    booktitle = {Proc. 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013)},
    month = {November},
    year = {2013},
    location = {Palo Alto, California},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/ase13-loopstudy.pdf},
}

@INPROCEEDINGS{lou13:software,
    author = {Jian-Guang Lou and Qingwei Lin and Rui Ding and Qiang Fu and Dongmei Zhang and Tao Xie},

    title = {Software Analytics for Incident Management of Online Services: An Experience Report},
    booktitle = {Proc. 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013), Experience Papers},
    month = {November},
    year = {2013},
    location = {Palo Alto, California},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/ase13-sas.pdf},
}

@INPROCEEDINGS{anderson13:preliminary ,
    author = {Eric Anderson and Sihan Li and Tao Xie},

    title = {A Preliminary Field Study of Game Programming on Mobile Devices},
    booktitle = {Proc. Workshop on Programming for Mobile and Touch (PROMOTO 2013)},
    month = {October},
    year = {2013},
    location = {Indianapolis, IN},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications.htm},
}

@INPROCEEDINGS{tillmann13:pex4fun,
    author = {Nikolai Tillmann and Jonathan de Halleux and Tao Xie and Judith Bishop},

    title = {{Pex4Fun}: A Web-Based Environment for Educational Gaming via Automated Test Generation},
    booktitle = {Proc. 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013), Tool Demonstrations},
    month = {November},
    year = {2013},
    location = {Palo Alto, California},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/ase13tool-pex4fun.pdf},
}

@INPROCEEDINGS{li13:comprehensive,
    author = {Sihan Li and Tao Xie and Nikolai Tillmann},

    title = {A Comprehensive Field Study of End-User Programming on Mobile Devices},
    booktitle = {Proc. the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2013)},
    month = {September},
    year = {2013},
    location = {San Jose, CA},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/vlhcc13-study.pdf},
}



@INPROCEEDINGS{liang13:inferring,
    author = {Guangtai Liang, Qianxiang Wang, Tao Xie, and Hong Mei},

    title = {Inferring Project-Specific Bug Patterns for Detecting Sibling Bugs},
    booktitle = {Proc. 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013)},
    month = {August},
    year = {2013}, 
     location = {Saint Petersburg, Russia},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications.htm},
}

@INPROCEEDINGS{xiao13:context,
    author = {Xusheng Xiao and Shi Han and Tao Xie and Dongmei Zhang},
    title = {Context-Sensitive Delta Inference for Identifying Workload-Dependent Performance Bottlenecks},
    booktitle = {Proc. 2013 International Symposium on Software Testing and Analysis  (ISSTA 2013)},
    month = {July},
    year = {2013}, 
    location = {Lugano Switzerland
},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/issta13-perf.pdf},
}

@TECHREPORT{li13:comprehensive,
    author = {Sihan Li and Tao Xie and Nikolai Tillmann},
    title = {A Comprehensive Field Study of End-User Programming on Mobile Devices},
    institution = {North Carolina State University Department of Computer Science},
    year = {2013},
    type = {Technical Report},
    number = {TR-2013-3},
    address = {Raleigh, NC},
    month = {March},
    url = {ftp://ftp.ncsu.edu/pub/unity/lockers/ftp/csc_anon/tech/2013/TR-2013-3.pdf},
}

@INPROCEEDINGS{wu13:inferring,
    author = {Qian Wu and Ling Wu and Guangtai Liang and Qianxiang Wang and Tao Xie and Hong Mei},

    title = {Inferring Dependency Constraints on Parameters for Web Services},
    booktitle = {Proc. 22nd International Conference on World Wide Web (WWW 2013)},
    month = {May},
    year = {2013}, 
     location = {Rio de Janeiro, Brazil},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/www13-constraints.pdf},
}

@INPROCEEDINGS{tillmann13:teaching,
    author = {Nikolai Tillmann and Jonathan De Halleux and Tao Xie and Sumit Gulwani and Judith Bishop},

    title = {Teaching and Learning Programming and Software Engineering via Interactive Gaming},
    booktitle = {Proc. 35th International Conference on Software Engineering (ICSE 2013), Software Engineering Education (SEE)},
    month = {May},
    year = {2013}, 
     location = {San Francisco, CA},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/icse13see-pex4fun.pdf},
}


@INPROCEEDINGS{xie13:educational,
    author = {Tao Xie and Nikolai Tillmann and Jonathan de Halleux},

    title = {Educational Software Engineering: Where Software Engineering, Education, and Gaming Meet},
    booktitle = {Proc. 3rd International Workshop on Games and Software Engineering (GAS 2013)},
    month = {May},
    year = {2013}, 
     location = {San Francisco, CA},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/gas13-educationalse.pdf},
}

@INPROCEEDINGS{li13:characteristic,
    author = {Sihan Li and Tian Xiao and Hucheng Zhou and Haoxiang Lin and Haibo Lin and Wei Lin and Tao Xie},
    title = {A Characteristic Study on Failures of Production Distributed Data-Parallel Programs},
    booktitle = {Proc. International Conference on Software Engineering (ICSE 2013), Software Engineering in Practice (SEIP)},
    month = {May},
    year = {2013},
    location = {San Francisco, CA},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications.htm},
}

@INPROCEEDINGS{zhang13:pathways,
    author = {Dongmei Zhang and Tao Xie},
    title = {Pathways to Technology Transfer and Adoption: Achievements and Challenges},
    booktitle = {Proc. International Conference on Software Engineering (ICSE 2013), Software Engineering in Practice (SEIP), Mini-Tutorial},
    month = {May},
    year = {2013},
    location = {San Francisco, CA},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications.htm},
}

@INPROCEEDINGS{tillmann13:teaching,
    author = {Nikolai Tillmann and Jonathan De Halleux and Tao Xie and Sumit Gulwani and Judith Bishop},
    title = {Teaching and Learning Programming and Software Engineering via Interactive Gaming},
    booktitle = {Proc. International Conference on Software Engineering (ICSE 2013), Software Engineering Education (SEE)},
    month = {May},
    year = {2013},
    location = {San Francisco, CA},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications.htm},
}

@INPROCEEDINGS{zhang13:software,
    author = {Dongmei Zhang and Tao Xie},
    title = {Software Analytics: Achievements and Challenges},
    booktitle = {Proc. 35th International Conference on Software Engineering (ICSE 2013), Tutorial},
    month = {May},
    year = {2013},
    location = {
San Francisco, CA},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications.htm},
}

@INPROCEEDINGS{yang13:grey,
    author = {Wei Yang and Mukul Prasad and Tao Xie},
    title = {A Grey-box Approach for Automated GUI-Model Generation of Mobile Applications},
    booktitle = {Proc. International Conference on Fundamental Approaches to Software Engineering (FASE 2013)},
    month = {March},
    year = {2013},
    location = {Rome, Italy},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications.htm},
}

@INPROCEEDINGS{zhong13:exposing,
    author = {Hao Zhong and Suresh Thummalapenta and Tao Xie},
    title = {Exposing Behavioral Differences in Cross-Language API Mapping Relations},
    booktitle = {Proc. International Conference on Fundamental Approaches to Software Engineering (FASE 2013)},
    month = {March},
    year = {2013},
    location = {Rome, Italy},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications.htm},
}


@ARTICLE{mei12:internetware,
          author = {Hong Mei and Gang Huang and Tao Xie},
          title = {Internetware: Software Paradigm for Internet Computing},
          journal = {IEEE Computer, Special Issue on Computing in Asia},
         volume = {45},
         number = {6},
         pages = {26
--31},
         month = {June},

         year = {2012},
         url = {http://www.cs.illinois.edu/homes/taoxie/publications.htm},       
}


@ARTICLE{chen12:first,
    author = {Fei Chen and Alex X. Liu and JeeHyun Hwang and Tao Xie}

    title = {First Step Towards Automatic Correction of Firewall Policy Faults},
    journal = {IEEE Transactions on Network and Service Management},
   volume = {9},
   number = {1},
   pages = {1
--11},
    year = {2012},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/tnsm12-policy.pdf},      
}


@ARTICLE{hwang12:systematic,
    author = {JeeHyun Hwang and Tao Xie and Fei Chen and Alex X. Liu}

    title = {Systematic Structural Testing of Firewall Policies},
    journal = {IEEE Transactions on Network and Service Management},
   volume = {9},
   number = {1},
   pages = {1
--11},
    year = {2012},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/tnsm12-policy.pdf},      
}

@ARTICLE{zhang12:first,
    author = {Linghao Zhang and Xiaoxing Ma and Jian Lu and Nikolai Tillmann and Jonathan de Halleux and Tao Xie}

    title = {Environment Modeling for Automated Testing of Cloud Applications},
    journal = {IEEE Software, Special Issue on Software Engineering for Cloud Computing},
    volume = {29},
    number = {2},
    pages = {30
--35},
    year = {2012},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/ieeesoft12-cloudtest.pdf},      
}

@INPROCEEDINGS{dang12:xiao,
    author = {Yingnong Dang and Dongmei Zhang and Song Ge and Chengyun Chu and Yingjun Qiu and Tao Xie},
    title = {{XIAO}: Tuning Code Clones at Hands of Engineers in Practice},
    booktitle = {Proc. 28th Annual Computer Security Applications Conference (ACSAC 2012)},
    month = {December},
    year = {2012}, 
    location = {
Orlando, Florida},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/acsac12-xiao.pdf},
}

@INPROCEEDINGS{fu12:performance,
    author = {Qiang Fu and Jian-Guang Lou and Qing-Wei Lin and Rui Ding and Zihao Ye and Dongmei Zhang and Tao Xie},
    title = {Performance Issue Diagnosis for Online Service Systems},
    booktitle = {Proc. 31st International Symposium on Reliable Distributed Systems (SRDS 2012), Short Paper},
    month = {October},
    year = {2012}, 
    location = {
Irvine, California},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/srds12-performance.pdf},
}

@INPROCEEDINGS{xie12:cooperative,
    author = {Tao Xie},
    title = {Cooperative Testing and Analysis: Human-Tool, Tool-Tool, and Human-Human Cooperations to Get Work Done.},
    booktitle = {Proc. 12th International Working Conference on Source Code Analysis and Manipulation (SCAM 2012), Keynote Paper},
    month = {September},
    year = {2012}, 
    location = {
Trento, Italy},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/scam12-keynote.pdf},
}

@INPROCEEDINGS{pandita12:inferring,
    author = {Rahul Pandita and Xusheng Xiao and Hao Zhong and Tao Xie and Stephen Oney and Amit Paradkar},
    title = {Inferring Method Specifications from Natural Language {API} Descriptions},
    booktitle = {Proc. 34th International Conference on Software Engineering (ICSE 2012)},
    month = {June},
    year = {2012}, 
    location = {
Zurich, Switzerland},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/icse12-nlp.pdf},
}

@INPROCEEDINGS{han12:performance,
    author = {Shi Han and Yingnong Dang and Song Ge and Dongmei Zhang and Tao Xie},
    title = {Performance Debugging in the Large via Mining Millions of Stack Traces},
    booktitle = {Proc. 34th International Conference on Software Engineering (ICSE 2012)},
    month = {June},
    year = {2012}, 
    location = {
Zurich, Switzerland},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/icse12-stackmine.pdf},
}

@INPROCEEDINGS{elkateb12:refactoring,
    author = {Donia Elkateb and Tejeddine Mouelhi and Yves Le Traon and Jeehyun Hwang and Tao Xie},
    title = {Refactoring Access Control Policies for Performance Improvement},
    booktitle = {Proc. 3rd ACM/SPEC International Conference on Performance Engineering (ICPE 2012)},
    month = {April},
    year = {2012}, 
    location = {
Boston, MA},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications.htm},
}

@INPROCEEDINGS{ghandehari12:refactoring,
    author = {Laleh Shikh Gholamhossein Ghandehari and Yu Lei and Tao Xie and D. Richard Kuhn and Raghu Kacker},
    title = {Identifying Failure-Inducing Combinations in a Combinatorial Test Set},
    booktitle = {Proc. 5th International Conference on Software Testing, Verification and Validation (ICST 2012)},
    month = {April},
    year = {2012}, 
    location = {Montreal
, Canada},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications.htm},
}

@INPROCEEDINGS{zhang12:software,
    author = {Dongmei Zhang and Tao Xie},
    title = {Software Analytics in Practice: Mini Tutorial},
    booktitle = {Proc. 34th International Conference on Software Engineering (ICSE 2012), Software Engineering in Practice, Mini Tutorial},
    month = {June},
    year = {2012},
    pages = {997},
    location = {
Zurich, Switzerland},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications.htm},
}

@INPROCEEDINGS{tillmann 12:future,
    author = {Nikolai Tillmann and Michal Moskal and Jonathan de Halleux and Manuel Fahndrich and Judith Bishop and Arjmand Samuel and Tao Xie},
    title = {The Future of Teaching Programming is on Mobile Devices},
    booktitle = {Proc. 17th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE 2012)},
    month = {July},
    year = {2012}, 
    location = {
Haifa, Israel},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/iticse12-touchdevelop.pdf},
}

@INPROCEEDINGS{hassan12:mining,
    author = {Ahmed E. Hassan and Tao Xie},
    title = {Mining Software Engineering Data},
    booktitle = {Proc. 34th International Conference on Software Engineering (ICSE 2012), Tutorial},
    month = {June},
    year = {2012}, 
    location = {
Zurich, Switzerland},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications.htm},
}

@INPROCEEDINGS{zhang12:softwarecseet,
    author = {Dongmei Zhang and Yingnong Dang and Shi Han and Tao Xie},
    title = {Teaching and Training for Software Analytics},
    booktitle = {Proc. 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T 2012), Tutorial,},
    month = {April},
    year = {2012}, 
    location = {Nanjing
, China},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications.htm},
}

@INPROCEEDINGS{tillmann12:pex4funcseet,
    author = {Nikolai Tillmann and Jonathan de Halleux and Tao Xie and Judith Bishop},
    title = {{Pex4Fun}: Teaching and Learning Computer Science via Social Gaming},
    booktitle = {Proc. 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T 2012), Tutorial,},
    month = {April},
    year = {2012}, 
    location = {Nanjing
, China},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications.htm},
}

@INPROCEEDINGS{tillmann12:touchdevelopcseet,
    author = {Nikolai Tillmann and Michal Moskal and Jonathan de Halleux and Manuel Fahndrich and Tao Xie},
    title = {Engage Your Students by Teaching Programming Using Only Mobile Devices with {TouchDevelop}},
    booktitle = {Proc. 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T 2012), Tutorial,},
    month = {April},
    year = {2012}, 
    location = {Nanjing
, China},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications.htm},
}

@INPROCEEDINGS{tillmann12:touchdevelopws,
    author = {Nikolai Tillmann and Michal Moskal and Jonathan de Halleux and Manuel Fahndrich and Tao Xie},
    title = {Engage Your Students by Teaching Programming Using Only Mobile Devices with {TouchDevelop} (abstract only)},
    booktitle = {Proc. 43rd ACM Technical Symposium on Computer Science Education (SIGCSE 2012), Workshop Summary},
    month = {February-March},
    year = {2012}, 
    location = {
Raleigh, NC},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications.htm},
}

@INPROCEEDINGS{hwang12:making,
    author = {JeeHyun Hwang and Vincent Hu and Tao Xie},
    title = {Paradigm in Verification of Access Control},
    booktitle = {Proc. International Workshop on Metrics and Standards for Software Testing (MaSST 2012)},
    month = {June},
    year = {2012}, 
    location = {
Gaithersburg, Maryland},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/masst12-policy.pdf},
}

@INPROCEEDINGS{xie12:making,
    author = {Tao Xie and Suresh Thummalapenta},
    title = {Making Exceptions on Exception Handling},
    booktitle = {Proc. 5th International Workshop on Exception Handling (WEH 2012), Invited Paper},
    month = {June},
    year = {2012}, 
    location = {
Zurich, Switzerland},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/weh12-exception.pdf},
}


@INPROCEEDINGS{shakya12:isolating,
    author = {Kiran Shakya and Tao Xie and Nuo Li and Yu Lei and Raghu Kacker and Richard Kuhn},
    title = {Isolating Failure-Inducing Combinations in Combinatorial Testing using Test Augmentation and Classification},
    booktitle = {Proc. International Workshop on Combinatorial Testing (CT 2012)},
    month = {April},
    year = {2012}, 
    location = {
Montreal, Canada},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/ct12-isolate.pdf},
}

@InCollection{xiao12:advances,
   author     =      {Xusheng Xiao and Suresh Thummalapenta and Tao Xie},
   title      =      {Advances on Improving Automation in Developer Testing},  
   booktitle  =      {Advances in Computers},
   volume = {85},
   year       =     {2012},  
   pages = {165--212},
}

@ARTICLE{chen12:first,
    author = {Fei Chen and Alex X. Liu and JeeHyun Hwang and Tao Xie},

    title = {First Step Towards Automatic Correction of Firewall Policy Faults},
    journal = {ACM Transactions on Autonomous and Adaptive Systems},
    year = {2012},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications//taas2012-policyfixing.pdf},      
}

@ARTICLE{liu11:designing,
    author = {Alex X. Liu and Fei Chen and JeeHyun Hwang and Tao Xie},
    title = {Designing Fast and Scalable XACML Policy Evaluation Engines},
     journal = {IEEE Transactions on Computers},
    volume = {60},
   number = {12},
   pages = {
1802--1817},
   month = {December},
   year = {2011},

}


@INPROCEEDINGS{zhang11:software,

    author = {Dongmei Zhang and Yingnong Dang and Jian-Guang Lou and Shi Han and Haidong Zhang and Tao Xie},
    title = {Software Analytics as a Learning Case in Practice: Approaches and Experiences},
    booktitle = {Proc. International Workshop on Machine Learning Technologies in Software Engineering (MALETS 2011)},
    month = {November},
    year = {2011}, 
    location = {Lawrence, Kansas},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/malets11-analytics.pdf},
}

@INPROCEEDINGS{pan11:automatic,
    author = {Kai Pan and Xintao Wu and Tao Xie},
    title = {Generating Program Inputs for Database Application Testing},
    booktitle = {Proc. 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)},
    month = {November},
    year = {2011},
    pages = {
73--82},
    location = {Lawrence, Kansas},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/ase11-dbapptest.pdf},
}

@INPROCEEDINGS{wu11:iterative,
    author = {Qian Wu and Guangtai Liang and Qianxiang Wang and Tao Xie and Hong Mei},
    title = {Iterative Mining of Resource-Releasing Specifications},
    booktitle = {Proc. 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)},
    month = {November},
    year = {2011},
    pages = {
233--242},
    location = {Lawrence, Kansas},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/ase11-iterativemining.pdf},
}


@INPROCEEDINGS{zheng11:mining,
    author = {Wujie Zheng and Hao Ma and Michael R. Lyu and Tao Xie and Irwin King},
    title = {Mining Test Oracles of Web Search Engines},
    booktitle = {Proc. 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Short Paper},
    month = {November},
    year = {2011},
    pages = {
408--411},
    location = {Lawrence, Kansas},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/ase11-searchenginetest.pdf},
}

@INPROCEEDINGS{zhang11:xsa,
    author = {Dongmei Zhang and Tao Xie},
    title = {xSA: eXtreme Software Analytics - Marriage of eXtreme Computing and Software Analytics},
    booktitle = {Proc. 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Tutorial},
    month = {November},
    year = {2011}, 
    location = {
Lawrence, Kansas},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications.htm},
}

@INPROCEEDINGS{bishop11:browser,

    author = {Judith Bishop and Jonathan de Halleux and Nikolai Tillmann and Nigel Horspool and Don Syme and Tao Xie},
    title = {Browser-based Software for Technology Transfer},
    booktitle = {Proc. the 2011 Annual Research Conference of the South African Institute for Computer Scientists and Information Technologists (SAICSIT 2011), Industry Oriented Paper},
    month = {October},
    year = {2011},
    pages = {338--340},
    location = {Cape Town, South Africa},

    url = {http://www.cs.illinois.edu/homes/taoxie/publications/saicsit2011_tech_transfer.pdf},
}

@INPROCEEDINGS{tan11:text,
    author = {Lin Tan and Tao Xie},

    title = {Text Analytics for Software Engineering: Applications of Natural Language Processing},
    booktitle = {Proc. 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},
    month = {September},
    year = {2011},
    location = {Szeged, Hungary},

    url = {http://www.cs.illinois.edu/homes/taoxie/publications.htm},
}

@INPROCEEDINGS{pan11:database,
    author = {Kai Pan and Xintao Wu and Tao Xie},
    title = {Database State Generation via Dynamic Symbolic Execution for Coverage Criteria},
    booktitle = {Proc. 4th International Workshop on Testing Database Systems (DBTest11)},
    month = {June},
    year = {2011},
    pages = {4--9},
    location = {
Athens, Greece},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/dbtest11-cov.pdf},
}

@INPROCEEDINGS{thummalapenta11:synthesizing,
    author = {Suresh Thummalapenta and Tao Xie and Nikolai Tillmann and Jonathan de Halleux and Zhendong Su},
    title = {Synthesizing Method Sequences for High-Coverage Testing},
    booktitle = {Proc. ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2011)},
    month = {October},
    year = {2011},
    pages = {189--206},
    location = {Portland, Oregon},

    url = {http://www.cs.illinois.edu/homes/taoxie/publications/oopsla11-seeker.pdf},
}

@INPROCEEDINGS{taneja11:testing,
    author = {Kunal Taneja and Mark Grechanik and Rayid Ghani and Tao Xie},

    title = {Testing Software In Age Of Data Privacy: A Balancing Act},
    booktitle = {Proc. 8th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2011)},
    month = {September},
    year = {2011},
    pages = {
201--211},
    location = {Szeged, Hungary},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/esecfse11-priest.pdf},
}

@TECHREPORT{zhang11:auimproving,
    author = {Linghao Zhang and Tao Xie and Nikolai Tillmann and Jonathan de Halleux and Xiaoxing Ma and Jian Lv},
    title = {Automated Testing of Cloud Applications},
    institution = {North Carolina State University Department of Computer Science},
    year = {2011},
    type = {Technical Report},
    number = {TR-2011-12},
    address = {Raleigh, NC},
    month = {March},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/NCSUCSCTR2011-12.pdf},
}


@INPROCEEDINGS{taneja11:express,
    author = {Kunal Taneja and Tao Xie and Nikolai Tillmann and Jonathan de Halleux},
    title = {eXpress: Guided Path Exploration for Efficient Regression Test Generation},
    booktitle = {Proc. 2011 International Symposium on Software Testing and Analysis (ISSTA 2011)},
    month = {July},
    year = {2011},
    pages = {1--11},
    location = {Toronto, Canada},

    url = {http://www.cs.illinois.edu/homes/taoxie/publications/issta11-express.pdf},
}

@INPROCEEDINGS{ni11:express,
    author = {Yitao Ni and Lu Zhang and Zhongjie Li and Tao Xie and Hong Mei},
    title = {Detecting Concurrency-Related Problematic Activity Arrangement in {WS-BPEL} Programs},
    booktitle = {Proc. 8th International Conference on Services Computing (SCC 2011)},
    month = {July},
    year = {2011},
    pages = {
209--217},
    location = {Washington DC},

    url = {http://www.cs.illinois.edu/homes/taoxie/publications/scc11-services.pdf},
}


@ARTICLE{zhong11:inferring,
    author = {Hao Zhong and Lu Zhang and Tao Xie and Hong Mei},

    title = {Inferring Specifications for Resources from Natural Language {API} Documentation},
    journal = {Automated Software Engineering Journal},
   volume = {18},
   number = {3--4},
   pages = {
227--261},
    year = {2011},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/asej11-apidoc.pdf},       
}

@ARTICLE{thummalapenta11:alattin,
    author = {Suresh Thummalapenta and Tao Xie},

    title = {Alattin: Mining Alternative Patterns for Defect Detection},
    journal = {Automated Software Engineering Journal},
   volume = {18},
   number = {3--4},
   pages = {
293--323},
    year = {2011},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/asej11-alattin.pdf},       
}

@TECHREPORT{tillmann11:pexforfun,
    author = {Nikolai Tillmann and Jonathan de Halleux and Tao Xie.},
    title = {Pex for Fun: Engineering an Automated Testing Tool for Serious Games in Computer Science},
    institution = {Microsoft Research},
    year = {2011},
    type = {Technical Report},
    number = {MSR-TR-2011-41},
    address = {Redmond, WA},
    month = {March},
    url = {http://research.microsoft.com/apps/pubs/?id=147143},
}
   

@TECHREPORT{xiao11:improving,
    author = {Xusheng Xiao and Amit Paradkar and Tao Xie},
    title = {Automated Extraction and Validation of Security Policies from Natural-Language Documents},
    institution = {North Carolina State University Department of Computer Science},
    year = {2011},
    type = {Technical Report},
    number = {TR-2011-7},
    address = {Raleigh, NC},
    month = {March},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/NCSUCSCTR2011-7.pdf},
}

@INPROCEEDINGS{xiao11:precise,
    author = {Xusheng Xiao and Tao Xie and Nikolai Tillmann and Jonathan de Halleux},
    title = {Precise Identification of Problems for Structural Test Generation},
    booktitle = {Proc. 33rd International Conference on Software Engineering (ICSE 2011)},
    month = {May},
    year = {2011}, 
    location = {
Honolulu, Hawaii},
    pages = {
611--620},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/icse11-covana.pdf},
}

@INPROCEEDINGS{thummalapenta11:retrofitting,
    author = {Suresh Thummalapenta and Madhuri Marri and Tao Xie and Nikolai Tillmann and Jonathan de Halleux},
    title = {Retrofitting Unit Tests for Parameterized Unit Testing},
    booktitle = {Proc. International Conference on Fundamental Approaches to Software Engineering (FASE 2011)},
    month = {March-April},
    year = {2011},
    pages = {
294--309},
    location = {Saarbrücken, Germany},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications.htm},
}

@INPROCEEDINGS{shi11:empirical,
    author = {Lin Shi and Hao Zhong and Tao Xie and Mingshu Li},
    title = {An Empirical Study on Evolution of {API} Documentation},
    booktitle = {Proc. International Conference on Fundamental Approaches to Software Engineering (FASE 2011)},
    month = {March-April},
    year = {2011},
    pages = {
416--431},
    location = {Saarbrücken, Germany},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications.htm},
}

@INPROCEEDINGS{xiao11:covana,
    author = {Xusheng Xiao and Tao Xie and Nikolai Tillmann and Jonathan de Halleux},
    title = {Covana: Precise Identification of Problems in {Pex}},
    booktitle = {Proc. 33rd International Conference on Software Engineering (ICSE 2011), Demonstration},
    month = {May},
    year = {2011}, 
    location = {
Honolulu, Hawaii},
    pages = {
1004--1006},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/icse11demo-covana.pdf},
}

@INPROCEEDINGS{ge11:dyta,
    author = {Xi Ge and Kunal Taneja and Tao Xie and Nikolai Tillmann},
    title = {{DyTa}: Dynamic Symbolic Execution Guided with Static Verification Results},
    booktitle = {Proc. 33rd International Conference on Software Engineering (ICSE 2011), Demonstration},
    month = {May},
    year = {2011}, 
    location = {
Honolulu, Hawaii},
    pages = {992--994},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/icse11demo-dyta.pdf},
}

@INPROCEEDINGS{tillmann11:pex4fun,

    author = {Nikolai Tillmann and Jonathan de Halleux and Tao Xie},
    title = {{Pex4Fun}: Teaching and Learning Computer Science via Social Gaming},
    booktitle = {Proc. 24th IEEE-CS Conference on Software Engineering Education and Training (CSEET 2011), Practice and Methods Presentations, \& Tutorials (PMP\&T)},
    month = {May},
    year = {2011},
    pages = {
546--548},
    location = {
Honolulu, Hawaii},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/cseet11-pexforfun-tutorial.pdf},
}

@INPROCEEDINGS{hassan11:mining,
    author = {Ahmed E. Hassan and Tao Xie},

    title = {Mining Software Engineering Data},
     booktitle = {Presented in Presented in the 33rd International Conference on Software Engineering (ICSE 2011), Technical Briefing},
    month = {May},
    year = {2011},
    location = {Honolulu, Hawaii},

    url = {http://www.cs.illinois.edu/homes/taoxie/publications.htm},
}

@InCollection{acharya11:static,
   author     =      {Mithun Acharya and Tao Xie},
   title      =      {Static {API} Specification Mining: Exploiting Source Code Model Checking},  
   booktitle  =      {Mining Software Specifications: Methodologies and Applications},  
   publisher  =     {Taylor & Francis},  
   year       =     {2011},  
   editor     =     {David Lo and Siau-Cheng Khoo and Jiawei Han and Chao Liu},
}

@InCollection{thummalapenta11:mining,
   author     =      {Suresh Thummalapenta and Tao Xie and Madhuri R. Marri},
   title      =      {Mining {API} Usage Specifications via Searching Source Code from the Web},  
   booktitle  =      {Mining Software Specifications: Methodologies and Applications},  
   publisher  =     {Taylor & Francis},  
   year       =     {2011},  
   editor     =     {David Lo and Siau-Cheng Khoo and Jiawei Han and Chao Liu},
}

@InCollection{hwang10:policy,
   author     =      {JeeHyun Hwang and Evan Martin and Tao Xie and Vincent C. Hu},
   title      =      {Policy-Based Testing},  
   booktitle  =      {Encyclopedia of Software Engineering},  
   publisher  =     {Taylor & Francis},  
   year       =     {2011},  
   pages  = {673--683},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/policytest.pdf},
}


@INPROCEEDINGS{chen10:first,
    author = {Fei Chen and Alex X. Liu and JeeHyun Hwang and Tao Xie},
    title = {First Step Towards Automatic Correction of Firewall Policy Faults},
    booktitle = {Proc.24th USENIX Large Installation System Administration Conference (LISA 2010)},
    month = {November},
    year = {2010}, 
    location = {San Jose, CA},
    pages = {75--90},

    url = {http://www.cs.illinois.edu/homes/taoxie/publications/lisa10-fixing.pdf},
}



@article{li10:perburbation,
  author = {Nuo Li and Tao Xie and Maozhong Jin and Chao Liu},
  title = {Perturbation-based user-input-validation testing of web applications},
  journal = {Journal of Systems and Software},
  volume = {83},
  number = {11},
  pages = {2263--2274},
  month = {November},
  year = {2010},
}


@INPROCEEDINGS{xie10:future,
    author = {Tao Xie and Nikolai Tillmann and Jonathan de Halleux and Wolfram Schulte},
    title = {Future of Developer Testing: Building Quality in Code},
    booktitle = {Proc. FSE/SDP Workshop on the Future of Software Engineering Research (FoSER 2010)},
    month = {November},
    year = {2010}, 
    location = {Santa Fe, NM},
    pages = {
415--420},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/foser10-devtesting.pdf},
}


@INPROCEEDINGS{hassan10:software,
    author = {Ahmed E. Hassan and Tao Xie},
    title = {Software Intelligence: Future of Mining Software Engineering Data},
    booktitle = {Proc. FSE/SDP Workshop on the Future of Software Engineering Research (FoSER 2010)},
    month = {November},
    year = {2010}, 
    location = {Santa Fe, NM},
    pages = {161--166},

    url = {http://www.cs.illinois.edu/homes/taoxie/publications/foser10-si.pdf},
}

@INPROCEEDINGS{jin10:bert,
    author = {Wei Jin and Alex Orso and Tao Xie.},
    title = {BERT: A Tool for Behavioral Regression Testing},
    booktitle = {Proc. the 18th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2010), Research Demonstration},
    month = {November},
    year = {2010},
    location = {Santa Fe, NM},
    pages = {
361--362},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/fse10de-bert.pdf},
}


@INPROCEEDINGS{wang10:locating,
    author = {Xiaoyin Wang and Lu Zhang and Tao Xie and Hong Mei and Jiasu Sun},
    title = {Locating Need-to-Translate Constant Strings in Web Applications},
    booktitle = {Proc. 18th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2010)},
    month = {November},
    year = {2010}, 
    location = {Santa Fe, NM},
    pages = {87--96},

    url = {http://www.cs.illinois.edu/homes/taoxie/publications/fse10-webinter.pdf},
}

@INPROCEEDINGS{liang10:automatic,
    author = {Guangtai Liang and Ling Wu and Qian Wu and Qianxiang Wang and Tao Xie and Hong Mei},
    title = {Automatic Construction of an Effective Training Set for Prioritizing Static Analysis Warnings},
    booktitle = {Proc. 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010)},
    month = {September},
    year = {2010}, 
    location = {Antwerp, Belgium},
    pages = {93--102},

    url = {http://www.cs.illinois.edu/homes/taoxie/publications/ase10-warning.pdf},
}


@INPROCEEDINGS{taneja10:moda,
    author = {Kunal Taneja and Yi Zhang and Tao Xie},
    title = {{MODA}: Automated Test Generation for Database Applications via Mock Objects},
    booktitle = {Proc. 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010)},
    month = {September},
    year = {2010}, 
    location = {Antwerp, Belgium},
    pages = {289--292},

    url = {http://www.cs.illinois.edu/homes/taoxie/publications/ase10-moda.pdf},
}

@INPROCEEDINGS{taneja10:mitv,
    author = {Kunal Taneja and Nuo Li and Madhuri Marri and Tao Xie and Nikolai Tillmann},
    title = {{MiTV}: Multiple-Implementation Testing of User-Input Validators for Web Applications},
    booktitle = {Proc. 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010)},
    month = {September},
    year = {2010}, 
    location = {Antwerp, Belgium},
    pages = {
131--134},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/ase10-mitv.pdf},
}


@INPROCEEDINGS{zheng10:random,

    author = {Wujie Zheng and Qirun Zhang and Michael Lyu and Tao Xie},
    title = {Random Unit-Test Generation with MUT-aware Sequence Recommendation},
    booktitle = {Proc. 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010)},
    month = {September},
    year = {2010}, 
    location = {Antwerp, Belgium},
    pages = {
293--296},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/ase10-recgen.pdf},
}

@INPROCEEDINGS{huang10:text,
    author = {LiGuo Huang and Daniel Port and Liang Wang and Tao Xie and Tim Menzies},
    title = {Text Mining in Supporting Software Systems Risk Assurance},
    booktitle = {Proc. 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010)},
    month = {September},
    year = {2010}, 
    location = {Antwerp, Belgium},
    pages = {163--166},

    url = {http://www.cs.illinois.edu/homes/taoxie/publications/ase10-rargen.pdf},
}

@INPROCEEDINGS{pandita10:guided,
    author = {Rahul Pandita and Tao Xie and Nikolai Tillmann and Jonathan de Halleux},
    title = {Guided Test Generation for Coverage Criteria},
    booktitle = {Proc. 26th IEEE International Conference on Software Maintenance (ICSM 2010)},
    month = {September},
    year = {2010}, 
    location = {
Timișoara, Romania},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/icsm10-coverage.pdf},
}

@INPROCEEDINGS{zhang10:test,
    author = {Lingming Zhang and Tao Xie and Lu Zhang and Nikolai Tillmann and Jonathan de Halleux and Hong Mei},
    title = {Test Generation via Dynamic Symbolic Execution for Mutation Testing},
    booktitle = {Proc. 26th IEEE International Conference on Software Maintenance (ICSM 2010)},
    month = {September},
    year = {2010}, 
    location = {
Timișoara, Romania},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/icsm10-pexmutator.pdf},
}
.


@INPROCEEDINGS{jaygarl10:ocat,
    author = {Hojun Jaygarl and Sunghun Kim and Tao Xie and Carl K. Chang},
    title = {OCAT: Object Capture-based Automated Testing},
    booktitle = {Proc. International Conference on Software Testing and Analysis (ISSTA 2010)},
    month = {July},
    year = {2010},
    pages = {
159--170},
    location = {Trento, Italy},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/issta10-ocat.pdf},
}

@INPROCEEDINGS{hwang10:acpt,
    author = {JeeHyun Hwang and Tao Xie and Vincent Hu and Mine Altunay},
    title = {{ACPT}: A Tool for Modeling and Verifying Access Control Policies},
    booktitle = {Proc. IEEE International Symposium on Policies for Distributed Systems and Networks (POLICY 2010), System Demo},
    month = {July},
    year = {2010}, 
    location = {George Mason University, USA},
    pages = {
40--43},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/policy10-demo.pdf},
}


@INPROCEEDINGS{hwang10:mining,
    author = {JeeHyun Hwang and Tao Xie and Vincent Hu and Mine Altunay},
    title = {Mining Likely Properties of Access Control Policies via Association Rule Mining},
    booktitle = {Proc. 24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security (DBSec 2010)},
    month = {June},
    year = {2010},
    pages = {193--208},

    location = {Rome, Italy},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/dbsec10-mining.pdf},
}

@INPROCEEDINGS{zhong10:mining,
    author = {Hao Zhong and Suresh Thummalapenta and Tao Xie and Lu Zhang and Qing Wang},
    title = {Mining API Mapping for Language Migration},
    booktitle = {Proc. 32nd International Conference on Software Engineering (ICSE 2010)},
    month = {May},
    year = {2010},
    pages = {195--204},

    location = {Cape Town, South Africa},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/icse10-mam.pdf},
}

@INPROCEEDINGS{zhang10:operator,
    author = {Lu Zhang and Shan-Shan Hou and Jun-Jue Hu and Tao Xie and Hong Mei},
    title = {Is Operator-Based Mutant Selection Superior to Random Mutant Selection?},
    booktitle = {Proc. 32nd International Conference on Software Engineering (ICSE 2010)},
    month = {May},
    year = {2010},
    pages = {435--444},

    location = {Cape Town, South Africa},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/icse10-mutation.pdf},
}


@INPROCEEDINGS{wang10:transtrl,
    author = {Yoonki Song and Xiaoyin Wang and Tao Xie and Lu Zhang and Hong Mei},
    title = {JDF: Detecting Duplicate Bug Reports in Jazz},
    booktitle = {Proc. 32nd International Conference on Software Engineering  (ICSE 2010), Informal Demonstration},
    month = {May},
    year = {2010}, 
    pages = {
315--316},
    location = {Cape Town, South Africa},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/icse10de-jdf.pdf},
}

@INPROCEEDINGS{gegick10:identifying,
    author = {Michael Gegick and Pete Rotella and Tao Xie},
    title = {Identifying Security Bug Reports via Text Mining: An Industrial Case Study},
    booktitle = {Proc. 7th Working Conference on Mining Software Repositories (MSR 2010)},
    month = {May},
    year = {2010},
    pages = {11--20},

    location = {Cape Town, South Africa},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/msr10-textmining.pdf},
}


@INPROCEEDINGS{jin10:automated,
    author = {Wei Jin and Alex Orso and Tao Xie.},
    title = {Automated Behavioral Regression Testing},
    booktitle = {Proc. 3rd IEEE International Conference on Software Testing, Verification and Validation (ICST 2010)},
    month = {April},
    year = {2010},
    pages = {137--146},

    location = {Paris, France},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/icst10-bert.pdf},
}


@INPROCEEDINGS{tillmann10:parameterized,
    author = {Nikolai Tillmann and Peli de Halleux and Tao Xie},

    title = {Parameterized Unit Testing: Theory and Practice},
    booktitle = {Proc. 32nd International Conference on Software Engineering (ICSE 2010), Companion Volume, Tutorial},
    month = {May},
    year = {2010},
    pages = {483--484},

    location = {Cape Town, South Africa},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications.htm},
}

@INPROCEEDINGS{hassan10:mining,
    author = {Ahmed E. Hassan and Tao Xie},

    title = {Mining Software Engineering Data},
     booktitle = {Proceedings of the 32nd International Conference on Software Engineering (ICSE 2010), Companion Volume, Tutorial},
    month = {May},
    year = {2010},
    pages = {503--504},

    location = {Cape Town, South Africa},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications.htm},
}

@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},
    volume = {17},
    number = {1},
    pages = {5--31},
    month = {March},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/jase10-faultloc.pdf},       
}


@INPROCEEDINGS{xie10:teaching,

    author = {Tao Xie and Jonathan de Halleux and Nikolai Tillmann and Wolfram Schulte},
    title = {Teaching and Training Developer-Testing Techniques and Tool Support},
    booktitle = {Proceedings of the 25th Annual ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2010), Educators' and Trainers' Symposium},
    month = {October},
    year = {2010}, 
    location = {Reno/Tahoe Nevada},
    pages = {
175--182},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/splash10-edu-devtesting.pdf},
}


@ARTICLE{hu11: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},
   volume = {21},
   number = {1},
   pages = {
103--127},
   year = {2011},

    url = {http://www.cs.illinois.edu/homes/taoxie/publications.htm},
}

@TECHREPORT{xiao10:improving,
    author = {Xusheng Xiao and Tao Xie and Nikolai Tillmann and Peli de Halleux},
    title = {Issue Analysis for Residual Structural Coverage in Dynamic Symbolic Execution},
    institution = {North Carolina State University Department of Computer Science},
    year = {2010},
    type = {Technical Report},
    number = {TR-2010-7},
    address = {Raleigh, NC},
    month = {March},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/NCSUCSCTR2010-7.pdf},
}


@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.cs.illinois.edu/homes/taoxie/publications/ieeecomputer09-dmse.pdf},       
}


@ARTICLE{hao09:interactive,
    author = {Dan Hao and Lu Zhang and Tao Xie and Hong Mei and Jia-Su Sun},

    title = {Interactive Fault Localization Using Test Information},
    journal = {Journal of Computer Science and Technology},
    volume = {24},
    number = {5},

     year = {2009},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/jcst09-faultloc.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},
    pages = {283--294},

    location = {Auckland, New Zealand},
    url = {http://www.cs.illinois.edu/homes/taoxie/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},
    pages = {307--318},

    location = {Auckland, New Zealand},
    url = {http://www.cs.illinois.edu/homes/taoxie/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.cs.illinois.edu/homes/taoxie/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},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications.htm},
}


@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},
    pages = {
193--202},
    location = {Amsterdam, the Netherlands},
    url = {http://www.cs.illinois.edu/homes/taoxie/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.cs.illinois.edu/homes/taoxie/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.cs.illinois.edu/homes/taoxie/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}, 
    location = {Shanghai, China},
    url = {http://www.cs.illinois.edu/homes/taoxie/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}, 
    location = {Genova, Italy},
    url = {http://www.cs.illinois.edu/homes/taoxie/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},
    pages = {359--368},
    location = {Lisbon, Portugal},
    url = {http://www.cs.illinois.edu/homes/taoxie/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.cs.illinois.edu/homes/taoxie/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.cs.illinois.edu/homes/taoxie/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.cs.illinois.edu/homes/taoxie/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.cs.illinois.edu/homes/taoxie/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.cs.illinois.edu/homes/taoxie/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.cs.illinois.edu/homes/taoxie/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.cs.illinois.edu/homes/taoxie/publications/icse09demo-inter.pdf},
}

@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.cs.illinois.edu/homes/taoxie/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.cs.illinois.edu/homes/taoxie/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.cs.illinois.edu/homes/taoxie/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.cs.illinois.edu/homes/taoxie/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.cs.illinois.edu/homes/taoxie/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.cs.illinois.edu/homes/taoxie/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.cs.illinois.edu/homes/taoxie/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}, 
    location = {Oak Ridge, TN},
    url = {http://www.cs.illinois.edu/homes/taoxie/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.cs.illinois.edu/homes/taoxie/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.cs.illinois.edu/homes/taoxie/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.cs.illinois.edu/homes/taoxie/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.cs.illinois.edu/homes/taoxie/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 = {647-654},
    location = {Beijing, China},
    url = {http://www.cs.illinois.edu/homes/taoxie/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.cs.illinois.edu/homes/taoxie/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.cs.illinois.edu/homes/taoxie/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.cs.illinois.edu/homes/taoxie/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.cs.illinois.edu/homes/taoxie/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.cs.illinois.edu/homes/taoxie/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.cs.illinois.edu/homes/taoxie/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.cs.illinois.edu/homes/taoxie/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.cs.illinois.edu/homes/taoxie/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},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/tavweb08.pdf},
}

@INPROCEEDINGS{liu08:xengine,
    author = {Alex X. Liu and Fei Chen and JeeHyun Hwang and Tao Xie},
    title = {{XEngine}: A Fast and Scalable {XACML} Policy Evaluation Engine},
    booktitle = {Proc. International Conference on Measurement and Modeling of Computer Systems  (SIGMETRICS 2008)},
    month = {June},
    year = {2008}, 
    location = {Annapolis, Maryland},
    pages = {265--276},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/sigmetrics08-xengine.pdf},
}

@INPROCEEDINGS{xie08:improving,
    author = {Tao Xie and Mithun Acharya and Suresh Thummalapenta and Kunal Taneja},
    title = {Improving Software Reliability and Productivity via Mining Program Source Code},
    booktitle = {Proc. the NSF Next Generation Software Program Workshop at IPDPS 2008  (NSFNGS 2008)},
    month = {April},
    year = {2008}, 
    location = {Miami, Florida},
    pages = {1--5},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/nsfngs08.pdf},
}

@ARTICLE{csallner08:dsdcrasher,
          author = {Christoph Csallner and Yannis Smaragdakis and Tao Xie},
          title = {{DSD-Crasher}: A hybrid analysis tool for bug finding},
          journal = {ACM Transactions on Software Engineering and Methodology},
          year = {2008},
         volume = {17},
         number = {2},
         pages = {345--371},
         month = {April},
         url = {http://www.cs.illinois.edu/homes/taoxie/publications/tosem08-dsdcrasher.pdf},       
}

@INPROCEEDINGS{wang08:approach,
    author = {Xiaoyin Wang and Lu Zhang and Tao Xie and John Anvik and Jiasu Sun},
    title = {An Approach to Detecting Duplicate Bug Reports using Natural Language and Execution Information},
    booktitle = {Proc. 30th International Conference on Software Engineering  (ICSE 2008)},
    month = {May},
    year = {2008}, 
    location = {Leipzig, Germany},
    pages = {461--470},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/icse08-bugreports.pdf},
}

@INPROCEEDINGS{hasan08:mining,
    author = {Ahmed E. Hassan and Tao Xie},

    title = {Mining Software Engineering Data},
    booktitle = {Presented at 30th International Conference on Software Engineering (ICSE 2008), Companion Volume, Tutorial},
    month = {May},
    year = {2008}, 
    location = {Leipzig, Germany},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications.htm},
}

@INPROCEEDINGS{thummalapenta08:spotweb,
    author = {Suresh Thummalapenta and Tao Xie},
    title = {{SpotWeb}: Detecting Framework Hotspots via Mining Open Source Repositories on the Web},
    booktitle = {Proc. 5th Working Conference on Mining Software Repositories (MSR 2008)},
    month = {May},
    year = {2008}, 
    location = {Leipzig, Germany},
    pages = {109--112},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/msr08-spotweb.pdf},
}

@TECHREPORT{acharya07techreporterrorhandling,
    author = {Mithun Acharya and Tao Xie},
    title = {Static Detection of {API} Error-Handling Bugs via Mining Source Code},
    institution = {North Carolina State University Department of Computer Science},
    year = {2007},
    type = {Technical Report},
    number = {TR-2007-35},
    address = {Raleigh, NC},
    month = {October},
    url = {http://www.cs.illinois.edu/homes/taoxie/publications/TR-2007-35.pdf},
}

    @TECHREPORT{thummalapenta07techreportnegweb,
        author = {Suresh Thummalapenta and Tao Xie},
        title = {{NEGWeb}: Static Defect Detection via Searching Billions of Lines of Open Source Code},
        institution = {North Carolina State University Department of Computer Science},
        year = {2007},
        type = {Technical Report},
        number = {TR-2007-24},
        address = {Raleigh, NC},
        month = {August},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/TR-2007-24.pdf},
    }

    @INPROCEEDINGS{thummalapenta07:parseweb,
        author = {Suresh Thummalapenta and Tao Xie},
        title = {{PARSEWeb}: A Programmer Assistant for Reusing Open Source Code on the Web},
        booktitle = {Proc. 22nd IEEE/ACM International Conference on Automated Software Engineering  (ASE 2007)},
        month = {November},
        year = {2007}, 
        location = {Atlanta, Georgia},
        pages = {204--213},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/ase07-parseweb.pdf},
    }

    @INPROCEEDINGS{taneja07:automated,
        author = {Kunal Taneja and Danny Dig and Tao Xie},
        title = {Automated Detection of {API} Refactorings in Libraries},
        booktitle = {Proc. 22nd IEEE/ACM International Conference on Automated Software Engineering  (ASE 2007)},
        month = {November},
        year = {2007}, 
        location = {Atlanta, Georgia},
        pages = {377--380},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/ase07-refaclib.pdf},
    }

    @INPROCEEDINGS{inkumsah07:evacon,
        author = {Kobi Inkumsah and Tao Xie},
        title = {Evacon: A Framework for Integrating Evolutionary and Concolic Testing for Object-Oriented Programs},
        booktitle = {Proc. 22nd IEEE/ACM International Conference on  Automated Software Engineering  (ASE 2007)},
        month = {November},
        year = {2007}, 
        location = {Atlanta, Georgia},
        pages = {425--428},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/ase07-evacon.pdf},
    }

    @INPROCEEDINGS{cai07:framework,
        author = {Yuanfang Cai and Sunny Huynh and Tao Xie.},
        title = {A Framework and Tool Supports for Testing Modularity of Software Design},
        booktitle = {Proc. 22nd IEEE/ACM International Conference on  Automated Software Engineering  (ASE 2007)},
        month = {November},
        year = {2007}, 
        location = {Atlanta, Georgia},
        pages = {441--444},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/ase07-modularity.pdf},
    }

    @INPROCEEDINGS{liu07:mining,
        author = {Chao Liu and Tao Xie and Jiawei Han},

        title = {Mining for Software Reliability},
        booktitle = {Presented at 2007 IEEE International Conference on Data Mining (ICDM 2007), Tutorial},
        month = {October},
        year = {2007}, 
        location = {Omaha, NE},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications.htm},
    }

    @INPROCEEDINGS{hou07:applying,
        author = {Shan-Shan Hou and Lu Zhang and Tao Xie and Hong Mei and Jia-Su Sun},

        title = {Applying Interface-Contract Mutation in Regression Testing of Component-Based Software},
        booktitle = {Proc. 23rd IEEE International Conference on Software Maintenance (ICSM 2007)},
        month = {October},
        year = {2007}, 
        location = {Paris, France},
        pages = {174--183},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/icsm07.pdf},
    }

    @INPROCEEDINGS{acharya07:mining,
        author = {Mithun Acharya and Tao Xie and Jian Pei and Jun Xu},

        title = {Mining {API} Patterns as Partial Orders from Source Code: From Usage Scenarios to Specifications},
        booktitle = {Proc. 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2007)},
        month = {September},
        year = {2007}, 
        pages = {25--34},
        location = {Dubrovnik, Croatia},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/esecfse07.pdf},
    }

    @INPROCEEDINGS{anbalagan07:automated,
        author = {Prasanth Anbalagan and Tao Xie},

        title = {Automated Inference of Pointcuts in Aspect-Oriented Refactoring},
        booktitle = {Proc. 29th International Conference on Software Engineering (ICSE 2007)},
        month = {May},
        year = {2007}, 
        pages = {127--136},
        location = {Minneapolis, MN},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/icse07.pdf},
    }

    @INPROCEEDINGS{martin07:fault,
        author = {Evan Martin and Tao Xie},

        title = {A Fault Model and Mutation Testing of Access Control Policies},
        booktitle = {Proc. 16th International Conference on World Wide Web (WWW 2007)},
        month = {May},
        year = {2007}, 
        pages = {667--676},
         location = {Banff, Alberta, Canada},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/www07.pdf},
    }

    @INPROCEEDINGS{martin07:automatedicws,
        author = {Evan Martin and Suranjana Basu and Tao Xie},

        title = {Automated Testing and Response Analysis of Web Services},
        booktitle = {Proc. the IEEE International Conference on Web Services (ICWS 2007), Application Services and Industry Track},
        month = {July},
        year = {2007}, 
        pages = {647--654},
        location = {Salt Lake City, Utah},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/icws07.pdf},
    }

    @INPROCEEDINGS{xie07:mining,
        author = {Tao Xie and Jian Pei and Ahmed E. Hassan},

        title = {Mining Software Engineering Data},
        booktitle = {Proc. 29th International Conference on Software Engineering (ICSE 2007), Companion Volume, Tutorial},
        month = {May},
        year = {2007}, 
        pages = {172--173},
        location = {Minneapolis, MN},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/icse07-miningsedata-tutorial.pdf},
    }

    @INPROCEEDINGS{song07:unitplus,
        author = {Yoonki Song and Suresh Thummalapenta and Tao Xie},
        title = {{UnitPlus}: Assisting Developer Testing in {Eclipse}},
        booktitle = {Proc.  Eclipse Technology eXchange Workshop at OOPSLA 2007 (ETX 2007)},
        month = {October},
        year = {2007}, 
        pages = {26--30},
        location = {Montréal, Canada},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/etx07.pdf},
    }

    @INPROCEEDINGS{hu07:conformance,
        author = {Vincent C. Hu and Evan Martin and JeeHyun Hwang and Tao Xie},

        title = {Conformance Checking of Access Control Policies Specified in {XACML}},
        booktitle = {Proc. 1st IEEE International Workshop on Security in Software Engineering (IWSSE 2007)},
        month = {July},
        year = {2007}, 
        pages = {275--280},
        location = {Beijing, China},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/iwsse07.pdf},
    }

    @INPROCEEDINGS{martin07:automated,
        author = {Evan Martin and Tao Xie},

        title = {Automated Test Generation for Access Control Policies via Change-Impact Analysis},
        booktitle = {Proc. 3rd International Workshop on Software Engineering for Secure Systems (SESS 2007)},
        month = {May},
        year = {2007}, 
        pages = {5--11},
        location = {Minneapolis, MN},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/sess07.pdf},
    }

    @INPROCEEDINGS{xie07:towards,
        author = {Tao Xie and Kunal Taneja and Shreyas Kale and Darko Marinov},

        title = {Towards a Framework for Differential Unit Testing of Object-Oriented Programs.},
        booktitle = {Proc. 2nd International Workshop on Automation of Software Test (AST 2007)},
        month = {May},
        year = {2007}, 
        pages = {5--11},
        location = {Minneapolis, MN},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/ast07-diffut.pdf},
    }

    @INPROCEEDINGS{martin07:websob,
        author = {Evan Martin and Suranjana Basu and Tao Xie},

        title = {{WebSob}: A Tool for Robustness Testing of Web Services},
        booktitle = {Proc. 29th International Conference on Software Engineering (ICSE 2007), Companion Volume, Informal Research Demonstrations},
        month = {May},
        year = {2007}, 
        pages = {65--66},
        location = {Minneapolis, MN},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/icse07demo.pdf},
    }

    @INPROCEEDINGS{xie07:perspectives,
        author = {Tao Xie and Jianjun Zhao},

        title = {Perspectives on Automated Testing of Aspect-Oriented Programs},
        booktitle = {Proc. 3rd Workshop on Testing Aspect-Oriented Programs (WTAOP 2007)},
        month = {March},
        year = {2007}, 
        pages = {7--12},
        location = {Vancouver, Canada},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/wtaop07.pdf},
    }

    @ARTICLE{xie06:tool,
        author = {Tao Xie and David Notkin},

        title = {Tool-Assisted Unit-Test Generation and Selection Based on Operational Abstractions},
        journal = {Automated Software Engineering Journal},
         year = {2006},
        volume = {13},
        number = {3},
        month = {July},
        pages = {345--371},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/xiease03-journal.pdf},
    }

    @INPROCEEDINGS{martin06:defining,
        author = {Evan Martin and Tao Xie and Ting Yu},
        title = {Defining and Measuring Policy Coverage in Testing Access Control Policies},
        booktitle = {Proc. 8th International Conference on Information and Communications Security (ICICS 2006)},
        month = {December},
        year = {2006},
        location = {Raleigh, NC},
        pages = {139--158},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/icics06.pdf},
    }

    @INPROCEEDINGS{anbalagan06:clamp,
        author = {Prasanth Anbalagan and Tao Xie},
        title = {Clamp: Automated Joinpoint Clustering and Pointcut Mining in Aspect-Oriented Refactoring},
        booktitle = {Supplemental Proc. 14th ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE 2006)},
        month = {November},
        year = {2006}, 
        location = {Portland, Oregon},
        pages = {1--2},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/fse06-poster.pdf},
    }

    @INPROCEEDINGS{acharya06:mining,
        author = {Mithun Acharya and Tao Xie and Jun Xu},

        title = {Mining Interface Specifications for Generating Checkable Robustness Properties},
        booktitle = {Proc. 17th IEEE International Conference on Software Reliability Engineering (ISSRE 2006)},
        month = {November},
        year = {2006},
        pages = {311--320},
        location = {Raleigh, NC},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/issre06-mining.pdf},
    }

    @INPROCEEDINGS{xie06:detecting,
        author = {Tao Xie and Jianjun Zhao and Darko Marinov and David Notkin},

        title = {Detecting Redundant Unit Tests for {AspectJ} Programs},
        booktitle = {Proc. 17th IEEE International Conference on Software Reliability Engineering (ISSRE 2006)},
        month = {November},
        year = {2006},
        pages = {179--188},
        location = {Raleigh, NC},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/issre06-raspect.pdf},
    }

    @INPROCEEDINGS{martin06:automated,
        author = {Evan Martin and Tao Xie},

        title = {Automated Test Generation for Access Control Policies},
        booktitle = {Supplemental Proc. 17th IEEE International Conference on Software Reliability Engineering (ISSRE 2006)},
        month = {November},
        year = {2006},
        location = {Raleigh, NC},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/issre06-policytest.pdf},
    }

    @INPROCEEDINGS{shin06:sqlunittest,
        author = {Yonghee Shin and Laurie Williams and Tao Xie},

        title = {{SQLUnitGen: SQL Injection Testing Using Static and Dynamic Analysis}},
        booktitle = {Supplemental Proc. 17th IEEE International Conference on Software Reliability Engineering (ISSRE 2006)},
        month = {November},
        year = {2006},
        location = {Raleigh, NC},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/issre06-sqlunitgen.pdf},
    }

    @INPROCEEDINGS{anbalagan06:efficient,
        author = {Prasanth Anbalagan and Tao Xie},

        title = {Efficient Mutant Generation for Mutation Testing of Pointcuts in Aspect-Oriented Programs},
        booktitle = {Proc. 2nd Workshop on Mutation Analysis (MUTATION 2006)},
        pages = {51--56},
        month = {November},
        year = {2006}, 
         location = {Raleigh, NC},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/mutation06.pdf},
    }

    @INPROCEEDINGS{martin06:automated,
        author = {Evan Martin and Suranjana Basu and Tao Xie},

        title = {Automated Robustness Testing of Web Services},
        booktitle = {Proc. 4th International Workshop on SOA And Web Services Best Practices (SOAWS 2006)},
        month = {October},
        year = {2006}, 
         location = {Portland},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/soaws06.pdf},
    }

    @INPROCEEDINGS{xie06:improving,
        author = {Tao Xie}
    ,
        title = {Improving Effectiveness of Automated Software Testing in the Absence of Specifications},
        booktitle = {Proc. 22nd IEEE International Conference on Software Maintenance (ICSM 2006)},
        month = {September},
        year = {2006},
        location = {Philadelphia, PA},
        pages = {355--359},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/icsm06-dissertation.pdf},
    }

    @INPROCEEDINGS{amorim06:empirical,
        author = {Marcelo d'Amorim and Carlos Pacheco and Tao Xie and Darko Marinov and Michael D. Ernst}
    ,
        title = {An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing},
        booktitle = {Proc. 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006)},
        month = {September},
        year = {2006},
        pages = {59--68},
        location = {Tokyo, Japan},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/ase06-symclat.pdf},
    }

    @INPROCEEDINGS{acharya06:effective,
        author = {Mithun Acharya and Tanu Sharma and Jun Xu and Tao Xie},
        title = {Effective Generation of Interface Robustness Properties for Static Analysis},
        booktitle = {Proc. 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006)},
        month = {September},
        year = {2006},
        pages = {293--296},
        location = {Tokyo, Japan},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/ase06-properties.pdf},
    }

    @INPROCEEDINGS{xie06:data,
        author = {Tao Xie and Jian Pei},

        title = {Data Mining for Software Engineering},
        booktitle = {Presented at the 12th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD 2006), Tutorial},
        month = {August},
        year = {2006},
        location = {Philadelphia, Pennsylvania},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications.htm},
    }

    @INPROCEEDINGS{anbalagan06:apte,
        author = {Prasanth Anbalagan and Tao Xie},

        title = {{APTE}: Automated Pointcut Testing for {AspectJ} Programs},
        booktitle = {Proc. 2nd Workshop on Testing Aspect-Oriented Programs (WTAOP 2006)},
        month = {July},
        year = {2006},
        pages = {27--32},
        location = {Portland, Maine},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/wtaop06-APTE.pdf},
    }

    @INPROCEEDINGS{zhao06:towards,
        author = {Jianjun Zhao and Tao Xie and Nan Li},

        title = {Towards Regression Test Selection for Aspect-Oriented Programs},
        booktitle = {Proc. 2nd Workshop on Testing Aspect-Oriented Programs (WTAOP 2006)},
        month = {July},
        year = {2006},
        pages = {21--26},
        location = {Portland, Maine},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/wtaop06-regression.pdf},
    }

    @INPROCEEDINGS{xie06:augmenting,
        author = {Tao Xie},
        title = {Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking},
        booktitle = {Proc. 20th European Conference on Object-Oriented Programming (ECOOP 2006)},
        month = {July},
        year = {2006},
        pages = {380--403},
        location = {Nantes, France},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/ecoop06.pdf},
    }

    @INPROCEEDINGS{martin06:inferring,
        author = {Evan Martin and Tao Xie},

        title = {Inferring Access-Control Policy Properties via Machine Learning},
        booktitle = {Proc. 7th IEEE Workshop on Policies for Distributed Systems and Networks (POLICY 2006)},
        month = {June},
        year = {2006},
        pages = {235--238},
        location = {London, Ontario Canada},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/policy06.pdf},
    }

    @INPROCEEDINGS{xie06:automatic,
        author = {Tao Xie and Evan Martin and Hai Yuan},

        title = {Automatic Extraction of Abstract-Object-State Machines from Unit-Test Executions},
        booktitle = {Proc. 28th International Conference on Software Engineering (ICSE 2006), Informal Research Demonstrations},
        month = {May},
        year = {2006},
        pages = {835--838},
        location = {Shanghai, China},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/icse06demo.pdf},
    }

    @INPROCEEDINGS{martin06:understanding,
        author = {Evan Martin and Tao Xie},

        title = {Understanding Software Application Interfaces via String Analysis},
        booktitle = {Proc. 28th International Conference on Software Engineering (ICSE 2006), Emerging Results Track},
        month = {May},
        year = {2006},
        location = {Shanghai, China},
        pages = {901--904},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/icse06er.pdf},Vol. 13, No. 3, pp. 345-371, July 2006.
    }

    @INPROCEEDINGS{xie06:mapo,
        author = {Tao Xie and Jian Pei},

        title = {{MAPO}: Mining {API} Usages from Open Source Repositories},
        booktitle = {Proc. 3rd International Workshop on Mining Software Repositories (MSR 2006)},
        month = {May},
        year = {2006},
        pages = {54--57},
        location = {Shanghai, China},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/msr06-mapo.pdf},
    }

    @INPROCEEDINGS{yuan06:substra,
        author = {Hai Yuan and Tao Xie},

        title = {Substra: A Framework for Automatic Generation of Integration Tests},
        booktitle = {Proc. 1st Workshop on Automation of Software Test (AST 2006)},
        month = {May},
        year = {2006},
        pages = {64--70},
        location = {Shanghai, China},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/ast06-substra.pdf},
    }

    @INPROCEEDINGS{xie06:framework,
        author = {Tao Xie and Jianjun Zhao},

        title = {A Framework and Tool Supports for Generating Test Inputs of {AspectJ} Programs},
        booktitle = {Proc. 5th International Conference on Aspect-Oriented Software Development (AOSD 2006)},
        month = {March},
        year = {2006},
        pages = {190--201},
        location = {Bonn, Germany},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/aosd06.pdf},
    }

    @TECHREPORT{shin06techreport:SQLUnitGen,
        author = {Yonghee Shin and Laurie Williams and Tao Xie},

        title = {{SQLUnitGen}: Test Case Generation for {SQL} Injection Detection},
        institution = {North Carolina State University Department of Computer Science},
        year = {2006},
        type = {Technical Report},
        number = {TR-2006-21},
        address = {Raleigh, NC},
        month = {August},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/TR-2006-21.pdf},
    }

    @INPROCEEDINGS{yuan05:automatic,
        author = {Hai Yuan and Tao Xie},

        title = {Automatic Extraction of Abstract-Object-State Machines Based on Branch Coverage},
        booktitle = {Proc. 1st International Workshop on Reverse Engineering To Requirements at WCRE 2005 (RETR 2005)},
        month = {November},
        year = {2005},
        location = {Pittsburgh, Pennsylvania},
        pages = {5--11},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/retr05.pdf},
    }

    @INPROCEEDINGS{xie05:automatically,
        author = {Tao Xie and David Notkin},

        title = {Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs},
        booktitle = {Proc. 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005)},
        month = {November},
        year = {2005},
        location = {Chicago, Illinois},
        pages = {277--287},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/issre05.pdf},
    }

    @ARTICLE{xie05:checking,
        author = {Tao Xie and David Notkin},

        title = {Checking Inside the Black Box: Regression Testing By Comparing Value Spectra},
        journal = {IEEE Transactions on Software Engineering},
        year = {2005},
        volume = {31},
        number = {10},
        month = {October},
        pages = {869--883},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/tse-icsm04-spectra.pdf},
    }

    @phdthesis{xie05:PhD,
        author = {Tao Xie},

        title = {Improving Effectiveness of Automated Software Testing in the Absence of Specifications},
        school = {University of Washington Department of Computer Science and Engineering},
        type = {{Ph.D.}},
        address = {Seattle, Washington},
        month = {August},
        year = {2005},
    }

    @INPROCEEDINGS{xie05:automatic,
        author = {Tao Xie},

        title = {Automatic Identification of Common and Special Object-Oriented Unit Tests},
        booktitle = {2005 ACM Student Research Competition Grand Finals},
        month = {June},
        year = {2005},
        location = {San Francisco, California},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/xie.src.2005.pdf},
    }

    @INPROCEEDINGS{michail05:helping,
        author = {Amir Michail and Tao Xie},

        title = {Helping Users Avoid Bugs in {GUI} Applications},
        booktitle = {Proc. 27th International Conference on Software Engineering (ICSE 2005)},
        month = {May},
        year = {2005},
        pages = {107--116},
        location = {St. Louis, Missouri},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/icse05.pdf},
    }

    @INPROCEEDINGS{xie05:symstra,
        author = {Tao Xie and Darko Marinov and Wolfram Schulte and David Notkin},

        title = {Symstra: A Framework for Generating Object-Oriented Unit Tests using Symbolic Execution},
        booktitle = {Proc. 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005)},
        year = {2005},
        pages = {365--381},
        month = {April},
        location = {Edinburgh, UK},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/tacas05.pdf},
    }

    @INPROCEEDINGS{xie05:automatic,
        author = {Tao Xie and Jianjun Zhao and Darko Marinov and David Notkin},

        title = {Automated Test Generation for {AspectJ} Program},
        booktitle = {Proc. AOSD 05 Workshop on Testing Aspect-Oriented Programs (WTAOP 2005)},
        month = {March},
        year = {2005},
        location = {Chicago, Illinois},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/aspectjtestgen.pdf},
    }

    @TECHREPORT{xie04:automatically,
        author = {Tao Xie and David Notkin},

        title = {Automatically Identifying Special and Common Unit Tests Based on Inferred Statistical Algebraic Abstractions},
        institution = {University of Washington Department of Computer Science and Engineering },
        year = {2004},
        type = {Technical Report},
        number = {UW-CSE-04-08-03},
        address = {Seattle, WA},
        month = {August},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/UW-CSE-04-08-03.pdf},
    }

    @INPROCEEDINGS{xie04-2:automatic,
        author = {Tao Xie and David Notkin},

        title = {Automatic Extraction of Sliced Object State Machines for Component Interfaces},
        booktitle = {Proc. 3rd Workshop on Specification and Verification of Component-Based Systems at ACM SIGSOFT 2004/FSE-12 (SAVCBS 2004)},
        year = {2004},
        pages = {39--46},
        month = {October},
        location = {Newport Beach, California},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/savcbs04.pdf},
    }

    @INPROCEEDINGS{xie04-1:automatic,
        author = {Tao Xie and David Notkin},

        title = {Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions},
        booktitle = {Proc. 6th International Conference on Formal Engineering Methods (ICFEM 2004)},
        year = {2004},
        pages = {290--305},
        month = {November},
        location = {Seattle, Washington},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/icfem04.pdf},
    }

    @INPROCEEDINGS{xie04:special,
        author = {Tao Xie},

        title = {Automatic Identification of Common and Special Object-Oriented Unit Tests},
        booktitle = {Proc. 17th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (Companion)},   
        year = {2004},
        pages = {324--325},
        month = {October},
        location = {Vancouver, BC, Canada},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/xie-oopsla04student.pdf},
    }

    @INPROCEEDINGS{xie04:rostra,
        author = {Tao Xie and Darko Marinov and David Notkin},
        title = {Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests},
        booktitle = {Proc. 19th IEEE International Conference on Automated Software Engineering  (ASE 2004)},
        year = {2004},
        pages = {196--205},
        month = {September},
        location = {Linz, Austria},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/ase04.pdf},
    }

    @INPROCEEDINGS{xie04:checking,
        author = {Tao Xie and David Notkin},

        title = {Checking Inside the Black Box: Regression Testing based on Value Spectra Differences},
        booktitle = {Proc. 20th IEEE International Conference on Software Maintenance (ICSM 2004)},
        year = {2004},
        pages = {28-37},
        month = {September},
        location = {Chicago, Illinois},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/icsm04.pdf},
    }

    @TECHREPORT{xie04:improving,
        author = {Tao Xie and Darko Marinov and David Notkin},

        title = {Improving Generation of Object-Oriented Test Suites by Avoiding Redundant Tests},
        institution = {University of Washington Department of Computer Science and Engineering },
        year = {2004},
        type = {Technical Report},
        number = {UW-CSE-04-01-05},
        address = {Seattle, WA},
        month = {January},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/UW-CSE-04-01-05.pdf},
    }

    @INPROCEEDINGS{xie03:tool,
        author = {Tao Xie and David Notkin},
        title = {Tool-Assisted Unit Test Selection Based on Operational Violations},
        booktitle = {Proc. 18th IEEE International Conference on Automated Software Engineering (ASE 2003)},
        year = {2003},
        month = {October},
        pages = {40--48},
        location = {Montreal, Canada},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/ase03.pdf},
    }

    @INPROCEEDINGS{xie03:mutually,
        author = {Tao Xie and David Notkin},

        title = {Mutually Enhancing Test Generation and Specification Inference},
        booktitle = {Proc. 3rd International Workshop on Formal Approaches to Testing of Software (FATES 03)},
        year = {2003},
        month = {October},
        volume = {2931},
        series = {LNCS},
        pages = {60--69},
        location = {Montreal, Canada},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/FATES-feedbackloop.pdf},    
    }

    @INPROCEEDINGS{xie03:exploiting,
        author = {Tao Xie and David Notkin},

        title = {Exploiting Synergy between Testing and Inferred Partial Specifications},
        booktitle = {Proc. ICSE 2003 Workshop on Dynamic Analysis (WODA 2003)},
        year = {2003},
        month = {May},
        pages = {17--20},
        location = {Portland, Oregon},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/testspecsynergy-woda03.pdf},
    }

    @TECHREPORT{xie03:software,
        author = {Tao Xie},
        title = {Software Component Protocol Inference},
        institution = {University of Washington Department of Computer Science and Engineering },
        year = {2003},
        type = {General Examination Report},
        address = {Seattle, WA},
        month = {June},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/generals-tao.pdf},
    }

    @TECHREPORT{xie02:empirical,
        author = {Tao Xie and David Notkin},

        title = {An Empirical Study of {Java} Dynamic Call Graph Extractors},
        institution = {University of Washington Department of Computer Science and Engineering },
        year = {2002},
        type = {Technical Report},
        number = {UW-CSE-02-12-03},
        address = {Seattle, WA},
        month = {December},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/UW-CSE-02-12-03.pdf},
    }

    @INPROCEEDINGS{xie02:macro,
        author = {Tao Xie and David Notkin},

        title = {Macro and Micro Perspectives on Strategic Software Quality Assurance in Resource Constrained Environments},
        booktitle = {Proc. 4th International Workshop on Economics-Driven Software Engineering Research (EDSER 2002)},
        year = {2002},
        month = {May},
        pages = {66--70},
        location = {Orlando, Florida},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/strategicSQA.pdf},
    }

    @ARTICLE{mei02:model,
        author = {Hong Mei and Tao Xie and Fuqing Yang},
        title = {A Model-based Approach to Object-Oriented Software Metrics},
        journal = {Journal of Computer Science and Technology},
        year = {2002},
        volume = {17},
        pages = {757--769},
        number = {6},
        month = {November},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/ModelOOMT.pdf},
    }

    @INPROCEEDINGS{xie02:jbooret,
        author = {Hong Mei and Tao Xie and Fuqing Yang},

        title = {{JBOORET}: an Automated Tool to Recover {OO} Design and Source Models},
        booktitle = {Proc. 25th Anniversary Annual International Computer Software and Applications Conference (COMPSAC 2001)},
        year = {2001},
        month = {October},
        pages = {71--76},
        location = {Chicago, Illinois},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/jbooret.pdf},
    }

    @TECHREPORT{xie00:object,
        author = {Tao Xie and Huang Huang and Xiangkui Chen and Hong Mei and Fuqing Yang},

        title = {Object Oriented Software Quality Evaluation Technology},
        institution = {Peking University Department of Computer Science},
        year = {2000},
        type = {Ricoh Project Final Technical Report},
        address = {Beijing, China},
        month = {July},
    }

    @mastersthesis{xie00:jade,
       author = {Tao Xie},
       title = {{J}ade {B}ird Object-Oriented Software Metrics Framework and Tool Support},
       school = {Peking University Department of Computer Science},
       address = {Beijing, China},
       month = {June},
       year = {2000},
    }

    @ARTICLE{mei00:component,
        author = {Hong Mei and Tao Xie and Wanghong Yuan and Fuqing Yang},

        title = {Component Metrics in {Jade Bird} Component Library System},
        journal = {Journal of Software},
        year = {2000},
        volume = {11},
        pages = {634--641},
        number = {5},
        month = {May},
    }

    @ARTICLE{xie00:jboomt,
        author = {Tao Xie and Wanghong Yuan and Hong Mei and Fuqing Yang},

        title = {{JBOOMT}: {Jade Bird} Object-Oriented Metrics Tool},
        journal = {Chinese Journal of Electronics},
        year = {2000},
        volume = {9},
        pages = {202--207},
        number = {2},
        month = {April},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/JBOOMT.pdf},
    }

    @TECHREPORT{xie99:object,
        author = {Tao Xie and Huang Huang and Xiangkui Chen and Hong Mei and Fuqing Yang},

        title = {Object Oriented Software Metrics Technology},
        institution = { Peking University Department of Computer Science },
        year = {1999},
        type = {Ricoh Project Midterm Technical Report},Vol. 13, No. 3, pp. 345-371, July 2006.
        address = {Beijing, China},
        month = {September},
    }

    @INPROCEEDINGS{yuan98:cplusplus,
        author = {Wanghong Yuan and Xiangkui Chen and Tao Xie and Hong Mei and Fuqing Yang},

        title = {C++ Program Information Database for Analysis Tools},
        booktitle = {Proc. 1998 Conference on Technology of Object-Oriented Languages and Systems  (TOOLS 27)},
        year = {1998},
        month = {September},
        pages = {173--180},
        location = {Beijing, China},
        url = {http://www.cs.illinois.edu/homes/taoxie/publications/ProgamDB.pdf},
    }