FIELD NOTES TOPIC
rust programming
1 note, newest first.
From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs
The paper presents a methodology using Petri nets for test generation in concurrent stateful Rust APIs, aiming to bridge the gap between formal scenario design and low-cost test concretization. It allows large language…
