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.
LLM Generalization Testing Tool for MindSpore
Completed project. Student leader. Developed a component-based generalization testing tool for large-scale models on MindSpore.
MindSpore Model Generalization Testing Technology
Completed project. Student leader. Developed a MindSpore-based model structure generalization testing tool.
