Highly Influenced

@inproceedings{Yalcin2006UsingDA, title={Using Distinguishing and UIO Sequences Together in a Checking Sequence}, author={M. Cihan Yalcin and H{\"u}sn{\"u} Yenig{\"u}n}, booktitle={TestCom}, year={2006} }

- Published 2006 in TestCom
DOI:10.1007/11754008_17

If a finite state machine M does not have a distinguishing sequence, but has UIO sequences for its states, there are methods to produce a checking sequence for M . However, if M has a distinguishing sequence D̄, then there are methods that make use of D̄ to construct checking sequences that are much shorter than the ones that would be constructed by using only the UIO sequences for M . The methods to applied when a distinguishing sequence exists, only make use of the distinguishing sequences… CONTINUE READING