@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.htm},
}

@INPROCEEDINGS{anbalagan08:automated,
    author = {Prasanth Anbalagan and Tao Xie},
    title = {Automated Generation of Pointcut Mutants in 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.htm},
}

@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},
    url = {http://www.csc.ncsu.edu/faculty/xie/publications/srds08-firewalltest.pdf},
}

@INPROCEEDINGS{thummalapentaase08:spotweb,
    author = {Suresh Thummalapenta and Tao Xie},
    title = {{SpotWeb}: Detecting Framework Hotspots and Coldspots via Mining Open Source Code on the Web},
    booktitle = {Proc. 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008)},
    month = {September},
    year = {2008}, 
    location = {L'Aquila, Italy},
    url = {http://www.csc.ncsu.edu/faculty/xie/publications/ase08-spotweb.pdf},
}

@INPROCEEDINGS{inkumsah08:improving,
    author = {Kobi Inkumsah and Tao Xie},
    title = {Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution},
    booktitle = {Proc. 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008)},
    month = {September},
    year = {2008}, 
    location = {L'Aquila, Italy},
    url = {http://www.csc.ncsu.edu/faculty/xie/publications/ase08-evacon.pdf},
}

@INPROCEEDINGS{taneja08:diffgen,
    author = {Kunal Taneja and Tao Xie},
    title = {{DiffGen}: Automated Regression Unit-Test Generation},
    booktitle = {Proc. 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008)},
    month = {September},
    year = {2008}, 
    location = {L'Aquila, Italy},
    url = {http://www.csc.ncsu.edu/faculty/xie/publications/diffgen.pdf},
}

@INPROCEEDINGS{hou08:quota,
    author = {Shan-Shan Hou and Lu Zhang and Tao Xie and Jia-Su Sun},
    title = {Quota-Constrained Test-Case Prioritization for Regression Testing of Service-Centric Systems},
    booktitle = {Proc. IEEE International Conference on Software Maintenance  (ICSM 2008)},
    month = {October},
    year = {2008}, 
    location = {Beijing, China},
    url = {http://www.csc.ncsu.edu/faculty/xie/publications/icsm08-soatest.pdf},
}

@INPROCEEDINGS{li08:multiple,