论文11:53Locksmith Loop：COBOL转Java迁移的确定性验证方法这论文搞了个Locksmith Loop来验证COBOL转Java，实测分支覆盖率能到91.9%，比随机测强多了。#Locksmith Loop#COBOL#Java#代码迁移aarXiv cs.AI@Andras Ferenczi 等 5 人原文稍后读已读值得跟进有用关注 Locksmith Loop