News
- I'm thrilled to join Illinois CS in Fall'20!
- Two research papers on unified debugging and learning to fuzz accepted to ASE'20. Congratulations to Sam, Xia, Yiling and Haoyang!
- Two research papers on unified debugging and regression testing accepted to ISSTA'20. Congratulations to Yiling, Ali, Xia, Qianyang, and August!
- One research paper on efficient DNN testing accepted to TOSEM'20!
- NSF CAREER Award CCF-1942430 (PI): "CAREER: Maximal and Scalable Unified Debugging for the JVM Ecosystem" ($520K)
- Three research papers on bug detection accepted to ICSE 2020. Congratulations to Lingchao, Mingyuan, and Husheng!
- Two research papers on bug repair accepted to the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE'19). Congratulations to Jiajun and Mingyuan!
- One paper on program analysis for regression test selection accepted to the ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (SPLASH/OOPSLA'19).
- Our DeepFL and HoBuFF work won two ACM SIGSOFT Distinguished Paper Awards in the 28th ACM International Symposium on Software Testing and Analysis (ISSTA'19). Congratulations to Xia, Yiling, Wei, and Junjie!
- One paper on compiler debugging accepted to the 27th ACM SIGSOFT International
Symposium on the Foundations of Software Engineering (FSE'19). Congratulations to Junjie!
- Three research papers accepted to the ACM International Symposium on Software Testing and Analysis (ISSTA'19). Congratulations to Ali, Xia, Yiling, Sam, Wei, and Junjie!
- Our paper won the Best Industry Paper Award in the 12th IEEE International Conference on Software Testing, Verification and Validation (ICST'19). Congratulations to Hua!
- One paper accepted to the IEEE Transactions on Software Engineering (TSE'19). Congratulations to Mengshi, Xia, and Lingchao!
- Amazon AWS Research Grant to support our work on automated debugging
- Two research papers and one industry paper accepted to the 12th IEEE International Conference on Software Testing, Verification and Validation (ICST'19). Congratulations to Jie, Dongyu, Lingchao, and Hua!
- NVIDIA GPU Grant to support our work on testing with Deep Neural Networks
- NSF Award CCF-1763906 (PI): "SHF: Medium: Collaborative Research: Enhancing Continuous Integration Testing for the Open-Source Ecosystem" ($1.2M, UTD share $363K)
- One paper on testing autopilot systems accepted to the 33st IEEE/ACM International Conference on Automated Software Engineering (ASE'18). Congratulations to Mengshi!
- One paper on learning-based regression testing accepted to the 26th ACM SIGSOFT International
Symposium on the Foundations of Software Engineering
(FSE'18). Congratulations to Junjie and Yiling!
- One paper on speeding up symbolic execution accepted to the 32nd European Conference on Object-Oriented Programming (ECOOP'18). Congratulations to Junjie!
- One paper on hybrid test selection accepted to the 40th IEEE/ACM International Conference on Software Engineering (ICSE'18)
- One paper on faster mutation testing accepted to the 11th IEEE International Conference on Software Testing, Verification and Validation (ICST'18). Congratulations to Lingchao!
- Two papers accepted to the IEEE Transactions on Software Engineering (TSE'18)
- One paper on transformation-based debugging accepted to the ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (SPLASH/OOPSLA'17). Congratulations to Xia!
- One paper on pagerank-based debugging accepted to the ACM International Symposium on Software Testing and Analysis (ISSTA'17). Congratulations to Mengshi and Xia!
- One paper accepted to the 26th European Symposium on Programming (ESOP'17). Congratulations to Hao!
- One paper on test oracle construction accepted to the 31st IEEE/ACM International Conference on Automated Software Engineering (ASE'16)
- Two papers accepted to the 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE'16)
- The National Science Foundation (NSF) CRII Award CCF-1566589 (sole PI): "CRII:SHF: Machine-Learning-Based Test Effectiveness Prediction" ($174K)
- One paper on predictive mutation testing accepted to the ACM International Symposium on Software Testing and Analysis (ISSTA'16)
- One short paper on structurally-complex test generation accepted to the 8th NASA Formal Methods Symposium (NFM'16)
- Google Faculty Research Award
- One paper accepted to the IEEE International Conference on Software Testing, Verification and Validation (ICST'16)
- One paper accepted to the 38th IEEE/ACM International Conference on Software Engineering (ICSE'16)
- Two papers accepted to the 26th IEEE International Symposium on Software Reliability Engineering (ISSRE'15)
- One experience paper accepted to the ACM International Symposium on Software Testing and Analysis (ISSTA'15)
- One paper accepted to the 37th IEEE/ACM International Conference on Software Engineering (ICSE'15)
- Our artifact has been accepted by the Artifact Evaluation committee of POPL'15, and is publicly available [Link]
- One paper accepted to the 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'15)
- One paper accepted to ACM Transactions on Software Engineering and Methodology (TOSEM)