ICSE论文水平高吗？

我们提出了一种修改的有效方法，增量更新的分析结果反映了代码的变化分析。修正和更新算法基于清晰传播原则。它可以检测理论上的变化，你在找:它检测。

猎户星座

然后清除其后继者的信息并传播新的

然后，来自那里的结果清除其后续信息并传播新的结果。

我们在英雄和烟尘之上实现了修正者

我们认识到了校订者的英雄和烟尘。

使用这种实现，我们已经表明，在最初

计算修订只引入了很小的开销(在大多数情况下低于20%，有时甚至在标准范围内

变化)，但是执行增量更新很好，使用这种实现，我们已经表明初始计算修改仅引入很小的开销(在大多数情况下小于20%，有时甚至是标准偏差)，但是它比增量更新好得多。

因此，最初的开销很快就有了回报

定期更新IDE结果时关闭，例如，在

持续集成服务器。因此，初始开销会很快返回定期更新IDE的结果，例如在持续集成服务器上每次签入都超过25个most。

最近提交到Soot GIF库，使用REVISER实现的节省

累计到超过11000秒(3小时)在最近25个项目中，审校累计超过11000秒(3小时)。

8确认

我们要感谢张成，马克-安德烈

Laverdiere-Papineau和oops la 13和ICSE 14的匿名审查员

它们是对本文第一版非常有帮助的评论。我们要感谢匿名评论员Marc-Andre Laverdiere-Papineau的OOPSLA 13和大会第一版非常有益的评论14。

这项工作得到了BMBF在欧洲委员会斯普里德，黑森的支持

LOEWE卓越计划案例，由DFG在项目内提出

RUNSECURE公司的工作为EC SPRIDE BMBF、黑森州卢安克和RUNSECURE公司脱硫项目的未来套管下入提供了极好的计划。

明天有空请同事认真翻译一下。