vix.ing
·
top
·
new
·
best
·
stats
·
spec
Guanjun Liu
From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs
2026/07/23 by
Kaiwen Zhang
,
Guanjun Liu
Computer Science
·
#cs.SE
#cs.AI