| 2026 | ACL | TRACE: Evaluating Execution Efficiency of LLM-Based Code Translation. | Zhihao Gong, Zeyu Sun, Dong Huang, Qingyuan Liang, Jie M. Zhang, Dan Hao |
| 2026 | SIGIR | PurifAI: Detecting and Fixing Search-Induced Distortions in Web-Augmented LLMs. | Guoqing Wang, Zhao Zhang, Zeyu Sun, Xiaofei Xie, Yizhou Chen, Yanchao Tan, Dan Hao |
| 2025 | ICSE | Gpass: A Goal-Adaptive Neural Theorem Prover Based on Coq for Automated Formal Verification. | Yizhou Chen, Zeyu Sun, Guoqing Wang, Dan Hao |
| 2024 | ECOOP | Formalizing, Mechanizing, and Verifying Class-Based Refinement Types. | Ke Sun, Di Wang, Sheng Chen, Meng Wang, Dan Hao |
| 2024 | ICSE | Improving Smart Contract Security with Contrastive Learning-based Vulnerability Detection. | Yizhou Chen, Zeyu Sun, Zhihao Gong, Dan Hao |
| 2024 | ICSE | Learning-based Widget Matching for Migrating GUI Test Cases. | Yakun Zhang, Wenjie Zhang, Dezhi Ran, Qihao Zhu, Chengfeng Dou, Dan Hao, Tao Xie, Lu Zhang |
| 2024 | ISSTA | Commit Artifact Preserving Build Prediction. | Guoqing Wang, Zeyu Sun, Yizhou Chen, Yifan Zhao, Qingyuan Liang, Dan Hao |
| 2024 | ISSTA | Synthesis-Based Enhancement for GUI Test Case Migration. | Yakun Zhang, Qihao Zhu, Jiwei Yan, Chen Liu, Wenjie Zhang, Yifan Zhao, Dan Hao, Lu Zhang |
| 2023 | APLAS | What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical Study. | Ke Sun, Sheng Chen, Meng Wang, Dan Hao |
| 2023 | ICSE | Revisiting Learning-based Commit Message Generation. | Jinhao Dong, Yiling Lou, Dan Hao, Lin Tan |
| 2022 | ICSE | FIRA: Fine-Grained Graph-Based Code Change Representation for Automated Commit Message Generation. | Jinhao Dong, Yiling Lou, Qihao Zhu, Zeyu Sun, Zhilin Li, Wenjie Zhang, Dan Hao |
| 2022 | ICSE | Automated Assertion Generation via Information Retrieval and Its Integration with Deep learning. | Hao Yu, Yiling Lou, Ke Sun, Dezhi Ran, Tao Xie, Dan Hao, Ying Li, Ge Li, Qianxiang Wang |
| 2020 | ISSRE | Cost-Effective Testing of a Deep Learning Model through Input Reduction. | Jianyi Zhou, Feng Li, Jinhao Dong, Hongyu Zhang, Dan Hao |
| 2020 | ISSTA | Can automated program repair refine fault localization? a unified debugging approach. | Yiling Lou, Ali Ghanbari, Xia Li, Lingming Zhang, Haotian Zhang, Dan Hao, Lu Zhang |
| 2019 | ICSE | An empirical investigation of incident triage for online service systems. | Junjie Chen, Xiaoting He, Qingwei Lin, Yong Xu, Hongyu Zhang, Dan Hao, Feng Gao, Zhangwei Xu, Yingnong Dang, Dongmei Zhang |
| 2019 | ICST | Do Pseudo Test Suites Lead to Inflated Correlation in Measuring Test Effectiveness? | Jie M. Zhang, Lingming Zhang, Dan Hao, Meng Wang, Lu Zhang |
| 2019 | ICST | An Empirical Comparison of Mutant Selection Assessment Metrics. | Jie M. Zhang, Lingming Zhang, Dan Hao, Lu Zhang, Mark Harman |
| 2019 | ISSTA | History-driven build failure fixing: how far are we? | Yiling Lou, Junjie Chen, Lingming Zhang, Dan Hao, Lu Zhang |
| 2018 | ECOOP | Learning to Accelerate Symbolic Execution via Code Transformation. | Junjie Chen, Wenxiang Hu, Lingming Zhang, Dan Hao, Sarfraz Khurshid, Lu Zhang |
| 2018 | ICSE | Context-aware patch generation for better automated program repair. | Ming Wen, Junjie Chen, Rongxin Wu, Dan Hao, Shing-Chi Cheung |
| 2018 | ICST | To Detect Abnormal Program Behaviours via Mutation Deduction. | Jie Zhang, Dan Hao, Lingming Zhang, Lu Zhang |
| 2017 | ICSE | Learning to prioritize test programs for compiler testing. | Junjie Chen, Yanwei Bai, Dan Hao, Yingfei Xiong, Hongyu Zhang, Bing Xie |
| 2017 | ICST | How Do Assertions Impact Coverage-Based Test-Suite Reduction? | Junjie Chen, Yanwei Bai, Dan Hao, Lingming Zhang, Lu Zhang, Bing Xie |
| 2017 | ICST | Impact of Static and Dynamic Coverage on Test-Case Prioritization: An Empirical Study. | Jianyi Zhou, Dan Hao |
| 2017 | ISSTA | Faster mutation analysis via equivalence modulo states. | Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, Dan Hao |
| 2016 | ICSE | An empirical comparison of compiler testing techniques. | Junjie Chen, Wenxiang Hu, Dan Hao, Yingfei Xiong, Hongyu Zhang, Lu Zhang, Bing Xie |
| 2016 | ICSE | How does regression test prioritization perform in real-world software evolution? | Yafeng Lu, Yiling Lou, Shiyang Cheng, Lingming Zhang, Dan Hao, Yangfan Zhou, Lu Zhang |
| 2016 | ICSE | PRADA: prioritizing android devices for apps by mining large-scale usage data. | Xuan Lu, Xuanzhe Liu, Huoran Li, Tao Xie, Qiaozhu Mei, Dan Hao, Gang Huang, Feng Feng |
| 2016 | ICSE | Mining usage data from large-scale Android users: challenges and opportunities. | Xuan Lu, Xuanzhe Liu, Huoran Li, Tao Xie, Qiaozhu Mei, Dan Hao, Gang Huang, Feng Feng |
| 2016 | ICST | Test Case Prioritization for Compilers: A Text-Vector Based Approach. | Junjie Chen, Yanwei Bai, Dan Hao, Yingfei Xiong, Hongyu Zhang, Lu Zhang, Bing Xie |
| 2016 | ICST | Empirical Evaluation of Test Coverage for Functional Programs. | Yufeng Cheng, Meng Wang, Yingfei Xiong, Dan Hao, Lu Zhang |
| 2016 | ISSTA | Predictive mutation testing. | Jie Zhang, Ziyi Wang, Lingming Zhang, Dan Hao, Lei Zang, Shiyang Cheng, Lu Zhang |
| 2015 | ICSE | 10th International Workshop on Automation of Software Test (AST 2015). | Rajesh Subramanyan, Leonardo Mariani, Dan Hao |
| 2015 | ISSRE | Mutation-based test-case prioritization in software evolution. | Yiling Lou, Dan Hao, Lu Zhang |
| 2014 | ISSRE | An Empirical Study on the Scalability of Selective Mutation Testing. | Jie Zhang, Muyao Zhu, Dan Hao, Lu Zhang |
| 2013 | COMPSAC | Adaptive Test-Case Prioritization Guided by Output Inspection. | Dan Hao, Xu Zhao, Lu Zhang |
| 2013 | ECOOP | Is This a Bug or an Obsolete Test? | Dan Hao, Tian Lan, Hongyu Zhang, Chao Guo, Lu Zhang |
| 2013 | ICSE | Bridging the gap between the total and additional test-case prioritization strategies. | Lingming Zhang, Dan Hao, Lu Zhang, Gregg Rothermel, Hong Mei |
| 2012 | ICSE | On-demand test suite reduction. | Dan Hao, Lu Zhang, Xingxia Wu, Hong Mei, Gregg Rothermel |
| 2012 | SEKE | An Empirical Study of Execution-Data Classification Based on Machine Learning. | Dan Hao, Xingxia Wu, Lu Zhang |
| 2009 | ICSE | VIDA: Visual interactive debugging. | Dan Hao, Lingming Zhang, Lu Zhang, Jiasu Sun, Hong Mei |
| 2006 | APSEC | Towards Interactive Fault Localization Using Test Information. | Dan Hao, Lu Zhang, Hong Mei, Jiasu Sun |
| 2006 | ICSE | Testing-based interactive fault localization. | Dan Hao |
| 2003 | APSEC | Discovering Use Cases from Source Code using the Branch-Reserving Call Graph. | Tao Qin, Lu Zhang, Zhiying Zhou, Dan Hao, Jiasu Sun |