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]
@article{ChoJSP93,
title = {Synchronizing sequences and symbolic traversal techniques in test generation},
author = {Hyunwoo Cho and Seh-Woong Jeong and Fabio Somenzi and Carl Pixley},
year = {1993},
doi = {10.1007/BF00971937},
url = {http://dx.doi.org/10.1007/BF00971937},
tags = {synchronization, traversal, testing},
researchr = {https://researchr.org/publication/ChoJSP93},
cites = {0},
citedby = {0},
journal = {J. Electronic Testing},
volume = {4},
number = {1},
pages = {19-31},
}