Reduced length checking sequences
From MaRDI portal
Publication:3417030
DOI10.1109/TC.2002.1032630zbMath1368.68236MaRDI QIDQ3417030
Publication date: 9 January 2007
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
Related Items
Complexities of Some Problems Related to Synchronizing, Non-Synchronizing and Monotonic Automata, Hardness and inapproximability of minimizing adaptive distinguishing sequences, Lower bounds on lengths of checking sequences, Checking experiments for stream X-machines, Testing from a stochastic timed system with a fault model, Testing conformance of a deterministic implementation against a non-deterministic stream X-machine, Checking sequences for distributed test architectures, Minimizing Coordination Channels in Distributed Testing