## Using distinguishing and UIO sequences together in a checking sequence
Yalçın, Cihan Mehmet and Yenigün, Hüsnü (2006)
Official URL: http://dx.doi.org/10.1007/11754008_17 ## AbstractIf 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. In this paper we show that, even if M has a distinguishing sequence D, the UIO sequences can still be used together with D to construct shorter checking sequences.
Repository Staff Only: item control page |