基于CodeBERT和Stacking集成学习的补丁正确性验证方法

摘要： 近年来，自动程序修复已成为软件工程领域的重要研究课题。然而，现有的自动修复技术大多是基于补丁生成和测试的，在补丁验证环节时间成本很高。此外，由于测试套件的不完备，许多候选补丁虽然能通过测试，但实际上并不正确，从而导致补丁过拟合。为提高补丁验证的效率并缓解补丁过拟合的问题，提出了一种静态的补丁验证方法。该方法首先使用大型预训练模型CodeBERT自动提取缺陷代码片段和补丁代码片段... （共9页）