Test purpose oriented I/O conformance test selection with colored Petri nets

DOI10.1155/2014/645235zbMath1442.68147OpenAlexW2150346951WikidataQ59053924 ScholiaQ59053924MaRDI QIDQ2336614

Yanyan Li

Publication date: 19 November 2019

Published in: Journal of Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1155/2014/645235

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Model-based testing of reactive systems. Advanced lectures.
• Coloured Petri Nets
• Symbolic Model-based Test Selection
• Formal Approaches to Software Testing

This page was built for publication: Test purpose oriented I/O conformance test selection with colored Petri nets