On conformance testing of non-deterministic systems
From MaRDI portal
Recommendations
- A fault-detection approach to the conformance testing of nondeterministic systems
- Testing from a stochastic timed system with a fault model
- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM
- Testing conformance to a quasi-non-deterministic stream X-machine
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
Cited in
(17)- A fault-detection approach to the conformance testing of nondeterministic systems
- Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism
- Complete open-state testing of limitedly nondeterministic systems
- Towards property oriented testing
- Conformance testing in the presence of multiple faults
- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM
- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach
- LaTe, a Non-fully Deterministic Testing Language
- Using Model Counting to Find Optimal Distinguishing Tests
- Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine
- Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine
- scientific article; zbMATH DE number 1418451 (Why is no real title available?)
- Complete model-based equivalence class testing for nondeterministic systems
- Automated testing of asynchronous nondeterministic systems with data.
- Fundamental Approaches to Software Engineering
- Notions of conformance testing for cyber-physical systems: overview and roadmap (invited paper)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
This page was built for publication: On conformance testing of non-deterministic systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2731077)
