Fast Detection, Localization, and Patch Generation for Concurrency Defects
Completed project. Project participant. Designed a heuristic scheduling testing method for Java concurrent programs.
Portfolio
Research on Key Mutation Testing Techniques for DL Frameworks
Ongoing project. Student leader. Designed mutation rules and heuristic guidance for deep learning framework testing.
Generalization Testing for Large-Model Frameworks
Completed project. Student leader. Developed a generalization testing framework for large-model training systems.
MindSpore Model Generalization Testing Technology
Completed project. Student leader. Developed a MindSpore-based model structure generalization testing tool.
