Back to papers
July 23, 2026cs.SEcs.AI

From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs

Categories

cs.SE, cs.AI