Issue No.09 - September (2002 vol.51)
<p><b>Abstract</b>—Here, the method proposed in [<ref rid="bibT111113" type="bib">13</ref>] for constructing minimal-length checking sequences based on distinguishing sequences is improved. The improvement is based on optimizations of the state recognition sequences and their use in constructing test segments. It is shown that the proposed improvement further reduces the length of checking sequences produced from minimal, completely specified, and deterministic finite state machines.</p>
Finite state machine, checking sequence, test minimization, distinguishing sequence.
Robert M. Hierons, Hasan Ural, "Reduced Length Checking Sequences", IEEE Transactions on Computers, vol.51, no. 9, pp. 1111-1117, September 2002, doi:10.1109/TC.2002.1032630