Comparing finite state machine test coverage criteria
IET Software
José Carlos Maldonado
J.C. Maldonado
A. Sima?o