Gradient-Based Program Repair: Fixing Bugs in Continuous Program Spaces
基于梯度的程序修复:在连续程序空间中修复错误
机构 * KTH Royal Institute of Technology(皇家理工学院)
专题命中 程序修复 :program repair(title,abstract);分类 cs.SE、cs.LG、cs.PL
AI总结 本文提出基于梯度的程序修复方法,通过在可微数值程序空间中进行连续优化,有效修复符号程序中的错误,首次将程序修复视为数值空间中的连续优化问题。