Hyunwoo Cho Seh-Woong Jeong Fabio Somenzi Carl Pixley Synchronizing sequences and symbolic traversal techniques in test generation. 19-31 1993 4 J. Electronic Testing 1 http://dx.doi.org/10.1007/BF00971937 db/journals/et/et4.html#ChoJSP93