Testing conformance to a quasi-non-deterministic stream X-machine
From MaRDI portal
Recommendations
- Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
- Generating test sets from non-deterministic stream X-machines
- Testing non-deterministic stream X-machine models and P systems
- Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
- Complete deterministic stream X-machine testing
Cited in
(15)- Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
- Testing (stream) X-machines
- Complete deterministic stream X-machine testing
- Testing conditions for communicating stream \(X\)-machine systems
- Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
- Testing against a non-controllable stream X-machine using state counting
- On conformance testing of non-deterministic systems
- A unified integration and component testing approach from deterministic stream X-machine specifications
- Specification, testing and verification of unconventional computations using generalizedX-machines
- scientific article; zbMATH DE number 2182430 (Why is no real title available?)
- Streaming Property Testing of Visibly Pushdown Languages *
- Testing non-deterministic stream X-machine models and P systems
- Generating test sets from non-deterministic stream X-machines
- Testing data processing-oriented systems from stream X-machine models
- Checking experiments for stream X-machines
This page was built for publication: Testing conformance to a quasi-non-deterministic stream X-machine
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5944212)
