The following pages link to Reduced length checking sequences (Q3417030):
Displayed 8 items.
- Hardness and inapproximability of minimizing adaptive distinguishing sequences (Q479811) (← links)
- Lower bounds on lengths of checking sequences (Q613138) (← links)
- Checking experiments for stream X-machines (Q987982) (← links)
- Testing from a stochastic timed system with a fault model (Q1001893) (← links)
- Testing conformance of a deterministic implementation against a non-deterministic stream X-machine (Q1882901) (← links)
- Checking sequences for distributed test architectures (Q2377256) (← links)
- Minimizing Coordination Channels in Distributed Testing (Q3613091) (← links)
- Complexities of Some Problems Related to Synchronizing, Non-Synchronizing and Monotonic Automata (Q5250279) (← links)