Department of Computer Science
Erik Jonsson School of Engineering & Computer Science
The University of Texas at Dallas
Please contact me if you are a self-motivated student with strong programming skills and strong interests in software testing, analysis, and verification. Please include a copy of your CV/Resume, including descriptions of your education background, programming skills, and previous projects, in your correspondence.
Multiple RAships/TAships available!
I got my Ph.D.'s degree in May. 2014 from the Electrical & Computer Engineering Department at The University of Texas at Austin. I was very fortunate to work under the supervision of Prof. Sarfraz Khurshid in the Software Verification Validation and Testing Group. I received my Master's degree in Computer Science from Peking University (China) in 2010 under the supervision of Prof. Lu Zhang. Before that, I got my Bachelor's degree in Computer Science from Nanjing University (China) in 2007.
My PhD work focuses on change-driven software testing, analysis, and verification. My research covers regression testing, which is a widely used methodology to validate that manual developer changes to code, say to refactor it, fix known bugs or meet new requirements, are not erroneous (see my papers at ICSM'11, ISSRE'11, TSE'12, JSME'13, and ICSE'13), as well as mutation testing, which is a widely used methodology to evaluate testing techniques by injecting mechanical mutation changes to code (see my papers at ICSM'10, ASE'13, and ISSTA'13). In addition, my research also proposes the first unification of manual developer changes and mechanical mutation changes: (1) the foundations of regression testing enable more efficient mutation testing (see my papers at ISSTA'12 and ISSTA'13); and (2) the foundations of mutation testing enable more precise debugging in regression testing (see my paper at OOPSLA'13).
Besides my main research interests in software engineering, my research work also covers formal methods and programming languages, including symbolic execution, model checking, first-order logic, dynamic invariant inference, and points-to analysis. While my current research work mainly aims to help people build more reliable software systems, I also interested in concurrent computing, cloud computing, security, and human computer interaction, since I also fascinated with building faster, as well as more portable, secure, and accessible software systems.