Automated Program Repair by Using Similar Code Containing Fix Ingredients. - Tao Ji; Liqian Chen; Xiaoguang Mao; Xin Yi 002 (COMPSAC, 2016)

Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies. - Xin Yi 002; Liqian Chen; Xiaoguang Mao; Tao Ji (APSEC, 2017)

Automated Repair of High Inaccuracies in Numerical Programs. - Xin Yi 002; Liqian Chen; Xiaoguang Mao; Tao Ji (ICSME, 2017)

Multi-Location Program Repair: Roads Ahead. - Shangwen Wang; Xiaoguang Mao; Nan Niu; Xin Yi 002; Anbang Guo (CoRR, 2018)

How Different Is It Between Machine-Generated and Developer-Provided Patches? : An Empirical Study on the Correct Patches Generated by Automated Program Repair Techniques. - Shangwen Wang; Ming Wen 001; Liqian Chen; Xin Yi 002; Xiaoguang Mao (ESEM, 2019)

Multi-Location Program Repair Strategies Learned from Successful Experience (S). - Shangwen Wang; Xiaoguang Mao; Nan Niu; Xin Yi 002; Anbang Guo (SEKE, 2019)

Dissection on Java Organs in GitHub Repositories. - Shangwen Wang; Xiaoguang Mao; Xin Yi 002 (IEEE Access, 2019)

Efficient automated repair of high floating-point errors in numerical libraries. - Xin Yi 002; Liqian Chen; Xiaoguang Mao; Tao Ji (Proc. ACM Program. Lang., 2019)

Understanding Merge Conflicts and Resolutions in Git Rebases. - Tao Ji; Liqian Chen; Xin Yi 002; Xiaoguang Mao (ISSRE, 2020)

Evolutionary Conflict Checking. - Tao Ji; Liqian Chen; Xiaoguang Mao; Xin Yi 002; Jiahong Jiang (CoRR, 2020)

NuMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs. - Chenghu Ma; Liqian Chen; Xin Yi 002; Guangsheng Fan; Ji Wang 001 (APSEC, 2022)

Detecting High Floating-Point Errors via Ranking Analysis. - Zheng Wang; Xin Yi 002; Hengbiao Yu; Banghu Yin (APSEC, 2022)

Symbolic Verification of Message Signatures in MPI. - Hengbiao Yu; Banghu Yin; Xin Yi 002 (ICST, 2022)

Automated regression unit test generation for program merges. - Tao Ji; Liqian Chen; Xiaoguang Mao; Xin Yi 002; Jiahong Jiang (Sci. China Inf. Sci., 2022)

Efficient Generation of Floating-Point Inputs for Compiler-Induced Variability. - Hengbiao Yu; Xin Yi 002; Banghu Yin; Fa Li; Zhenbang Chen; Chun Huang (SANER, 2023)

Seeing the Whole Elephant: Systematically Understanding and Uncovering Evaluation Biases in Automated Program Repair. - Deheng Yang; Yan Lei; Xiaoguang Mao; Yuhua Qi; Xin Yi 002 (ACM Trans. Softw. Eng. Methodol., 2023)

Parallel Optimization for Accelerating the Generation of Correctly Rounded Elementary Functions. - Xianglin Wang; Xin Yi 002; Hengbiao Yu; Chun Huang; Lin Peng 001 (ICPP, 2024)

FPCC: Detecting Floating-Point Errors via Chain Conditions. - Xin Yi 002; Hengbiao Yu; Liqian Chen; Xiaoguang Mao; Ji Wang 001 (Proc. ACM Program. Lang., 2024)

Strider: Signal Value Transition-Guided Defect Repair for HDL Programming Assignments. - Deheng Yang; Jiayu He; Xiaoguang Mao; Tun Li; Yan Lei; Xin Yi 002; Jiang Wu 017 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

FPCC: Detecting Floating-Point Errors via Chain Conditions (Paper Artifact). - Xin Yi 002; Hengbiao Yu; Liqian Chen; Xiaoguang Mao; Ji Wang 001 (Zenodo, 2024)

Fine-Grained Global Search for Inputs Triggering Floating-Point Exceptions in Gpu Programs. - Xin Yi 002; Hengbiao Yu; Liqian Chen; Xiaoguang Mao; Ji Wang 001; Chun Huang; Deheng Yang (IPDPS, 2025)

An empirical study of error-free transformations for enhancing mathematical function precision. - Dongting Chen; Jie Shen 003; Chun Huang; Xin Yi 002 (CCF Trans. High Perform. Comput., 2025)