cxt707259130的博客

S3: Syntax- and semantic-guided repair synthesis via S3: Syntax- and semantic-guided repair synthesis via programming by examplesS3：通过S3进行语法和语义指导修复合成：通过示例编程进行语法和语义指导修复合成作者信息摘要一类著名的程序自动修复技术是基于语义的。这类技术，例如Angelix，通过符号执行推断语义规范，然后使用程序合成来构造满足这些推断规范的新代码。然而，获

Identifying Patch Correctness in Test-Based Program Repair–基于测试的程序修复中补丁正确性的识别

上下文感知补丁生成更好的自动化程序修复文章记录摘要基于搜索的自动程序修复的有效性受限于能够成功生成的正确补丁的数量。造成这种限制的原因有两个。首先，搜索空间不包含正确的补丁。第二，搜索空间太大，无法生成正确的patch(即正确的patch要么是在错误的貌似正确的patch之后生成，要么是在预算的时间内没有生成)。为了增加在搜索空间中包含正确补丁的可能性，我们建议在AST节点方面以较细的粒度进行工作。然而，这将进一步扩大搜索空间，增加找到正确补丁的挑战。我们通过设计一种策略来根据候选补丁正确的可能性对其进

Automated Patch Correctness Assessment: How Far are We?自动补丁正确性评估：我们还有多远？摘要基于测试的自动程序修复（APR）引起了业界和学术界的极大关注。尽管最近的研究取得了重大进展，但过度拟合问题（即生成的贴片看似合理，但过度拟合）仍然是一个长期存在的重大挑战。因此，无论是在补丁生成阶段，还是在APR技术的评估中，已经提出了许多技术来评估补丁的正确性。然而，现有技术的有效性尚未得到系统的比较，对其优缺点知之甚少。为了填补这一空白，本文进行了大规

缺陷修复提升补丁质量补丁过滤、验证1.Refining Fitness Functions for Search-Based Program Repair–改进基于搜索的程序修复的适应度函数在本文中，我们提出了 2Phase，这是一种用于基于搜索的自动程序修复 (APR) 的新适应度函数。2Phase 考虑测试用例失败的预期值和实际值之间的差异来对程序变体进行排名。在这项工作中，在 Gin 基因改进框架内实施了 2Phase 以及其他两个最先进的适应度函数，并根据经验评估了超过 16 个有缺陷的程序，

软件测试论文自动化测试只要可能，单元测试都应该自动化，这样就可以在不需要人工干预的情况下运行和检查测试。在自动化单元测试中，您可以使用测试自动化框架(如JUnit)来编写和运行程序测试。单元测试框架提供了通用的测试类，您可以通过扩展这些类来创建特定的测试用例。然后，他们可以运行您已经实现的所有测试，并通常通过一些GUI报告测试的成功情况。自动化测试组件设置部分，您在其中用测试用例(即输入和预期输出)初始化系统。调用部分，在这里调用要测试的对象或方法。断言部分，将调用的结果与预期的结果进行比较

TBar:重新访问基于模板的自动程序修复摘要我们回顾了基于模板的APR的性能，以构建关于修复模式有效性的全面知识，并强调了补充步骤(如故障定位或提供者代码检索)的重要性。为此，我们首先对文献进行调查，收集、总结和标记常用的修复模式。在调查的基础上，我们构建了tbar，一个简单的APR工具，系统地尝试将这些修复模式应用于程序错误。我们在Defects4J基准上对TBar进行了全面的评估。特别地，我们评估了修复模式的实际定性和定量多样性，以及它们在生成似是而非或正确斑块方面的有效性。最终，我们发现，假设一个

1.A Systematic Study of Automated Program Repair: Fixing 55 out of 105 Bugs for $8 Each论文目录摘要文章评估了两个研究问题:“有多少bug可以自动修复?”以及“自动修复一个bug需要多少钱?”提出了genprog，它使用遗传编程来修复现有C程序中的缺陷。为了回答上述问题：(1)提出新颖的算法改进GenProg允许它规模大的项目,发现维修多68%(2)利用GenProg，使用云计算资源(3)生成一个大型的、指

2021.10.09学习记录由于eclipse要加载新的工程项目，需要下载安装JDK1.7，在这里记录一下过程。1.了解到到官网下载JDK1.7需要账户，所以我就在优快云上下载了，这里还被坑了一把，作者标注了 64位版本，实际却是32位版本的，浪费了一些时间（emo中…）32版本长这样：64版本长这样：2.重新下载之后，一切顺利。安装过程截图如下：jdk安装目录可自己更改。中间有一次出i问题，最后安装目录为E:\jdk641.73.注意环境变量的变化，需要改变三个地方的路径：4

一、 记录写一篇英文文章注意事项1、应该找几篇顶级杂志和想投杂志的英文文章，按照句式仿写2、 “科研者之家”软件有句式模板 https://www.home-for-researchers.com/static/index.html3、之后可以用essay writing 4、最后可以找人花钱润色（有钱人的做法）5、一个后期检查语法问题的网站，Grammarly。二、英文表达1.which的使用写长句子，which可代指前面提到的名词eg1：Program evolution a