arXiv cs.SE· Andras L. Ferenczi, Mariya Bessonov, Allwyn Ponnudurai, Chandrakanth R. Mamillapalli, Krishna K. Maddula, Krishna K. Lingamneni·· 3 小时前AI 评分38
论文提出 COBOL 转 Java 迁移的可重复入口重放验证方法
Certifying Repeatable Entry-Replay Witnesses for COBOL-to-Java Migration
AI 导读
该论文提出通过入口重放测试用例认证来生成合成端到端测试用例，在一个 33,429 行的 COBOL 程序上生成 849 个用例，覆盖 2,973/3,806 个源码分支（78.1%）和 989/1,033 个主 AST 段落（95.7%）。
来源：arXiv cs.SE · arxiv.org