FIELD NOTES TOPIC
petri nets
1 note, newest first.
From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs
The authors propose a methodology for generating executable tests for concurrent stateful Rust APIs using Petri nets. This approach aims to bridge the gap between formal scenario design and low-cost test…
