Generation of an ordered sequence of test vectors for single state transition faults in large sequential machines | IEEE Conference Publication | IEEE Xplore