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 8 items.
- 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)
- Checking experiments for stream X-machines (Q987982) (← 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)
- On testing UML statecharts (Q2500697) (← links)
- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM (Q3434606) (← links)