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:    11/29/08: ASE 2009 ERP 10/15/08: ICSE 2010 09/22/08: ICSM 09 PC Co-Chair 08/01/08: SSBSE 2009 07/08/08: WWW 2009 06/03/08: ICST 2009 05/30/08: MSR 2009 05/30/08: Co-organize WebTest 09 05/06/08: ISSTA 2009 05/04/08: ASE 2009 Tutorial Co-Chair 11/19/07: ASE 2008  05/03/07: ISSTA 2008 10/08/06: ASE 2007  more ...	Paper news: 11/21/08: ICSE 2009*2 (12%) 08/18/08: ACSAC 2008 (24%) 07/24/08: ISSRE 2008 (25%) 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%) 02/01/08: SIGMETRICS 2008 (18%) 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: 11/08: IBM Jazz Award (gift) 09/08: ARO (3 yrs) 09/08: NSF/NIST Suppl (1 yr) 07/08: IBM Faculty Award (gift) 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) more ...
Phone: (919) 515-3772 Fax:     (919) 515-7896
News:  My Ph.D. student Mithun Acharya graduating, being in the job market!

(feedback on these collections) 
 Join the Software Engineering Research Community Facebook group and Junior Faculty Group in Software Engineering!
Open Research Software Engineering

  Software Engineering Academic Genealogy    Software Engineering Conferences (SE Conference Map)    Software Engineering Awards    Computer Engineering Academic Genealogy maintained by my elder brother Yuan Xie
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  Research Skills   Advice on Getting a Start into Research    Advice on Writing Research Papers (ppt)  Common Technical Writing Issues (ppt)   Tools and Tips for Writing Papers                                                                                    

Our NCS ASE group has a group blog, and REU blog!    
Wiki site for Teaching Parameterized Unit Testing/Pex
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 is 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), ARO (3 yrs), IBM Faculty Award (gift), Microsoft Research (gift), ABB Research (gift, gift)
Past funding:  NSF CSR (1 yr), 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 ARO, 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: Fitnex (Pex extensions)  Stabilizer  Jov  Jusc  Romant
Wiki site for Teaching Parameterized Unit Testing/Pex

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

Mining Exception-Handling Rules as Conditional Association Rules (ICSE 2009)
Locating Need-to-Translate Constant Strings for Software Internationalization (ICSE 2009)
An Approach to Detecting Duplicate Bug Reports using Natural Language and Execution Information (ICSE 2008)
Automated Inference of Pointcuts in Aspect-Oriented Refactoring (ICSE 2007)
Helping Users Avoid Bugs in GUI Applications (ICSE 2005)
Mining API Patterns as Partial Orders from Source Code: From Usage Scenarios to Specifications (ESEC/FSE 2007)
Symstra: A Framework for Generating Object-Oriented Unit Tests using Symbolic Execution (TACAS 2005)
DSD-Crasher: A hybrid analysis tool for bug finding (TOSEM 2008)
A Fault Model and Mutation Testing of Access Control Policies (WWW 2007)
Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking (ECOOP 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)
Checking Inside the Black Box: Regression Testing By Comparing Value Spectra (TSE 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)
More ...

Professional Service

    Conferences/Workshops:

1. Program Committee Member, International Conference on Software Engineering (ICSE 2010)

1. Program Committee Co-Chair, IEEE International Conference on Software Maintenance (ICSM 2009)
2. Program Committee Member, International Symposium on Software Testing and Analysis (ISSTA 2009)
3. Expert-Review Panel Member, IEEE/ACM International Conference on Automated Software Engineering (ASE 2009)
4. Program Committee Member, International World Wide Web Conference (WWW 2009), Security and Privacy Track
5. Program Committee Member, IEEE International Conference on Software Testing, Verification and Validation (ICST 2009)
6. Program Committee Member, International Working Conference on Mining Software Repositories (MSR 2009)
7. Program Committee Member, International Symposium on Search Based Software Engineering (SSBSE 2009)
8. Tutorial Co-Chair, IEEE/ACM International Conference on Automated Software Engineering (ASE 2009)
9. 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)
5. Program Committee Member, Haifa Verification Conference (HVC 2006)
6. Program Committee Member, International Conference on Quality Software (QSIC 2006)
7. Session Chair, IEEE International Symposium on Software Reliability Engineering (ISSRE 2006)
8. Publicity Co-Chair, IEEE International Symposium on Software Reliability Engineering (ISSRE 2006)

    2006 Workshops:

1. Program Committee Member, Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2006) co-located with FSE 2006
2. Program Committee Member, Workshop on Supporting Knowledge Collaboration in Software Development (KCSD 2006) co-located with ASE 2006
3. Program Committee Member, International Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD 2006) co-located with ISSTA 2006 
4. Program Committee Member, Workshop on Testing, Analysis and Verification of Web Services and Applications (TAV-WEB 2006) co-located with ISSTA 2006 
5. Program Committee Member, International Workshop on Dynamic Analysis (WODA 2006) co-located with ICSE 2006
6. Program Committee Member, Workshop on Automation of Software Test (AST 2006) co-located with ICSE 2006

1. 2005 Program Committee Member, IBM Verification Conference (IBM Verification 2005)

1. 2005 Program Committee Member, International Workshop on Reverse Engineering To Requirements (RETR 2005) co-located with WCRE 2005
2. 2005 Program Committee Member, ACM SIGPLAN Student Research Competition (ACM SIGPLAN SRC 2005) co-located with OOPSLA 2005

    Conference/Workshop Reviewers:

• 2007
• Reviewer, European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2007)
• Reviewer, ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2007)
• Reviewer, European Conference on Object-Oriented Programming (ECOOP 2007)
• Reviewer, International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007)
• Reviewer, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2007)
• 2006 
• Reviewer, International Conference on Software Engineering (ICSE 2006)
• Reviewer, ACM Southeast Conference (ACMSE 2006)
• 2005
• Reviewer, International Conference on Aspect-Oriented Software Development (AOSD 2005)
• Reviewer, Software Process Workshop (SPW 2005)
• 2004
• Reviewer, ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools (PASTE 2004)

    Journals Referees:

• Referee, IEEE Transaction on Software Engineering (TSE) (2005, 2006, 2007)
• Referee, ACM Transactions on Software Engineering and Methodology (TOSEM) (2004, 2006, 2007, 2008)
• Referee, IEEE Software (2005)
• Referee, Software Testing, Verification and Reliability (STVR) (2007)
  
• Referee, Empirical Software Engineering (EMSE) (2006, 2007)
• Referee, Journal of Systems and Software (JSS) (2007)
• Referee, Information and Software Technology Journal (IST) (2005, 2007)
• Referee, Software and Systems Modeling (SoSyM) (2006)
• Referee, Journal of Software Maintenance and Evolution: Research and Practice (JSME) (2007)
• Referee, IBM Systems Journal (2007)
• Referee, IEEE Security & Privacy (S&P) (2007)
• Referee, Data Mining and Knowledge Discovery (DAMI) (2007)
• Referee, The Computer Journal (2006)
• Referee, Journal of Computer Science and Technology (JCST) (2007)

    Others:

• 2006, 2007 Panelist, National Science Foundation (NSF) proposal review panel
• 2008 Proposal Reviewer, Army Research Office (ARO)
• 2008 Proposal Reviewer, Dutch Research Council (NWO)
• 2007 External Reviewer, Research Grants Council (RGC) of Hong Kong
• 2007 Proposal Reviewer, Maryland Industrial Partnerships Program (MIPS)
• 2006 Proposal Reviewer, Maryland Technology Development Corporation (TEDCO)
• 2006 Book reviewer, Cambridge University Press
• 2005 Book reviewer, McGraw-Hill
• Creator and Maintainer of popular web resources for the Software Engineering Research Community and a comprehensive Advice Collection
• Member of the AOAsia network of Asian AOSD Researchers
• Active Member of MentorNet, the E-Mentoring Network for Diversity in Engineering and Science
• Volunteer of ACM SIGSOFT
• Member of ACM, ACM SIGSOFT, ACM SIGPLAN, and IEEE
• Research Ethics Senior Fellow (2005-08), the Research and Professional Ethics Program at NC State University
• Faculty Member of Institute for Advanced Analytics at NC State University

Students (Group Blog)

• Dr. Xie is looking for bright, motivated (undergrad or grad) students and other colleagues to work with him on research projects related to his research interests. 
• Students with whom Dr. Tao Xie is working: 
   Ph.D. Students:
     Mithun Acharya (Jan 06-)  graduating, being in the job market!
           [NCSU GSRS 06][DSN 06 SF][IBM Research Internship 06][ASE 06][SIGPLAN SRC 06][ISSRE 06]
           [FSE 06 DS][Microsoft CSE Internship 07][ESEC/FSE 07][NSFNGS 2008][Google Summer of Code 08]
     JeeHyun Hwang (Jan 07-)
           [IWSSE 07][ABB Research Internship 07][SIGMETRICS 08][ABB Research Internship 08]
           [TAV-WEB 08][SRDS 08][ACSAC 08]
     Nuo Li (Exchange Ph.D. student at Beihang U., Sept 07-) co-advised with Mao-zhong Jin
           [ABB Research Internship 08][TAV-WEB 08]
     Evan Martin (Full-time@Google, Aug 05-)
           [IBM Ph.D. Fellowship 05-06][ICSE 06 ER][ICSE 06 DE][POLICY 06][SIGPLAN SRC 06][SOAWS 06]
           [ISSRE 06 FA][ICICS 06][ICSE 07 DE][ICSE 07 DS][WWW 07][SESS 07][ICWS 07 Industry][IWSSE 07][ACSAC 08]
     Kunal Taneja (Aug 06-)
           [AST 07][Avaya Labs Research Internship 07][ASE 07][NSFNGS 2008][IBM Research Internship 08]
           [ASE 08]
     Suresh Thummalapenta (Jan 07-)
           [RCOST Internship 07][SIGPLAN SRC 07][ASE 07][ETX 07](Best Student Paper Award)[NSFNGS 08][MSR 08]
           [ISSTA 08 Student Poster][NEC Labs Internship 08][ASE 08][ICSE 09]
  Master Student:
     Madhuri R Marri (Jan 08-)
  Undergraduate Students: (NCSU ASE REU Blog)
     Bellanov Apilli (June 08-)
           [Tapia 09 poster]
     Kamar Galloway (Dec 08-)
     Justin W. Gorham (Jan 08-)
  
  Other students who participate in research activities of the NCSU ASE group
  
  Past students:
   M.S.
     Kobina Inkumsah (M.S., Jan 06-May 08) [Master Thesis] (IBM)
           [ASE 07][ASE 08]
     Hai Yuan (M.S., Aug 05-May 06)
           [RETR 05][ICSE 06 DE][AST 06]
   Others
     Prasanth Anbalagan (M.S. Student, Jan 06-Dec 06) [WTAOP 06][SIGPLAN SRC 06][MUTATION 06][FSE 06 Poster][FSE 06 Inspiration][ICSE 07][ISSRE 08]
     Suranjana Basu (M.S. Student, Aug 06-Feb 07) [SOAWS 06][ICSE 07 DE][ICWS 07 Industry]
     Anjali Khatri (Undergraduate Student, April 08-May 08)
     John Cosgrove Stille (B.S., Oct 06-Aug 07) [NCSU Undergrad Research Award 06]
     Robinson N. Udechukwu (Undergraduate Student, April 08-May 08)
     Tsy-Wang (Amos) Yang (M.S. Student, Full-time@Microsoft, Aug 06-Dec 07)
  
  If you would like to work with him, please read his FAQs by students. To get a quick start on research, you can read his advice on getting a start into research, his advice on writing research papers, and the overview of his past and current research. You can read introductory readings of software testing research. You can also join his weekly research group meeting.
  
• Dr. Xie's Ph.D. advisor is David Notkin, who received the University of Washington Distinguished Graduate Mentor Award (2000) and whose Ph.D. advisor is Nico Habermann (1932-1993), whose Ph.D. advisor is Edsger Dijkstra (1930-2002). All of them are Dr. Xie's role models of great software engineering researchers and educators. Dr. Xie's academic relatives can be found at his Software Engineering Academic Genealogy. Here is David Notkin's ACM Fellow Profile published in ACM SIGSOFT SEN Nov 2006.
• If you are going to attend your (first) conference or workshop, read David Notkin's advice and Mike Ernst's advice.
• Dr. Xie's Advice on Getting a Start into Research, Advice on Writing Research Papers, and Common Technical Writing Issues

Teaching

• 2008 Fall (Academic Calendar)
• CSC 712  Software Testing and Reliability 
• Future courses
• 2009 Spring 
• CSC 326  Software Engineering
• CSC510  Software Engineering (archived course web) (testing slides)
• MSA Text Mining
• Past courses
• 2008 Spring
• CSC 326  Software Engineering
• CSC 591T  Special Topics on Software Testing and Analysis
• MSA Text Mining
• 2007 Fall
• CSC510  Software Engineering (archived course web)
• 2007 Spring
• CSC 326  Software Engineering
• CSC 591T  Special Topics on Software Testing and Analysis
• 2006 Spring
  • CSC 591T  Special Topics on Software Testing and Analysis
  • CSC 516  IT and Information Security Practicum (with Dr. Julie Earp)
• 2005 Fall
  • Reading Group on Testing and Verification (with Drs. Richard Mayr and Purushothaman Iyer)

Personal                                                        Tao Xie was born in Hezhou , Guang-Xi Province , P. R. China. His Chinese name is , pronounced as . Academia Related to both China and Software Engineering  Fudan University Computer Science Dept. Alumni   Peking University Compute Science Dept. Alumni    University of Washington/US              North Carolina State University                  Peking University Software Engineering Alumni Forum   Academia Related to China and Software Research Around the World Tao Xie has visited 20 states in US. Tao Xie's elder brother Yuan Xie is a faculty member at Computer Science and Engineering Dept., Penn State University.  For Tao Xie's friends/colleagues/students: to see whether he is online, send him an email for requesting his MSN Messenger ID, Google Talk ID, Yahoo Messenger ID, Skype ID, or QQ ID, and telling him yours.

Maintained by