Publications

You can also find an up-to-date list on my Google Scholar profile.

• Beyond the Sum of Parts: Leveraging Entanglement for Bug Inducing Commit Localization
  Guoqing Wang, Zeyu Sun, Yizhou Chen, Yifan Zhao, Haiyang Shen, Qingyuan Liang, Dan Hao.
  IEEE Transactions on Software Engineering (TSE).
  Links: DOI

• Do Advanced Language Models Eliminate the Need for Prompt Engineering in Software Engineering?
  Guoqing Wang, Zeyu Sun, Zhihao Gong, Sixiang Ye, Yizhou Chen, Yifan Zhao, Qingyuan Liang, Dan Hao.
  ACM Transactions on Software Engineering and Methodology (TOSEM).
  Links: DOI, arXiv

• Is It Hard to Generate Holistic Commit Message?
  Guoqing Wang, Yuxia Zhang, Jinhao Dong, Zeyu Sun, Qingyuan Liang, Dan Hao.
  ACM Transactions on Software Engineering and Methodology (TOSEM), 34(2), Article 36 (2025).
  Links: DOI

• Commit Artifact Preserving Build Prediction
  Guoqing Wang, Zeyu Sun, Yizhou Chen, Yuxia Zhang, Qingyuan Liang, Dan Hao.
  Proceedings of ISSTA 2024, 826–837 (2024).
  Links: DOI

• Improving Smart Contract Vulnerability Detection with Correlation-Driven Semi-Supervised Learning
  Yizhou Chen, Zeyu Sun, Guoqing Wang, Dan Hao.
  IEEE Transactions on Software Engineering (TSE).
  Links: DOI

• Bipartite-grammar aware pretraining for xml-sql code updating
  Qingyuan Liang, Zeyu Sun, Yifan Zhao, Zhihao Gong, Guoqing Wang, Yizhou Chen, Lu Zhang, Guangtai Liang, Qianxiang Wang.
  ACM Transactions on Software Engineering and Methodology (TOSEM), 35(2), Article 36 (2026).
  Links: DOI

• Automatically Learning a Precise Measurement for Fault Diagnosis Capability of Test Cases
  Yifan Zhao, Sixiang Ye, Zeyu Sun, Liwei Guo, Zheng Li, Qingyuan Liang, Yuxia Zhang, Guoqing Wang, Dan Hao.
  ACM Transactions on Software Engineering and Methodology (TOSEM), 34(6), Article 170 (2025).
  Links: DOI, arXiv

• GramTrans: A Better Code Representation Approach in Code Generation
  Zhao Zhang, Qingyuan Liang, Zeyu Sun, Yizhou Chen, Guoqing Wang, Yican Sun, Lu Zhang, Ge Li, Yingfei Xiong.
  arXiv preprint (2025).
  Links: arXiv

• Prompt Alchemy: Automatic Prompt Refinement for Enhancing Code Generation
  Sixiang Ye, Zeyu Sun, Guoqing Wang, Liwei Guo, Zheng Li, Qingyuan Liang.
  IEEE Transactions on Software Engineering (TSE), 51(9), 2472–2493 (2025).
  Links: DOI, arXiv

• Directional Diffusion-Style Code Editing Pre-Training
  Qingyuan Liang, Zeyu Sun, Junhao Hu, Dan Hao, Yizhou Chen, Guoqing Wang, Yuxia Zhang, Yifan Zhao.
  IEEE Transactions on Software Engineering (TSE), 51(9), 2583–2600 (2025).
  Links: DOI, arXiv

• Coverage-Based Fault Localization in Haskell
  Feng Li, Guo-Qing Wang, Meng Wang, Dan Hao.
  Journal of Computer Science and Technology (JCST), 40(1), 158–177 (2025).
  Links: DOI

• Gpass: A Goal-Adaptive Neural Theorem Prover Based on Coq for Automated Formal Verification
  Yizhou Chen, Junhao Hu, Zeyu Sun, Qingyuan Liang, Guoqing Wang, Dan Hao.
  Proceedings of ICSE 2025, 29–41 (2025).
  Links: DOI

• Spotting Code Mutation for Predictive Mutation Testing
  Yifan Zhao, Yizhou Chen, Zeyu Sun, Qingyuan Liang, Guoqing Wang, Dan Hao.
  Proceedings of ASE 2024, 1133–1145 (2024).
  Links: DOI