@misc{indiciae302f3889cdb0,
  title = {From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs},
  author = {Kaiwen Zhang and Guanjun Liu},
  year = {2026},
  url = {https://arxiv.org/abs/2607.21530},
  note = {Source identifier: 2607.21530}
}