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

DOI10.1155/2014/645235zbMATH Open1442.68147OpenAlexW2150346951WikidataQ59053924 ScholiaQ59053924MaRDI QIDQ2336614FDOQ2336614

Authors: 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

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.

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

• Model-based testing of reactive systems. Advanced lectures.
• Title not available (Why is that?)
• Coloured Petri Nets
• Formal Approaches to Software Testing
• 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)