Pages that link to "Item:Q4245976"
From MaRDI portal
The following pages link to Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine (Q4245976):
Displaying 15 items.
- Testing restorable systems: formal definition and heuristic solution based on river formation dynamics (Q470035) (← links)
- Test selection for traces refinement (Q481094) (← links)
- The complexity of asynchronous model based testing (Q714798) (← links)
- On the synthesis of adaptive tests for nondeterministic finite state machines (Q840063) (← links)
- Reducing the cost of applying adaptive test cases (Q856734) (← links)
- Checking experiments for stream X-machines (Q987982) (← links)
- Fault-detection experiment with deterministic realizations and a nondeterministic model (Q1286277) (← links)
- Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation (Q1707350) (← links)
- Synthesis of distinguishing test cases for timed finite state machines (Q1758682) (← links)
- Testing conformance of a deterministic implementation against a non-deterministic stream X-machine (Q1882901) (← links)
- Testing finite state machines: Fault detection (Q1892217) (← links)
- The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs (Q2398505) (← links)
- On testing UML statecharts (Q2500697) (← links)
- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM (Q3434606) (← links)
- Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine (Q4415904) (← links)
