11:53
官方账号arXiv cs.AI@Andras Ferenczi, Jordan Docherty, Mariya Bessonov, Matthew Findlay, Krishna Lingamneni
推荐理由：这论文搞了个Locksmith Loop来验证COBOL转Java，实测分支覆盖率能到91.9%，比随机测强多了。
Locksmith Loop
共 1 条相关 AI 资讯
7月31日
11:53
论文提出Locksmith Loop，一种代理式测试合成方法，用于验证COBOL到Java的迁移正确性。该方法在商品硬件上同时运行COBOL源码和Java目标，通过Witness Search穿透分支并执行奇偶保留变异。在三个案例研究（两个开源程序和一个内部生产程序，规模从430到4,114行）中，Locksmith将分支覆盖率提升至接近完全，内部程序达到91.90%。生成的Java在所有接受测试用例中通过确定性奇偶校验。