11 papers
Semantic Drift in Bug Resolution: How Behavioral Signals Propagate from Reports to Tests and Patches
Wendkûuni C. Ouédraogo, Wendkûuni C. Ouédraogo, Yinghua Li +10
Desc2Fix is a framework for measuring semantic alignment between bug reports, triggering tests, and developer-written fixes. Alignment is operationalized through structured behavio…
ReProAgent: Tool-Augmented Multi-Stage Agentic Generation of Bug Reproduction Tests from Issue Reports
Quanjun Zhang, Yi Zheng, Ye Shang +5
Reproduction tests help developers confirm reported issues and provide executable feedback for issue resolution, yet issue reports in open-source projects rarely include such tests…
Multi-Agent LLM Collaboration for Unit Test Generation via Human-Testing-Inspired Workflows
Quanjun Zhang, Ye Shang, Siqi Gu +4
Recently, the emergence of Large Language Models (LLMs) has spurred a surge of research into automated unit test generation, yielding impressive performance and reducing manual eff…
Automated Conjecture Resolution with Formal Verification
Haocheng Ju, Guoxiong Gao, Jiedong Jiang +13
Recent advances in large language models have significantly improved their ability to perform mathematical reasoning, extending from elementary problem solving to increasingly capa…
EvoRepair: Enhancing Vulnerability Repair Agents Through Experience-Based Self-Evolution
Haichuan Hu, Guoqing Xie, Quanjun Zhang +5
Large Language Models (LLMs) have shown promise for automated vulnerability repair (AVR), but they still face several limitations, including the lack of intra-vulnerability experie…
SGAgent: Suggestion-Guided LLM-Based Multi-Agent Framework for Repository-Level Software Repair
Quanjun Zhang, Chengyu Gao, Yu Han +4
Large Language Models (LLMs) have enabled intelligent agents that autonomously interact with environments and invoke external tools. Recently, agent-based software repair has drawn…