Papers10:49
Chinese contentPetri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs这篇论文用Petri网编排LLM，自动生成并发Rust API的测试用例，比纯LLM生成的更可靠，能挖到深层并发bug。
#Petri-net
1 stories · 0 in 7 days · 0 in 30 days
Stories, products and papers tagged "Petri-net", newest first.
Jul 24