Using Distinguishing and UIO Sequences Together in a Checking Sequence

DOI10.1007/11754008_17MaRDI QIDQ3434663zbMATH OpenOpenAlexFDO

Authors M. Cihan Yalcin, Hüsnü Yenigün

Publication date 2 May 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11754008_17

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Recommendations

• Reduced length checking sequences
• On minimizing the lengths of checking sequences
• Lower bounds on lengths of checking sequences
• Reduced checking sequences using unreliable reset
• A generalized algorithm for constructing checking sequences

Cited in

(3)

• Reduced checking sequences using unreliable reset
• A study on the extended unique input/output sequence
• Synthesis of finite state machines for improved state verification

This page was built for publication: Using Distinguishing and UIO Sequences Together in a Checking Sequence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3434663)