Identifying Patch Correctness in Test-Based Automatic Program Repair. - Xinyuan Liu; Muhan Zeng; Yingfei Xiong 001; Lu Zhang 023; Gang Huang 001 (CoRR, 2017)

Identifying patch correctness in test-based program repair. - Yingfei Xiong 001; Xinyuan Liu; Muhan Zeng; Lu Zhang 023; Gang Huang 001 (ICSE, 2018)

Detecting floating-point errors via atomic conditions. - Daming Zou; Muhan Zeng; Yingfei Xiong 001; Zhoulai Fu; Lu Zhang 023; Zhendong Su 001 (Proc. ACM Program. Lang., 2020)

Fault Localization via Efficient Probabilistic Modeling of Program Semantics. - Muhan Zeng; Yiqian Wu; Zhentao Ye; Yingfei Xiong 001; Xin Zhang 035; Lu Zhang 023 (ICSE, 2022)

PanGu-Coder2: Boosting Large Language Models for Code with Ranking Feedback. - Bo Shen; Jiaxin Zhang 029; Taihong Chen; Daoguang Zan; Bing Geng; An Fu; Muhan Zeng; Ailun Yu; Jichuan Ji; Jingyang Zhao 003; Yuenan Guo; Qianxiang Wang (CoRR, 2023)

CodeR: Issue Resolving with Multi-Agent and Task Graphs. - Dong Chen 015; Shaoxin Lin; Muhan Zeng; Daoguang Zan; Jian-Gang Wang; Anton Cheshkov; Jun Sun 001; Hao Yu; Guoliang Dong; Artem Aliev; Jie Wang; Xiao Cheng; et al. (CoRR, 2024)

SWE-bench-java: A GitHub Issue Resolving Benchmark for Java. - Daoguang Zan; Zhirong Huang; Ailun Yu; Shaoxin Lin; Yifan Shi; Wei Liu 007; Dong Chen 015; Zongshuai Qi; Hao Yu; Lei Yu; Dezhi Ran; Muhan Zeng; et al. (CoRR, 2024)

SmartFL: Semantics Based Probabilistic Fault Localization. - Yiqian Wu; Yujie Liu 005; Yi Yin; Muhan Zeng; Zhentao Ye; Xin Zhang 035; Yingfei Xiong 001; Lu Zhang 023 (IEEE Trans. Software Eng., 2025)