Functional test generation for finite state machines

@inproceedings{Cheng1990FunctionalTG,
  title={Functional test generation for finite state machines},
  author={Kwang-Ting Cheng and Jing-Yang Jou},
  booktitle={ITC},
  year={1990}
}