Functional test generation for finite state machines.

Kwang-Ting Cheng, Jing-Yang Jou

Browse the full ITC paper archive.