Discovering Use Cases from Source Code using the Branch-Reserving Call Graph. - Tao Qin; Lu Zhang 023; Zhiying Zhou; Dan Hao 001; Jiasu Sun (APSEC, 2003)

Alternative Scalable Algorithms for Lattice-Based Feature Location. - Wei Zhao 006; Lu Zhang 023; Dan Hao 001; Hong Mei 001; Jiasu Sun (ICSM, 2004)

Eliminating Harmful Redundancy for Testing-Based Fault Localization Using Test Suite Reduction: An Experimental Study. - Dan Hao 001; Lu Zhang 023; Hao Zhong 001; Hong Mei 001; Jiasu Sun (ICSM, 2005)

A similarity-aware approach to testing based fault localization. - Dan Hao 001; Ying Pan; Lu Zhang 023; Wei Zhao 006; Hong Mei 001; Jiasu Sun (ASE, 2005)

Towards Interactive Fault Localization Using Test Information. - Dan Hao 001; Lu Zhang 023; Hong Mei 001; Jiasu Sun (APSEC, 2006)

Testing-based interactive fault localization. - Dan Hao 001 (ICSE, 2006)

Identifying use cases in source code. - Lu Zhang 023; Tao Qin; Zhiying Zhou; Dan Hao 001; Jiasu Sun (J. Syst. Softw., 2006)

On similarity-awareness in testing-based fault localization. - Dan Hao 001; Lu Zhang 023; Ying Pan; Hong Mei 001; Jiasu Sun (Autom. Softw. Eng., 2008)

VIDA: Visual interactive debugging. - Dan Hao 001; Lingming Zhang 001; Lu Zhang 023; Jiasu Sun; Hong Mei 001 (ICSE, 2009)

Prioritizing JUnit test cases in absence of coverage information. - Lingming Zhang 001; Ji Zhou; Dan Hao 001; Lu Zhang 023; Hong Mei 001 (ICSM, 2009)

Jtop: Managing JUnit Test Cases in Absence of Coverage Information. - Lingming Zhang 001; Ji Zhou; Dan Hao 001; Lu Zhang 023; Hong Mei 001 (ASE, 2009)

Test-Data Generation Guided by Static Defect Detection. - Dan Hao 001; Lu Zhang 023; Ming-Hao Liu 001; He Li; Jiasu Sun (J. Comput. Sci. Technol., 2009)

Interactive Fault Localization Using Test Information. - Dan Hao 001; Lu Zhang 023; Tao Xie 001; Hong Mei 001; Jiasu Sun (J. Comput. Sci. Technol., 2009)

Test input reduction for result inspection to facilitate fault localization. - Dan Hao 001; Tao Xie 001; Lu Zhang 023; Xiaoyin Wang; Jiasu Sun; Hong Mei 001 (Autom. Softw. Eng., 2010)

On-demand test suite reduction. - Dan Hao 001; Lu Zhang 023; Xingxia Wu; Hong Mei 001; Gregg Rothermel (ICSE, 2012)

An Empirical Study of Execution-Data Classification Based on Machine Learning. - Dan Hao 001; Xingxia Wu; Lu Zhang 023 (SEKE, 2012)

A Static Approach to Prioritizing JUnit Test Cases. - Hong Mei 001; Dan Hao 001; Lingming Zhang 001; Lu Zhang 023; Ji Zhou; Gregg Rothermel (IEEE Trans. Software Eng., 2012)

Adaptive Test-Case Prioritization Guided by Output Inspection. - Dan Hao 001; Xu Zhao; Lu Zhang 023 (COMPSAC, 2013)

Is This a Bug or an Obsolete Test? - Dan Hao 001; Tian Lan; Hongyu Zhang 002; Chao Guo; Lu Zhang 023 (ECOOP, 2013)

Bridging the gap between the total and additional test-case prioritization strategies. - Lingming Zhang 001; Dan Hao 001; Lu Zhang 023; Gregg Rothermel; Hong Mei 001 (ICSE, 2013)

PathART: path-sensitive adaptive random testing. - Shan-Shan Hou; Chun Zhang; Dan Hao 001; Lu Zhang 023 (Internetware, 2013)

Boosting Bug-Report-Oriented Fault Localization with Segmentation and Stack-Trace Analysis. - Chu-Pan Wong; Yingfei Xiong 001; Hongyu Zhang 002; Dan Hao 001; Lu Zhang 023; Hong Mei 001 (ICSME, 2014)

An Empirical Study on the Scalability of Selective Mutation Testing. - Jie Zhang 050; Muyao Zhu; Dan Hao 001; Lu Zhang 023 (ISSRE, 2014)

Search-based inference of polynomial metamorphic relations. - Jie Zhang 050; Junjie Chen 003; Dan Hao 001; Yingfei Xiong 001; Bing Xie; Lu Zhang 023; Hong Mei 001 (ASE, 2014)

Recent Progress in Software Testing, Debugging and Analysis: A Survey. - Dan Hao 001; Hong Mei 001 (Int. J. Softw. Informatics, 2014)

Cooperative Software Testing and Analysis: Advances and Challenges. - Tao Xie 001; Lu Zhang 023; Xusheng Xiao; Yingfei Xiong 001; Dan Hao 001 (J. Comput. Sci. Technol., 2014)

A Unified Test Case Prioritization Approach. - Dan Hao 001; Lingming Zhang 001; Lu Zhang 023; Gregg Rothermel; Hong Mei 001 (ACM Trans. Softw. Eng. Methodol., 2014)

10th International Workshop on Automation of Software Test (AST 2015). - Rajesh Subramanyan; Leonardo Mariani; Dan Hao 001 (ICSE (2), 2015)

Enhancing Defect Prediction with Static Defect Analysis. - Hao Tang; Tian Lan; Dan Hao 001; Lu Zhang 023 (Internetware, 2015)

Mutation-based test-case prioritization in software evolution. - Yiling Lou; Dan Hao 001; Lu Zhang 023 (ISSRE, 2015)

TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T). - Jinkun Lin; Chuan Luo 002; Shaowei Cai 001; Kaile Su; Dan Hao 001; Lu Zhang 023 (ASE, 2015)

Educational Evaluation in the PKU SPOC Course "Data Structures and Algorithms". - Ming Zhang 004; Jile Zhu; Yanzhen Zou; Hongfei Yan; Dan Hao 001; Chuxiong Liu (L@S, 2015)

Inner oracles: input-specific assertions on internal states. - Yingfei Xiong 001; Dan Hao 001; Lu Zhang 023; Tao Zhu; Muyao Zhu; Tian Lan (ESEC/SIGSOFT FSE, 2015)

A survey on bug-report analysis. - Jie Zhang 050; Xiaoyin Wang; Dan Hao 001; Bing Xie; Lu Zhang 023; Hong Mei 001 (Sci. China Inf. Sci., 2015)

An empirical comparison of compiler testing techniques. - Junjie Chen 003; Wenxiang Hu; Dan Hao 001; Yingfei Xiong 001; Hongyu Zhang 002; Lu Zhang 023; Bing Xie (ICSE, 2016)

How does regression test prioritization perform in real-world software evolution? - Yafeng Lu; Yiling Lou; Shiyang Cheng 002; Lingming Zhang 001; Dan Hao 001; Yangfan Zhou; Lu Zhang 023 (ICSE, 2016)

PRADA: prioritizing android devices for apps by mining large-scale usage data. - Xuan Lu; Xuanzhe Liu; Huoran Li; Tao Xie 001; Qiaozhu Mei; Dan Hao 001; Gang Huang 001; Feng Feng 001 (ICSE, 2016)

Mining usage data from large-scale Android users: challenges and opportunities. - Xuan Lu; Xuanzhe Liu; Huoran Li; Tao Xie 001; Qiaozhu Mei; Dan Hao 001; Gang Huang 001; Feng Feng 001 (MOBILESoft, 2016)

Test Case Prioritization for Compilers: A Text-Vector Based Approach. - Junjie Chen 003; Yanwei Bai; Dan Hao 001; Yingfei Xiong 001; Hongyu Zhang 002; Lu Zhang 023; Bing Xie (ICST, 2016)

Empirical Evaluation of Test Coverage for Functional Programs. - Yufeng Cheng; Meng Wang 002; Yingfei Xiong 001; Dan Hao 001; Lu Zhang 023 (ICST, 2016)

Predictive mutation testing. - Jie Zhang 050; Ziyi Wang; Lingming Zhang 001; Dan Hao 001; Lei Zang; Shiyang Cheng 002; Lu Zhang 023 (ISSTA, 2016)

Supporting oracle construction via static analysis. - Junjie Chen 003; Yanwei Bai; Dan Hao 001; Lingming Zhang 001; Lu Zhang 023; Bing Xie; Hong Mei 001 (ASE, 2016)

Isomorphic regression testing: executing uncovered branches without test augmentation. - Jie Zhang 050; Yiling Lou; Lingming Zhang 001; Dan Hao 001; Lu Zhang 023; Hong Mei 001 (SIGSOFT FSE, 2016)

High-confidence software evolution. - Qing Gao; Jun Li; Yingfei Xiong 001; Dan Hao 001; Xusheng Xiao; Kunal Taneja; Lu Zhang 023; Tao Xie 001 (Sci. China Inf. Sci., 2016)

Test-case prioritization: achievements and challenges. - Dan Hao 001; Lu Zhang 023; Hong Mei 001 (Frontiers Comput. Sci., 2016)

To Be Optimal or Not in Test-Case Prioritization. - Dan Hao 001; Lu Zhang 023; Lei Zang; Yanbo Wang; Xingxia Wu; Tao Xie 001 (IEEE Trans. Software Eng., 2016)

Learning to prioritize test programs for compiler testing. - Junjie Chen 003; Yanwei Bai; Dan Hao 001; Yingfei Xiong 001; Hongyu Zhang 002; Bing Xie (ICSE, 2017)

How Do Assertions Impact Coverage-Based Test-Suite Reduction? - Junjie Chen 003; Yanwei Bai; Dan Hao 001; Lingming Zhang 001; Lu Zhang 023; Bing Xie (ICST, 2017)

Impact of Static and Dynamic Coverage on Test-Case Prioritization: An Empirical Study. - Jianyi Zhou; Dan Hao 001 (ICST Workshops, 2017)

Faster mutation analysis via equivalence modulo states. - Bo Wang 050; Yingfei Xiong 001; Yangqingwei Shi; Lu Zhang 023; Dan Hao 001 (ISSTA, 2017)

An Empirical Analysis of the Influence of Fault Space on Search-Based Automated Program Repair. - Ming Wen 001; Junjie Chen 003; Rongxin Wu; Dan Hao 001; Shing-Chi Cheung (CoRR, 2017)

The central role of test automation in software quality assurance. - Leonardo Mariani; Dan Hao 001; Rajesh Subramanyan; Hong Zhu 002 (Softw. Qual. J., 2017)

Learning to Accelerate Symbolic Execution via Code Transformation. - Junjie Chen 003; Wenxiang Hu; Lingming Zhang 001; Dan Hao 001; Sarfraz Khurshid; Lu Zhang 023 (ECOOP, 2018)

Context-aware patch generation for better automated program repair. - Ming Wen 001; Junjie Chen 003; Rongxin Wu; Dan Hao 001; Shing-Chi Cheung (ICSE, 2018)

To Detect Abnormal Program Behaviours via Mutation Deduction. - Jie Zhang 050; Dan Hao 001; Lingming Zhang 001; Lu Zhang 023 (ICST Workshops, 2018)

Optimizing test prioritization via test distribution analysis. - Junjie Chen 003; Yiling Lou; Lingming Zhang 001; Jianyi Zhou; Xiaoleng Wang; Dan Hao 001; Lu Zhang 023 (ESEC/SIGSOFT FSE, 2018)

Automated refactoring of nested-IF formulae in spreadsheets. - Jie Zhang 050; Shi Han; Dan Hao 001; Lu Zhang 023; Dongmei Zhang 001 (ESEC/SIGSOFT FSE, 2018)

How Does Bug-Handling Effort Differ Among Different Programming Languages? - Jie Zhang 050; Feng Li 037; Dan Hao 001; Meng Wang 002; Lu Zhang 023 (CoRR, 2018)

An empirical investigation of incident triage for online service systems. - Junjie Chen 003; Xiaoting He 003; Qingwei Lin; Yong Xu 010; Hongyu Zhang 002; Dan Hao 001; Feng Gao 022; Zhangwei Xu; Yingnong Dang; Dongmei Zhang 001 (ICSE (SEIP), 2019)

Automatic Discovery and Cleansing of Numerical Metamorphic Relations. - Bo Zhang 057; Hongyu Zhang 002; Junjie Chen 003; Dan Hao 001; Pablo Moscato (ICSME, 2019)

AutoMR: Automatic Discovery and Cleansing of Numerical Metamorphic Relations. - Bo Zhang 057; Hongyu Zhang 002; Junjie Chen 003; Dan Hao 001; Pablo Moscato (ICSME, 2019)

Do Pseudo Test Suites Lead to Inflated Correlation in Measuring Test Effectiveness? - Jie M. Zhang; Lingming Zhang 001; Dan Hao 001; Meng Wang 002; Lu Zhang 023 (ICST, 2019)

An Empirical Comparison of Mutant Selection Assessment Metrics. - Jie M. Zhang; Lingming Zhang 001; Dan Hao 001; Lu Zhang 023; Mark Harman (ICST Workshops, 2019)

History-driven build failure fixing: how far are we? - Yiling Lou; Junjie Chen 003; Lingming Zhang 001; Dan Hao 001; Lu Zhang 023 (ISSTA, 2019)

Continuous Incident Triage for Large-Scale Online Service Systems. - Junjie Chen 003; Xiaoting He 003; Qingwei Lin; Hongyu Zhang 002; Dan Hao 001; Feng Gao 022; Zhangwei Xu; Yingnong Dang; Dongmei Zhang 001 (ASE, 2019)

History-Guided Configuration Diversification for Compiler Test-Program Generation. - Junjie Chen 003; Guancheng Wang 001; Dan Hao 001; Yingfei Xiong 001; Hongyu Zhang 002; Lu Zhang 023 (ASE, 2019)

Compiler bug isolation via effective witness test program generation. - Junjie Chen 003; Jiaqi Han; Peiyi Sun; Lingming Zhang 001; Dan Hao 001; Lu Zhang 023 (ESEC/SIGSOFT FSE, 2019)

Chapter One - A Survey on Regression Test-Case Prioritization. - Yiling Lou; Junjie Chen 003; Lingming Zhang 001; Dan Hao 001 (Adv. Comput., 2019)

Can Automated Program Repair Refine Fault Localization? - Yiling Lou; Ali Ghanbari 001; Xia Li 009; Lingming Zhang 001; Dan Hao 001; Lu Zhang 023 (CoRR, 2019)

Predictive Mutation Testing. - Jie Zhang 050; Lingming Zhang 001; Mark Harman; Dan Hao 001; Yue Jia 001; Lu Zhang 023 (IEEE Trans. Software Eng., 2019)

Cost-Effective Testing of a Deep Learning Model through Input Reduction. - Jianyi Zhou; Feng Li 037; Jinhao Dong; Hongyu Zhang 002; Dan Hao 001 (ISSRE, 2020)

Can automated program repair refine fault localization? a unified debugging approach. - Yiling Lou; Ali Ghanbari 001; Xia Li 009; Lingming Zhang 001; Haotian Zhang; Dan Hao 001; Lu Zhang 023 (ISSTA, 2020)

How Incidental are the Incidents? Characterizing and Prioritizing Incidents for Large-Scale Online Service Systems. - Junjie Chen 003; Shu Zhang; Xiaoting He 003; Qingwei Lin; Hongyu Zhang 002; Dan Hao 001; Yu Kang 006; Feng Gao 022; Zhangwei Xu; Yingnong Dang; Dongmei Zhang 001 (ASE, 2020)

SRRTA: Regression Testing Acceleration via State Reuse. - Jinhao Dong; Yiling Lou; Dan Hao 001 (ASE, 2020)

Understanding build issue resolution in practice: symptoms and fix patterns. - Yiling Lou; Zhenpeng Chen; Yanbin Cao; Dan Hao 001; Lu Zhang 023 (ESEC/SIGSOFT FSE, 2020)

Boosting coverage-based fault localization via graph-based representation learning. - Yiling Lou; Qihao Zhu; Jinhao Dong; Xia Li 009; Zeyu Sun 004; Dan Hao 001; Lu Zhang 023; Lingming Zhang 001 (ESEC/SIGSOFT FSE, 2021)

How Does Regression Test Selection Affect Program Repair? An Extensive Study on 2 Million Patches. - Yiling Lou; Samuel Benton; Dan Hao 001; Lu Zhang 023; Lingming Zhang 001 (CoRR, 2021)

A Survey of Compiler Testing. - Junjie Chen 003; Jibesh Patra; Michael Pradel; Yingfei Xiong 001; Hongyu Zhang 002; Dan Hao 001; Lu Zhang 023 (ACM Comput. Surv., 2021)

Coverage Prediction for Accelerating Compiler Testing. - Junjie Chen 003; Guancheng Wang 001; Dan Hao 001; Yingfei Xiong 001; Hongyu Zhang 002; Lu Zhang 023; Bing Xie (IEEE Trans. Software Eng., 2021)

Historical Spectrum Based Fault Localization. - Ming Wen 001; Junjie Chen 003; Yongqiang Tian 001; Rongxin Wu; Dan Hao 001; Shi Han; Shing-Chi Cheung (IEEE Trans. Software Eng., 2021)

A Study of Bug Resolution Characteristics in Popular Programming Languages. - Jie M. Zhang; Feng Li 037; Dan Hao 001; Meng Wang 002; Hao Tang; Lu Zhang 023; Mark Harman (IEEE Trans. Software Eng., 2021)

FIRA: Fine-Grained Graph-Based Code Change Representation for Automated Commit Message Generation. - Jinhao Dong; Yiling Lou; Qihao Zhu; Zeyu Sun 004; Zhilin Li; Wenjie Zhang 007; Dan Hao 001 (ICSE, 2022)

Automated Assertion Generation via Information Retrieval and Its Integration with Deep learning. - Hao Yu; Yiling Lou; Ke Sun 017; Dezhi Ran; Tao Xie 001; Dan Hao 001; Ying Li 012; Ge Li 001; Qianxiang Wang (ICSE, 2022)

Bridging the Gap between Different Programming Paradigms in Coverage-based Fault Localization. - Feng Li 037; Meng Wang 002; Dan Hao 001 (Internetware, 2022)

Static Type Recommendation for Python. - Ke Sun 017; Yifan Zhao; Dan Hao 001; Lu Zhang 023 (ASE, 2022)

Parallel Test Prioritization. - Jianyi Zhou; Junjie Chen 003; Dan Hao 001 (ACM Trans. Softw. Eng. Methodol., 2022)

AGA: An Accelerated Greedy Additional Algorithm for Test Case Prioritization. - Feng Li 037; Jianyi Zhou; Yinzhu Li; Dan Hao 001; Lu Zhang 023 (IEEE Trans. Software Eng., 2022)

What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical Study. - Ke Sun 017; Sheng Chen 008; Meng Wang 002; Dan Hao 001 (APLAS, 2023)

Revisiting Learning-based Commit Message Generation. - Jinhao Dong; Yiling Lou; Dan Hao 001; Lin Tan 001 (ICSE, 2023)

Revisiting Machine Learning based Test Case Prioritization for Continuous Integration. - Yifan Zhao; Dan Hao 001; Lu Zhang 023 (ICSME, 2023)

Merge Conflict Resolution: Classification or Generation? - Jinhao Dong; Qihao Zhu; Zeyu Sun 004; Yiling Lou; Dan Hao 001 (ASE, 2023)

Compiler Auto-Tuning via Critical Flag Selection. - Mingxuan Zhu; Dan Hao 001 (ASE, 2023)

Compiler Auto-tuning through Multiple Phase Learning. - Mingxuan Zhu; Dan Hao 001; Junjie Chen 003 (CoRR, 2023)

Formalizing, Mechanizing, and Verifying Class-Based Refinement Types. - Ke Sun 017; Di Wang 017; Sheng Chen 008; Meng Wang 002; Dan Hao 001 (ECOOP, 2024)

Improving Smart Contract Security with Contrastive Learning-based Vulnerability Detection. - Yizhou Chen; Zeyu Sun 004; Zhihao Gong; Dan Hao 001 (ICSE, 2024)

Learning-based Widget Matching for Migrating GUI Test Cases. - Yakun Zhang 001; Wenjie Zhang 007; Dezhi Ran; Qihao Zhu; Chengfeng Dou; Dan Hao 001; Tao Xie 001; Lu Zhang 023 (ICSE, 2024)

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

Synthesis-Based Enhancement for GUI Test Case Migration. - Yakun Zhang 001; Qihao Zhu; Jiwei Yan; Chen Liu 041; Wenjie Zhang 007; Yifan Zhao; Dan Hao 001; Lu Zhang 023 (ISSTA, 2024)

Revisiting the Conflict-Resolving Problem from a Semantic Perspective. - Jinhao Dong; Jun Sun 001; Yun Lin 001; Yedi Zhang; Murong Ma; Jin Song Dong 001; Dan Hao 001 (ASE, 2024)

Compiler Bug Isolation via Enhanced Test Program Mutation. - Yujie Liu 005; Mingxuan Zhu; Jinhao Dong; Junzhe Yu; Dan Hao 001 (ASE, 2024)

Mutual Learning-Based Framework for Enhancing Robustness of Code Models via Adversarial Training. - Yangsen Wang; Yizhou Chen; Yifan Zhao; Zhihao Gong; Junjie Chen 003; Dan Hao 001 (ASE, 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)

What can we learn from quality assurance badges in open-source software? - Feng Li 037; Yiling Lou; Xin Tan 003; Zhenpeng Chen; Jinhao Dong; Yang Li; Xuanzhi Wang; Dan Hao 001; Lu Zhang 023 (Sci. China Inf. Sci., 2024)

LLM-based Abstraction and Concretization for GUI Test Migration. - Yakun Zhang 001; Chen Liu 041; Xiaofei Xie; Yun Lin 001; Jin Song Dong 001; Dan Hao 001; Lu Zhang 023 (CoRR, 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)

ConAIR:Consistency-Augmented Iterative Interaction Framework to Enhance the Reliability of Code Generation. - Jinhao Dong; Jun Sun 001; Wenjie Zhang 007; Jin Song Dong; Dan Hao 001 (CoRR, 2024)

Formalizing, Mechanizing, and Verifying Class-Based Refinement Types (Artifact). - Ke Sun 017; Di Wang 017; Sheng Chen 008; Meng Wang 002; Dan Hao 001 (Dagstuhl Artifacts Ser., 2024)

Compiler Autotuning through Multiple-phase Learning. - Mingxuan Zhu; Dan Hao 001; Junjie Chen 003 (ACM Trans. Softw. Eng. Methodol., 2024)

Fairness Testing of Machine Translation Systems. - Zeyu Sun 004; Zhenpeng Chen; Jie Zhang 050; Dan Hao 001 (ACM Trans. Softw. Eng. Methodol., 2024)

When Automated Program Repair Meets Regression Testing - An Extensive Study on Two Million Patches. - Yiling Lou; Jun Yang; Samuel Benton; Dan Hao 001; Lin Tan 001; Zhenpeng Chen; Lu Zhang 023; Lingming Zhang 001 (ACM Trans. Softw. Eng. Methodol., 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)

ConTested: Consistency-Aided Tested Code Generation with LLM. - Jinhao Dong; Jun Sun 001; Wenjie Zhang 007; Jin Song Dong 001; Dan Hao 001 (Proc. ACM Softw. Eng., 2025)

PDCAT: Preference-Driven Compiler Auto-tuning. - Mingxuan Zhu; Zeyu Sun 004; Dan Hao 001 (Proc. ACM Softw. Eng., 2025)

Coverage-Based Fault Localization in Haskell. - Feng Li 037; Guo-Qing Wang; Meng Wang 001; Dan Hao 001 (J. Comput. Sci. Technol., 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)

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)

TRACY: Benchmarking Execution Efficiency of LLM-Based Code Translation. - Zhihao Gong; Zeyu Sun 004; Dong Huang 005; Qingyuan Liang; Jie M. Zhang; Dan Hao 001 (CoRR, 2025)