Pages that link to "Item:Q4415904"
From MaRDI portal
The following pages link to Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine (Q4415904):
Displayed 4 items.
- On the synthesis of adaptive tests for nondeterministic finite state machines (Q840063) (← links)
- Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine (Q1019006) (← links)
- Synthesis of distinguishing test cases for timed finite state machines (Q1758682) (← links)
- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM (Q3434606) (← links)