Pages that link to "Item:Q3417008"
From MaRDI portal
The following pages link to On minimizing the lengths of checking sequences (Q3417008):
Displaying 15 items.
- Hardness and inapproximability of minimizing adaptive distinguishing sequences (Q479811) (← links)
- Lower bounds on lengths of checking sequences (Q613138) (← links)
- On finding minimal, maximal, and consistent sequences over a binary alphabet (Q673107) (← links)
- Checking experiments for stream X-machines (Q987982) (← links)
- Testing conformance of a deterministic implementation against a non-deterministic stream X-machine (Q1882901) (← links)
- Reduced checking sequences using unreliable reset (Q2339596) (← links)
- Checking sequences for distributed test architectures (Q2377256) (← links)
- Test sequence construction using minimum information on the tested system (Q2498283) (← links)
- Removing redundant refusals: minimal complete test suites for failure trace semantics (Q2687991) (← links)
- Model partitions and compact test case suites (Q2909189) (← links)
- Hardness of Deriving Invertible Sequences from Finite State Machines (Q2971131) (← links)
- Minimizing Coordination Channels in Distributed Testing (Q3613091) (← links)
- Lower bounds for the length of test sequences using UIOs (Q4698227) (← links)
- (Q4857241) (← links)
- Complexities of Some Problems Related to Synchronizing, Non-Synchronizing and Monotonic Automata (Q5250279) (← links)