Pages that link to "Item:Q840063"
From MaRDI portal
The following pages link to On the synthesis of adaptive tests for nondeterministic finite state machines (Q840063):
Displaying 5 items.
- Synthesis of distinguishing test cases for timed finite state machines (Q1758682) (← links)
- Synthesizing adaptive test strategies from temporal logic specifications (Q2280227) (← links)
- Bounded Sequence Testing from Non-deterministic Finite State Machines (Q3434652) (← 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)