Fast Detection, Localization, and Patch Generation for Concurrency Defects
Completed project. Project participant. Designed a heuristic scheduling testing method for Java concurrent programs.
Completed project. Project participant. Designed a heuristic scheduling testing method for Java concurrent programs.
Ongoing project. Student leader. Designed mutation rules and heuristic guidance for deep learning framework testing.
Completed project. Student leader. Developed a component-based generalization testing tool for large-scale models on MindSpore.
Completed project. Student leader. Developed a MindSpore-based model structure generalization testing tool.

International Joint Conference on Neural Networks (IJCNN 2019), 2019
Journal of Software: Evolution and Process, 2020
IEEE International Conference on Software Quality, Reliability and Security (QRS 2021), 2021
Information and Software Technology, 2021
软件学报 / International Journal of Software & Informatics, 2022
Information and Software Technology, 2022
IEEE/ACM Automated Software Engineering Conference (ASE 2024), 2024
International Symposium on Software Testing and Analysis (ISSTA 2025), 2025
IEEE Transactions on Software Engineering, 2025
ACM Transactions on Software Engineering and Methodology, 2025, Major revision
IEEE/ACM International Conference on Automated Software Engineering, 2025
ACM Transactions on Software Engineering and Methodology, 2026
Findings of the Association for Computational Linguistics, 2026
The 2nd International Workshop on Large Language Model Supply Chain Analysis (LLMSC 2026), co-located with FSE 2026, 2026, Accepted arXiv | PDF | DOI | Workshop
IEEE/ACM Automated Software Engineering Conference (ASE 2026), 2026
ACM Transactions on Software Engineering and Methodology, 2026