Hyunwoo Cho, Seh-Woong Jeong, Fabio Somenzi, Carl Pixley. Synchronizing sequences and symbolic traversal techniques in test generation. J. Electronic Testing, 4(1):19-31, 1993. [doi]
No references recorded for this publication.
No citations of this publication recorded.