Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
From MaRDI portal
Publication:1019006
DOI10.1007/s00165-008-0087-2zbMath1163.68327OpenAlexW2132715928MaRDI QIDQ1019006
Robert M. Hierons, Florentin Ipate
Publication date: 27 May 2009
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: http://bura.brunel.ac.uk/handle/2438/2498
Related Items (2)
Fundamental results for learning deterministic extended finite state machines from queries ⋮ Checking experiments for stream X-machines
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Distributed testing without encountering controllability and observability problems
- PX systems = P systems + X machines
- Complete deterministic stream X-machine testing
- Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
- Testing against a non-controllable stream X-machine using state counting
- Testing methods for X-machines: a review
- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM
- A Logic for Assessing Sets of Heterogeneous Testing Hypotheses
- An integration testing method that is proved to find all faults
- Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine
- Membrane Computing
- Testing conformance to a quasi-non-deterministic stream X-machine
- Generating test sets from non-deterministic stream X-machines
- A structured way to use channels for communication in X-machine systems
This page was built for publication: Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
