Testing software design modeled by finite-state machines (1978)

by T Chow
Venue:In IEEE Transactions on Software Engineering, volume SE-4,n