论文10:49Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs这篇论文用Petri网编排LLM，自动生成并发Rust API的测试用例，比纯LLM生成的更可靠，能挖到深层并发bug。#Rust#LLM#Petri-net#测试生成aarXiv cs.AI@Kaiwen Zhang, Guanjun Liu原文稍后读已读值得跟进有用关注 Rust