# Automated Test Case Generation using Petri Nets

arXiv: https://arxiv.org/abs/1509.08401 · HTML: https://mlsanity.com/paper/1509.08401/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 28 Sep 2015.

## Built on by (most cited first, 1 of 1)

- [From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs](https://mlsanity.com/paper/2607.21530/) (2026)

## Abstract (arXiv)

Software testing is the process of determining the precision, quality, completeness and security of the software systems. An important step in testing software is the generation of test cases, whose quality plays a vital role in determining the time for testing and subsequently its cost. In this research, it is shown that both structural and behavioural diagrams can be used to represent specifications in a single model using High Level Petri Nets (HLPN). This research focuses on automated generation of test models from Petri nets. Moreover, generating consistent formal models (HLPN) from informal models (UML) is the highlight of this research.