Tao Xie's Publications

Also see Tao Xie's Research Group   Presentations/Posters
  How is our research work related to software industry?
The Yangtse Project on Automated Software Testing in the Absence of Specification
The Mose Project on Mining Open Source Software Engineering Data
Software Engineering Conferences     Software Testing Researchers     Tools and Tips for Writing Papers


Publications by Research Categories

Research Themes Research Subareas

Publications by Years
Selected Publications

DBLP  Google Scholar

Current funding: NSF SoD (3 yrs), NSF CyberTrust (3 yrs), NSF CSR (1 yr), Microsoft Research (gift), ABB Research (gift, gift)
Past funding: ARO STIR (9 mons), CACC (1 yr, 1 yr), NCSU FRPD (1 yr)
Funded projects:
     Improving Software Productivity and Quality via Mining Program Source Code funded by NSF CSR, ARO STIR
      Software Testing and Analysis for Software Evolution funded by NSF SoD
      Testing and Verification of Security Policies funded by NSF CyberTrust


Publications by Types   journal(6)    conferences(47: 34 in research paper tracks)    worskhops(22)    tutorials(4)  

    Journal

  1. [TOSEM 08] Christoph Csallner, Yannis Smaragdakis, and Tao Xie. DSD-Crasher: A hybrid analysis tool for bug finding. ACM Transactions on Software Engineering and MethodologyVol. 17, Issue 2, pp. 345-371, July 2008. [PDF][BibTeX]
  2. [ASEJ 06] Tao Xie and David Notkin. Tool-Assisted Unit-Test Generation and Selection Based on Operational Abstractions. Automated Software Engineering Journal, Vol. 13, No. 3, pp. 345-371, July 2006. A special issue of selected papers from the ASE 2003 conference. [PDF][BibTeX]
    A previous version appeared in Proceedings of ASE 2003.
    A previous version appeared in Proceedings of WODA 2003.
  3. [TSE 05] Tao Xie and David Notkin. Checking Inside the Black Box: Regression Testing By Comparing Value Spectra. IEEE Transactions on Software Engineering, Vol. 31, No. 10, pp. 869-883, October 2005. A special issue of selected papers from the ICSM 2004 conference. [PDF][BibTeX]
    A previous version appeared in Proceedings of ICSM 2004.