不变量与程序修复相关论文

Ⅰ Invariant-based Program Repair 引用：Al-Bataineh O I. Invariant-based Program Repair[J]. arXiv preprint arXiv:2312.16652, 2023. 0 摘要 本论文描述了一种 基于程序中ivariants概念的正式通用的自动化程序修复框架。 在上述框架中，动态分析缺陷程序的运行踪迹，推断出特征 φcorrect\varphi_{correct}φcorrect​ 和 φviolated\varphi_{violated}φviolated​，其中 φcorrect\varphi_{correct}φcorrect​ 表示可能不变量（良好模式）的集合，这些不变量是运行成功所需的，而 φviol..