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

DOI10.1155/2014/645235MaRDI QIDQ2336614zbMATH OpenOpenAlexWikidataFDO

Authors Yanyan Li

Publication date 19 November 2019

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

Copyright license Creative Commons Attribution 3.0 Unported

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)

Recommendations

• Symbolic Model-based Test Selection
• Model-Based Test Selection for Infinite-State Reactive Systems
• A model reduction method for parallel software testing
• Unifying input output conformance
• The practitioner's guide to coloured Petri nets.

Cites work

• scientific article; zbMATH DE number 938070 (Why is no real title available?)
• Coloured Petri Nets
• Formal Approaches to Software Testing
• Model-based testing of reactive systems. Advanced lectures.
• Symbolic Model-based Test Selection

Cited in

(1)

• Input-output conformance testing for software product lines

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2336614)