Tao Xie (/shear/)  Assistant Professor  Department of Computer Science  North Carolina State University  2278 EB II, 890 Oval Drive  Campus Box 8206  Raleigh, NC 27695-8206  Ph.D. University of Washington, 2005  M.S. University of Washington, 2002  M.S. Peking University, 2000  B.S. Fudan University, 1997	Service (PC etc.) news:    07/08/08: WWW 2009 06/03/08: ICST 2009 05/30/08: MSR 2009 05/06/08: ISSTA 2009 05/04/08: ASE 2009 Tutorial Co-Chair 02/04/08: ICSM 2008 12/12/07: HVC 2008 12/05/07: co-organize TAV-WEB 08 11/19/07: ASE 2008  05/03/07: ISSTA 2008 10/08/06: ASE 2007  07/06/05: AOSD 2007 more ...	Paper news: 06/24/08: ICWS 2008 Industry (18%) 06/20/08: SRDS 2008 (25%) 06/08/08: ASE 2008*3 (2*12%+1*short:25%) 05/24/08: ICSM 2008 (26%) 05/24/08: TAV-WEB 2008 03/30/08: ISSTA 2008 Student Poster (35%)  02/01/08: SIGMETRICS 2008 (18%) 12/20/07: TOSEM 2008 12/11/07: ICSE 2008 (15%) 08/10/07: ASE 2007*4 (1*12%+3*short:25%) 05/31/07: ESEC/FSE 2007 (17%) 01/26/07: WWW 2007 (15%)  12/15/06: ICSE 2007 (15%) more ...	Funding news: 09/07: NSF SoD (3 yrs) 08/07: NSF CyberTrust (3 yrs) 07/07: NSF CSR (1 yr) 07/07: Microsoft Research (gift) 06/07: ARO STIR (9 mons) 08/06: ABB Research (gift) 04/06: CACC (1 yr) 04/06: CACC (1 yr) 02/06: ABB Research (gift) 02/06: NCSU FRPD (1 yr) more ...
Phone: (919) 515-3772 Fax:     (919) 515-7896

(feedback on these collections) 
 Join the Software Engineering Research Community group at Facebook!

  Software Engineering Academic Genealogy    Software Engineering Conferences (SE Conference Map)    Software Engineering Awards  
SE Research Links    SE Readings    SE Research Methodology@UC Irvine     Lambda the Ultimate PL Weblog 
Mining Software Engineering Data   Software Testing Researchers    AOP Testing and Verification Researchers    Software Testing Survey   Software Testing Education    Introductory Testing Readings
Advice Collection    Advice on Getting a Start into Research    Advice on Writing Research Papers (ppt)  Common Technical Writing Issues (ppt)   Tools and Tips for Writing Papers        
                                                                              Computer Engineering Academic Genealogy maintained by my elder brother Yuan Xie

Our NCSU ASE group has a group blog, and REU blog!    
  Improving Automation in Developer Testing presentation and Mining Software Engineering Data presentation/tutorial!

Brief Biography (Curriculum Vitae)

Tao Xie is an Assistant Professor in the Department of Computer Science of the College of Engineering at North Carolina State University. He received his Ph.D. in Computer Science from the University of Washington in 2005, advised by David Notkin. Before that, he received an M.S. in Computer Science from the University of Washington in 2002, an M.S. in Computer Science from Peking University in 2000, advised by Hong Mei, and a B.S. in Computer Science from Fudan University in 1997. His research interests are in software engineering, with an emphasis on improving software dependability and productivity. He leads the Automated Software Engineering Research Group at North Carolina State University. Here is his Curriculum Vitae.

Tao Xie's research centers around two major themes: automated software testing and mining software engineering data. His research also focuses on software security testing and analysis, testing and analysis of aspect-oriented programs, testing and analysis of web services and applications, testing and analysis of software designs, software verification, and software evolution. His research has exploited inferred program properties to improve automated software testing in the absence of specifications. Besides doing research, he has contributed to understanding the software engineering research community. His research has been supported by NSF SoD (3 yrs), NSF CyberTrust (3 yrs), NSF CSR (1 yr), ARO STIR (9 mons), CACC (1 yr, 1 yr), Microsoft Research (gift), and ABB Research (gift, gift).

Research
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

Automated Software Engineering Research Group   Group Blog
The Yangtse Project on Automated Software Testing in the Absence of Specifications
The Mose Project on Mining Open Source Software Engineering Data

        How is our research work related to software industry?

Released Tools: Stabilizer  Jov  Jusc  Romant

Selected Publications (Full Publications, More Selected Publications, DBLP, Google Scholar, Microsoft Libra, ACM Author, Presentations)

An Approach to Detecting Duplicate Bug Reports using Natural Language and Execution Information (ICSE 2008)
DSD-Crasher: A hybrid analysis tool for bug finding (TOSEM 2008)
PARSEWeb: A Programmer Assistant for Reusing Open Source Code on the Web (ASE 2007)
Mining API Patterns as Partial Orders from Source Code: From Usage Scenarios to Specifications (ESEC/FSE 2007)
Automated Inference of Pointcuts in Aspect-Oriented Refactoring (ICSE 2007)
A Fault Model and Mutation Testing of Access Control Policies (WWW 2007)
Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking (ECOOP 2006)
An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing (ASE 2006)
A Framework and Tool Supports for Generating Test Inputs of AspectJ Programs (AOSD 2006)
Tool-Assisted Unit-Test Generation and Selection Based on Operational Abstractions (ASE Journal 2006, previous version appeared in ASE 2003 and Nominated for the Best Paper Award)
Helping Users Avoid Bugs in GUI Applications (ICSE 2005)
Symstra: A Framework for Generating Object-Oriented Unit Tests using Symbolic Execution (TACAS 2005)
Checking Inside the Black Box: Regression Testing By Comparing Value Spectra (TSE Transaction 2005)
Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs (ISSRE 2005, previous version won the 3rd Place of 2005 ACM Student Research Competition Grand Finals)
Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests (ASE 2004)
More ...

Professional Service

    Conferences/Workshops:

1. Program Committee Member, International Symposium on Software Testing and Analysis (ISSTA 2009)
2. Program Committee Member, International World Wide Web Conference (WWW 2009), Security and Privacy Track
3. Program Committee Member, IEEE International Conference on Software Testing, Verification and Validation (ICST 2009)
4. Program Committee Member, International Working Conference on Mining Software Repositories (MSR 2009)
5. Tutorial Co-Chair, IEEE/ACM International Conference on Automated Software Engineering (ASE 2009)
6. North American Publicity Chair, IEEE International Conference on Software Testing, Verification and Validation (ICST 2009)

1. Organizing Committee Member, International Workshop on Web Testing (WebTest 2009) co-located with ICST 2009
2. Organizer, Workshop on State of the Art in Testing and Analysis co-located with the PC meeting for ISSTA 2009

1. Program Committee Member, IEEE/ACM International Conference on Automated Software Engineering (ASE 2008)
2. Program Committee Member, Doctoral Symposium, IEEE/ACM International Conference on Automated Software Engineering (ASE 2008)
3. Program Committee Member, International Symposium on Software Testing and Analysis (ISSTA 2008)
4. Program Committee Member, IEEE International Conference on Software Maintenance (ICSM 2008)
5. Program Committee Member, IEEE International Conference on Software Testing, Verification and Validation (ICST 2008)
6. Student Papers Track Program Co-Chair (with Henry Muccini), IEEE International Conference on Software Testing, Verification and Validation (ICST 2008)
7. Program Committee Member, IEEE International Conference on Web Services (ICWS 2008)
8. Program Committee Member, Workshops, ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2008)
9. Program Committee Member, Haifa Verification Conference (HVC 2008)

1. Program Committee Member, International Workshop on Recommendation Systems for Software Engineering (RSSE 2008) co-located with FSE 2008
2. Program Committee Member, Workshop on Automation of Software Test (AST 2008) co-located with ICSE 2008
3. Program Committee Member, IEEE International Workshop on Security in Software Engineering (IWSSE 2008) co-located with COMPSAC 2008
4. Program Committee Member, International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2008) co-located with ISSTA 2008
5. Program Committee Member, International Workshop on Security Testing (SECTEST 2008) co-located with ICST 2008
6. Program Committee Member, International Research Workshop on Advances and Innovations in Systems Testing (STEP 2008)
7. Program Co-Chair/Co-Organizer (with Tevfik Bultan), Workshop on Testing, Analysis and Verification of Web Software (TAV-WEB 08) co-located with ISSTA 2008

1. Expert-Review Panel Member, IEEE/ACM International Conference on Automated Software Engineering (ASE 2007)
2. Program Committee Member, International Conference on Aspect-Oriented Software Development (AOSD 2007)
3. Program Committee Member, IEEE International Conference on Software Maintenance (ICSM 2007)
4. Program Committee Member, International Conference on Tests And Proofs (TAP 2007)
5. Program Committee Member, Haifa Verification Conference (HVC 2007)
6. Program Committee Member, Hawaii International Conference on System Sciences (HICSS 2007), Software Technology Track, Testing and Analysis MiniTrack.
7. Program Committee Member, Short Papers, International Symposium on Empirical Software Engineering and Measurement (ESEM 2007)
8. Co-Organizer (with Abraham Bernstein, Harald Gall, and Andreas Zeller), Dagstuhl Seminar on Mining Programs and Processes (Dagstuhl Seminar 07491)
9. Session Chair, IEEE/ACM International Conference on Automated Software Engineering (ASE 2007)

    2007 Workshops:

1. Program Committee Member, Eclipse Technology eXchange Workshop (ETX 2007) co-located with OOPSLA 2007
2. Program Committee Member, Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2007) co-located with ESEC/FSE 2007
3. Program Committee Member, Workshop on Mutation Analysis (Mutation 2007) co-located with TAIC PART 2007
4. Program Committee Member, Workshop on Web Quality, Verification and Validation (WQVV 2007) co-located with ICWE 2007
5. Program Committee Member, International Workshop on Dynamic Analysis (WODA 2007) co-located with ICSE 2007
6. Program Committee Member, Workshop on Automation of Software Test (AST 2007) co-located with ICSE 2007
7. Program Committee Member, International Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD 2007) co-located with ISSTA 2007
8. Program Committee Member, Workshop on Testing of Aspect-Oriented Programs (WTAOP 2007) co-located with AOSD 2007
9. Program Committee Member, IEEE International Workshop on Testing for Emerging Software Technology (TEST 2007) co-located with COMPSAC 2007
10. Session Chair, Workshop on Automation of Software Test (AST 2007) co-located with ICSE 2007
11. Session Chair, ARO Planning Workshop on Embedded Systems and Network Security (ESNS 2007)

    2006 Conferences:

1. Program Committee Member, IEEE/ACM International Conference on Automated Software Engineering (ASE 2006)
2. Program Committee Member, Doctoral Symposium, IEEE/ACM International Conference on Automated Software Engineering (ASE 2006)
3. Program Committee Member, IEEE International Symposium on Software Reliability Engineering (ISSRE 2006)
4. Program Committee Member, Fast Abstracts, IEEE International Symposium on Software Reliability Engineering (ISSRE 2006)