#测试生成

这论文搞了个Locksmith Loop来验证COBOL转Java，实测分支覆盖率能到91.9%，比随机测强多了。

这篇论文用Petri网编排LLM，自动生成并发Rust API的测试用例，比纯LLM生成的更可靠，能挖到深层并发bug。