automated repair | BriefGPT

关键词automated repair

搜索结果 - 5

大型语言模型时代的声明性软件规范自动修复
该研究评估了利用 OpenAI 的 ChatGPT 修复 Alloy 声明性语言规范的有效性，结果显示虽然 ChatGPT 与现有技术相比存在不足，但它成功修复了其他技术无法解决的错误，并发现了 ChatGPT 生成的修复中的错误以及部分结
PDF9 months ago
软件安全新时代：基于大型语言模型和形式验证的自愈软件
利用大型语言模型和形式验证策略结合的新颖解决方案，自动检测和修复 C 程序中的软件漏洞，成功率高达 80％。
PDFa year ago
AAAI修复几乎是一代人：使用 LLMs 进行多语言程序修复
本研究提出利用 LLMS 模型为基础的多语言自动修复引擎 RING，通过一个基于提示的定位、转化和排序策略，极大地降低了修复程序所需的工程量，相较于传统的修复技术，RING 在多种语言中的表现更为出色。
PDF2 years ago
SYNFIX: 使用编译器诊断自动修复语法错误
使用机器学习的自动修复工具 SYNFIX 大幅度提高了代码修复的效果，并整合进了开源的 Visual Studio Code 中。
PDF3 years ago
NIPS使用生成对抗网络学习修复软件漏洞
该论文提出了一种基于敌对学习的方法，可以在不需要成对标记示例或源域和目标域不一致的情况下，将一个离散源域映射到另一个目标域，这种方法可以有效修复软件漏洞，具有普适性，也可被应用于类似代码修复、语法纠错或情感翻译等其他问题。
PDF6 years ago