Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
type: Item
instance of: scholarly article
title: Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
zbMATH Open document ID: 1163.68327
author: Robert M. Hierons
author: Florentin Ipate
published in: Formal Aspects of Computing
publication date: 2009-05-27T00:00:00Z
full work available at URL: http://bura.brunel.ac.uk/handle/2438/2498
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 5558109
zbMATH Keywords: stream X-machine
zbMATH Keywords: non-determinism
zbMATH Keywords: Testing
zbMATH Keywords: controllability
MaRDI profile type: Publication
OpenAlex ID: W2132715928
cites work: Q4520784
cites work: PX systems = P systems + X machines
cites work: Testing methods for X-machines: a review
cites work: A structured way to use channels for communication in X-machine systems
cites work: Q4079524
cites work: Testing conformance to a quasi-non-deterministic stream X-machine
cites work: Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
cites work: Q4210112
cites work: Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine
cites work: An integration testing method that is proved to find all faults
cites work: Generating test sets from non-deterministic stream X-machines
cites work: Complete deterministic stream X-machine testing
cites work: Testing against a non-controllable stream X-machine using state counting
cites work: Q4415044
cites work: Conformance Tests as Checking Experiments for Partial Nondeterministic FSM
cites work: A Logic for Assessing Sets of Heterogeneous Testing Hypotheses
cites work: Membrane Computing
cites work: Distributed testing without encountering controllability and observability problems
DOI: 10.1007/S00165-008-0087-2
Wikidata QID: Q130979963
description: scientific article; zbMATH DE number 5558109