Design of sequential machines for efficient test generation

@inproceedings{Cheng1989DesignOS,
  title={Design of sequential machines for efficient test generation},
  author={Kwang-Ting Cheng and Vishwani D. Agrawal},
  booktitle={ICCAD},
  year={1989}
}