@TECHREPORT{xie08:fitnex,
    author = {Tao Xie and Nikolai Tillmann and Peli de Halleux and Wolfram Schulte},
    title = {Fitness-Guided Path Exploration in Dynamic Symbolic Execution},
    institution = {Microsoft Research},
    year = {2008},
    type = {Technical Report},
    number = {MSR-TR-2008-123},
    address = {Redmond, WA},
    month = {September},
    url = {ftp://ftp.research.microsoft.com/pub/tr/TR-2008-123.pdf},
}

@INPROCEEDINGS{thummalapenta09:mining,
    author = {Suresh Thummalapenta and Tao Xie},
    title = {Mining Exception-Handling Rules as Conditional Association Rules},
    booktitle = {Proc. 31th International Conference on Software Engineering  (ICSE 2009)},
    month = {May},
    year = {2009}, 
    location = {Vancouver, Canada},
    url = {http://www.csc.ncsu.edu/faculty/xie/publications.htm},
}

@INPROCEEDINGS{wang09:locating,
    author = {Xiaoyin Wang and Lu Zhang and Tao Xie and Hong Mei and Jiasu Sun},
    title = {Locating Need-to-Translate Constant Strings for Software Internationalization},
    booktitle = {Proc. 31th International Conference on Software Engineering  (ICSE 2009)},
    month = {May},
    year = {2009}, 
    location = {Vancouver, Canada},
    url = {http://www.csc.ncsu.edu/faculty/xie/publications.htm},
}

@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}, 
    location = {Shanghai, China},
    url = {http://www.csc.ncsu.edu/faculty/xie/publications.htm},
}

@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}, 
    location = {Anaheim, California},
    url = {http://www.csc.ncsu.edu/faculty/xie/publications/acsac08-verif.pdf},
}

@INPROCEEDINGS{anbalagan08:automated,
    author = {Prasanth Anbalagan and Tao Xie},
    title = {Automated Generation of Pointcut Mutants for Testing Pointcuts in AspectJ Programs},
    booktitle = {Proc. IEEE International Conference on Software Reliability Engineering (ISSRE 2008)},
    month = {November},
    year = {2008}, 
    location = {Seattle, WA},
    url = {http://www.csc.ncsu.edu/faculty/xie/publications/issre08-pointcuttest.pdf},
}

@INPROCEEDINGS{shao08:dynamic,
    author = {Lingshuang Shao and Lu Zhang and Tao Xie and Junfeng Zhao and Bing Xie and Hong Mei},
    title = {Dynamic Availability Estimation for Service Selection Based on Status Identification},
    booktitle = {Proc. IEEE International Conference on Web Services (ICWS 2008), Application Services and Industry Track},
    month = {September},
    year = {2008}, 
    location = {Beijing, China},
    url = {http://www.csc.ncsu.edu/faculty/xie/publications/icws08in.pdf},
}

@INPROCEEDINGS{hwang08:systematic,
    author = {JeeHyun Hwang and Tao Xie and Fei Chen and Alex X. Liu},
    title = {Systematic Structural Testing of Firewall Policies},
    booktitle = {Proc. 27th IEEE International Symposium on Reliable Distributed Systems  (SRDS 2008)},
    month = {October},
    year = {2008}, 
    location = {Napoli, Italy},