REVIEW 1 cited by
Automated Test Case Generation using Petri Nets
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
read the original abstract
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.
Forward citations
Cited by 1 Pith paper
-
From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs
Petri-net models of Rust APIs can guide LLMs to produce executable concurrent tests whose structure stays faithful to the modeled resource flow.
Discussion (0). Continue with ORCID to comment.