Pages that link to "Item:Q2731077"
From MaRDI portal
The following pages link to On conformance testing of non-deterministic systems (Q2731077):
Displaying 10 items.
- Complete model-based equivalence class testing for nondeterministic systems (Q520246) (← links)
- A fault-detection approach to the conformance testing of nondeterministic systems (Q1898202) (← links)
- Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism (Q1941894) (← links)
- Towards property oriented testing (Q2870321) (← links)
- Conformance testing in the presence of multiple faults (Q2921787) (← links)
- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM (Q3434606) (← links)
- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach (Q3434609) (← links)
- Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine (Q4245976) (← links)
- Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine (Q4415904) (← links)
- Fundamental Approaches to Software Engineering (Q5316435) (← links)