Commit Artifact Preserving Build Prediction. - Guoqing Wang 004; Zeyu Sun 004; Yizhou Chen; Yifan Zhao; Qingyuan Liang; Dan Hao 001 (ISSTA, 2024)

Spotting Code Mutation for Predictive Mutation Testing. - Yifan Zhao; Yizhou Chen; Zeyu Sun 004; Qingyuan Liang; Guoqing Wang 004; Dan Hao 001 (ASE, 2024)

Do Advanced Language Models Eliminate the Need for Prompt Engineering in Software Engineering? - Guoqing Wang 004; Zeyu Sun 004; Zhihao Gong; Sixiang Ye; Yizhou Chen; Yifan Zhao; Qingyuan Liang; Dan Hao 001 (CoRR, 2024)

Gpass: A Goal-Adaptive Neural Theorem Prover Based on Coq for Automated Formal Verification. - Yizhou Chen; Zeyu Sun 004; Guoqing Wang 004; Dan Hao 001 (ICSE, 2025)

Directional Diffusion-Style Code Editing Pre-training. - Qingyuan Liang; Zeyu Sun 004; Qihao Zhu; Junhao Hu; Yifan Zhao; Yizhou Chen; Mingxuan Zhu; Guoqing Wang 004; Lu Zhang 023 (CoRR, 2025)

Is It Hard to Generate Holistic Commit Message? - Guoqing Wang 004; Zeyu Sun 004; Jinhao Dong; Yuxia Zhang; Mingxuan Zhu; Qingyuan Liang; Dan Hao 001 (ACM Trans. Softw. Eng. Methodol., 2025)

Prompt Alchemy: Automatic Prompt Refinement for Enhancing Code Generation. - Sixiang Ye; Zeyu Sun 004; Guoqing Wang 004; Liwei Guo; Qingyuan Liang; Zheng Li 002; Yong Liu 030 (CoRR, 2025)

Automatically Learning a Precise Measurement for Fault Diagnosis Capability of Test Cases. - Yifan Zhao; Zeyu Sun 004; Guoqing Wang 004; Qingyuan Liang; Yakun Zhang 001; Yiling Lou; Dan Hao 001; Lu Zhang 023 (ACM Trans. Softw. Eng. Methodol., 2025)