40 likes | 152 Views
Tao Xie Assistant Professor North Carolina State University (PhD, Univ. of Washington, 2005) http://www.csc.ncsu.edu/faculty/xie/. http://asegrp.blogspot.com/. http://historywiki.acm.org/sigs/SIGSOFT. Mining Software Engineering Data. Mining source code for
E N D
Tao Xie Assistant Professor North Carolina State University (PhD, Univ. of Washington, 2005) http://www.csc.ncsu.edu/faculty/xie/ http://asegrp.blogspot.com/ http://historywiki.acm.org/sigs/SIGSOFT
Mining Software Engineering Data • Mining source code for • Programming [ECOOP 09, ASE 08, ASE 07, ICSE 07] • Bug finding [ICSE 09, ASE 09, FASE 09, FSE 07, ASE 06] • Software internationalization [ICSE 09] • Language migration [ICSE 10] • Mining text (bug reports, API doc) for • Duplicate bug report detection [ICSE 08] • Bug finding [ASE 09] • Mining program executions for • Bug avoidance [ICSE 05] Supported by NSF CSR, ARO, IBM Jazz Award, ABB Research
Automated Software Testing • Collaborative projects with Microsoft Research • http://pexase.codeplex.com/ • Test generation [FSE 09, ASE 09, DSN 09, ASE 08, TACAS 05, ASE 04] • Regression testing [ISSTA 09, ASE 08, TSE 05] • Test oracles [TOSEM 08, ASE 06, ECOOP 06, ASE 03] • Mutation testing [ICSE 10] • Security Policy testing [SIGMETRICS 08, WWW 07] Supported by NSF CAREER, NSF SHF, NSF SoD, NSF CyberTrust, NIST, ARO, IBM Faculty Awards, Microsoft Research
Tool Automation & Human Factors • Upper-limit boosting of tool automation • e.g., loops [DSN 09] • e.g., method sequences [ESEC/FSE 09] • “Cooperative testing” = tool human • tool human • e.g., irrelevant-issue reduction • human tool • e.g., factory methods/mock objects • e.g., parameterized unit tests as specs • Testing education/training • e.g., powerful tool makes human agnostic of white-box coverage criteria?