2 citations · 2 across the 1 of their papers we have counts for
4 papers
CL4SE: Benchmarking Context Learning on Software Engineering
Haichuan Hu, Quanjun Zhang, Ye Shang +4
Context engineering has emerged as a pivotal paradigm for unlocking the potential of Large Language Models (LLMs) in Software Engineering (SE) tasks, enabling performance gains at…
ComPass: Contrastive Learning for Automated Patch Correctness Assessment in Program Repair
Quanjun Zhang, Ye Shang, Haichuan Hu +3
Automated program repair (APR) attempts to reduce manual debugging efforts and plays a vital role in software maintenance. Despite remarkable progress, APR is still limited in gene…
FATE: A Formal Benchmark Series for Frontier Algebra of Multiple Difficulty Levels
Jiedong Jiang, Wanyi He, Yuefeng Wang +8
Recent advances in large language models (LLMs) have demonstrated impressive capabilities in formal theorem proving, particularly on contest-based mathematical benchmarks like the…
Large Language Models for Unit Testing: A Systematic Literature Review
Quanjun Zhang, Chunrong Fang, Siqi Gu +3
Unit testing is a fundamental practice in modern software engineering, with the aim of ensuring the correctness, maintainability, and reliability of individual software components.…