Testing (stream) X-machines
type: Item
instance of: scholarly article
title: Testing (stream) X-machines
zbMATH Open document ID: 1023.68023
author: Florentin Ipate
author: Marian Gheorghe
author: Mike Holcombe
published in: Applicable Algebra in Engineering, Communication and Computing
publication date: 2003-11-17T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q05
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 2004970
zbMATH Keywords: formal specification
zbMATH Keywords: general X-machines
zbMATH Keywords: stream X-machines
zbMATH Keywords: testing
MaRDI profile type: Publication
full work available at URL: s00200-003-0132-6
OpenAlex ID: W2154108373
DOI: 10.1007/S00200-003-0132-6
Recommended article: Complete deterministic stream X-machine testing
Recommended article: Checking experiments for stream X-machines
Recommended article: An integrated refinement and testing method for stream X-machines
Recommended article: Testing data processing-oriented systems from stream X-machine models
Recommended article: Testing conditions for communicating stream \(X\)-machine systems
Recommended article: Testing conformance to a quasi-non-deterministic stream X-machine
Recommended article: Testing methods for X-machines: a review
Recommended article: Generating test sets from non-deterministic stream X-machines
Recommended article: Q3022297
description: scientific article; zbMATH DE number 2004970