Modern development environments provide a widely used auto-correction facility for quickly repairing syntactic errors. Auto-correction cannot deal with semantic errors, which are much more difficult to repair. Automated program repair techniques, designed for repairing semantic errors, are not well-suited for interactive use while debugging, as they typically assume the existence of a high-quality test suite and take considerable time. To bridge the gap, we developed ROSE, a tool to suggest quick-yet-effective repairs of semantic errors during debugging. ROSE does not rely on a test suite. Instead, it assumes a debugger stopping point where a problem is observed. It asks the developer to quickly describe what is wrong, performs a light-weight fault localization to identify potential responsible locations, and uses a generate-and-validate strategy to produce and validate repairs. Finally, it presents the results so the developer can choose and make the appropriate repair. To assess its utility, we implemented a prototype of ROSE that works in the Eclipse IDE and applied it to two benchmarks, QuixBugs and Defects4J, for repair. ROSE was able to suggest correct repairs for 17 QuixBugs and 16 Defects4J errors in seconds.
Repair or Resample? Rethinking Failure Debugging in LLM Multi-Agent Systems
East China Normal University（华东师范大学）；Nanyang Technological University（南洋理工大学）；Singapore Management University（新加坡管理大学）；Xi’an University of Architecture and Technology（西安建筑科技大学）
DDOR: Delta Debugging for Explainable Overrefusal Testing and Repair
Southeast University（东南大学）；Singapore Management University（新加坡管理学院）；Zhejiang University（浙江大学）；Huzhou Institute of Industrial Control Technology（湖州工业控制技术研究所）
TraceCoder: A Trace-Driven Multi-Agent Framework for Automated Debugging of LLM-Generated Code
School of Computer Science and Technology, Chongqing University of Posts and Telecommunications（重庆邮电大学计算机科学与技术学院）；Nanyang Technological University（南洋理工大学）；Beihang University（北京航空航天大学）；Southwest University（西南大学）
VeriPilot: An LLM-Powered Verilog Debugging Framework
State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences（中国科学院计算技术研究所国家专用集成电路设计实验室）；University of Chinese Academy of Sciences（中国科学院大学）；North China Electric Power University（华北电力大学）
From Code to Correctness: Closing the Last Mile of Code Generation with Hierarchical Debugging
Shanghai Jiao Tong University（上海交通大学）；University of California, Davis（加州大学戴维斯分校）；East China Normal University（华东师范大学）；University of Pennsylvania（宾夕法尼亚大学）
DoVer: Intervention-Driven Auto Debugging for LLM Multi-Agent Systems
Institute of Neuroscience, State Key Laboratory of Brain Cognition and Brain-inspired Intelligence Technology, Center for Excellence in Brain Science and Intelligence Technology, Chinese Academy of Sciences, Shanghai, 200031, China（中国科学院神经科学研究所、脑认知与脑启发智能技术重点实验室、脑科学与智能技术卓越中心、中国科学院、上海）；University of Chinese Academy of Sciences, School of Future Technology, Beijing, 100049, China（中国科学院大学、未来技术学院、北京）；Microsoft（微软公司）
