Principles and Methods of Testing Finite State Machines - A Survey (1996)

by D Lee, M Yannakakis
Venue:In Proceedings of the IEEE