agentsfactbullishPetri-net-guided methodology can bridge the gap between formal scenario design and low-cost test concretization for concurrent stateful Rust APIsArtificial Intelligence29 Jul 2026http://arxiv.org/abs/2607.21530v1