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

by D Lee, M Yannakakis
Venue:Proceedings of IEEE