arXiv cs.AI· Andras L. Ferenczi, Mariya Bessonov, Allwyn Ponnudurai, Chandrakanth R. Mamillapalli, Krishna K. Maddula, Krishna K. Lingamneni·· 1 天前AI 评分38
COBOL 到 Java 迁移中可复现 entry-replay 测试用例的认证方法
Certifying Repeatable Entry-Replay Witnesses for COBOL-to-Java Migration
AI 导读
研究者在此前提出的 Locksmith Loop 确定性验证方法基础上，提出通过 entry-replay 测试用例认证生成合成端到端测试、提升分支与段落覆盖率的新方法。
来源：arXiv cs.AI · arxiv.org