FSM-based test generation methods-a survey
Prem R. Menon · 2003
Due to the complexity of test generation for sequential circuits using gate level models, there has been considerable interest in finite state machines as high level models for test generation. The author surveys recent work in this area, and discusses different ways in which FSM models have been used in test generation.>