Checking experiments for stream X-machines
From MaRDI portal
Publication:987982
Recommendations
- Testing (stream) X-machines
- Testing conformance to a quasi-non-deterministic stream X-machine
- Complete deterministic stream X-machine testing
- Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
- Testing conditions for communicating stream \(X\)-machine systems
- An integrated refinement and testing method for stream X-machines
- Testing non-deterministic stream X-machine models and P systems
- Testing non-deterministic stream X-machine models and P systems
- Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
- Testing data processing-oriented systems from stream X-machine models
Cites work
- scientific article; zbMATH DE number 1706341 (Why is no real title available?)
- scientific article; zbMATH DE number 3497806 (Why is no real title available?)
- scientific article; zbMATH DE number 1200754 (Why is no real title available?)
- scientific article; zbMATH DE number 1735632 (Why is no real title available?)
- scientific article; zbMATH DE number 1543314 (Why is no real title available?)
- scientific article; zbMATH DE number 3254905 (Why is no real title available?)
- A Method for the Design of Fault Detection Experiments
- A method for refining and testing generalised machine specifications
- Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine
- An integration testing method that is proved to find all faults
- Generating test sets from non-deterministic stream X-machines
- Membrane Computing
- On minimizing the lengths of checking sequences
- PX systems = P systems + X machines
- Reduced length checking sequences
- Testing Software Design Modeled by Finite-State Machines
- Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
- Testing against a non-controllable stream X-machine using state counting
- Testing algebraic data types and processes: A unifying theory
- Testing can be formal, too
- Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
- Testing conformance to a quasi-non-deterministic stream X-machine
Cited in
(6)- Testing (stream) X-machines
- A unified integration and component testing approach from deterministic stream X-machine specifications
- On the Minimality of Stream X-machines
- Testing conditions for communicating stream \(X\)-machine systems
- Fundamental results for learning deterministic extended finite state machines from queries
- Testing based on identifiable P systems using cover automata and X-machines
This page was built for publication: Checking experiments for stream X-machines
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q987982)