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

by T S CHOW
Venue:IEEE Transactions on Software Engineering