Synchronizing sequences and symbolic traversal techniques in test generation Journal Article

Overview

CU Boulder Authors

Somenzi, Fabio

publication date

February 1, 1993

Full Author List

Cho H; Jeong S-W; Somenzi F; Pixley C

published in

Journal of Electronic Testing Journal

Other Profiles

Digital Object Identifier (DOI)

10.1007/bf00971937

Additional Document Info

start page

19

end page

31

volume

4

issue

1