【论文阅读】【ICSE 25'】大语言模型时代的模板引导程序修复
论文信息 题目:Template-Guided Program Repair in the Era of Large Language Models 链接:ICSE 聚焦问题:基于模板的修复方法被盲目使用及其覆盖范围的不足使得该方法在领域内存在局限,此外,在零样本学习情境下使用小型LLMs也被证明并非最优选择。集体来说,其主要缺点在于:1. 不加选择地使用模板,不加选择地使用所有可用的模板。具体来说,GAMMA利用基于ast的匹配方法来选择修复模板,这有可能导致模型错过正确的补片合成机会,加剧补片过拟合问题。2. 模板覆盖不足:基于模板的APR工具的有效性本质上受到其模板范围的限制。3....
【论文阅读】【TSE 25'】RepairLLaMA:程序修复的有效表示和微调适配
文章信息 标题:RepairLLaMA: Efficient Representations and Fine-Tuned Adapters for Program...
【论文阅读】【TSE 25'】Contrast Repair:通过对比测试用例对增强基于对话的自动程序修复
论文信息 题目:ContrastRepair: Enhancing Conversation-Based Automated Program Repair via Contrastive Test Case Pairs 链接:TSE 聚焦问题:LLM驱动的修复方法多采用对话形式,其有效性取决于提示词的质量。Contrast...
【秋招的终点】公考小记
1.写在公考之后 上周末国考结束,这周末省考也结束了,我与行测申论及其类似考试的羁绊也暂告一段落。从考点出来,就和水厂一起打车,打算去吃螃蟹。在车上我才了解到今年国考省考的一些数据,无论是名额缩招报名人数却增长直接体现出的竞争压力,还是试题自身的难度,都比前一年上升了不少。 ...
【论文阅读】【ISSTA 24'】Think Repair:自我导向的自动程序修复
论文信息题目:ThinkRepair: Self-Directed Automated Program Repair链接:ISSTA 主要问题现有的自动修复通常依赖于预定义的模板(提示词),而预定义的模板依赖于数据集质量,而思维链(CoT,Chain of...
【入海口】西风最后的学生时代-5
“都选C”本周过得很快,简单总结一下:行测学习完成了总进度的三分之一,距离正式考试还有不足一个月;进行了四次面试,其中三次属于同一家公司,一次属于其他公司,但是得到的回复都是“如果有后续,我们会再联系的”;周末连续考了三场试,每场考试平均持续长度为两小时四十五分钟。周末考完试,去吃了考点附近的路边小摊,又去麦当劳补全了胃的空缺。另外还有新攒的期望:1. 游戏《光环》的工作室出了重制初代的预告片;2. 《生化危机9》预购开启,发售日期也已确定;3. 在去考试的路上听了歌曲《都选C》,发现和弦不难,准备把谱子背下来。 12345678910111213141516171819202122232425262728293031323334353637383940《都选C》歌词你总是提出问题后面挂着ABC我填上ACDC你却骂我是烂泥我只想保持本色和少年的心气我淋着十一月的雨听你骂我没出息为梦想灼伤了自己也不要平庸的喘息我要的并不在这里你给的答案没意义此刻我怎么可以输给你所以我每一个都选C就用最轻轻松松的一笔毁掉你所有的问题都选C 都选C...
【论文阅读】【ToSEM 25'】Giant Repair:结合大型语言模型和程序分析的混合自动程序修复
论文信息题目:Hybrid Automated Program Repair by Combining Large Language Models and Program Analysis链接:Tosem 主要问题文章提出,现有的基于预定义修复模板、启发式规则和约束求解的自动程序方法难以充分利用实际应用中各种补丁的大搜索空间。其局限性在于: 基于LLM的APR方法直接利用生成补丁,没有进一步的优化。LLM通常难以生成一些有关于特定程序元素的修复方案,比如局部变量和特定域方法调用等。如何利用这些不完善的修复方案来提高整体修复能力也是一个待探索的领域。 迄今为止,APR方法评估是在漏洞已被定位的前提下进行的。这种场景并不现实。本文章的主要贡献在于: 提出GiantRepair,利用LLM输出的“并非完全正确”的补丁,从其中提取补丁骨架进行整体方法的优化; 在两种应用场景下进行优化评价; 开源:...
【论文阅读】【ACL 25'】SynFix:关系图相关独立性分析的程序修复
论文信息 题目:SYNFIX: Dependency-Aware Program Repair via RelationGraph Analysis 链接:ACL...







