Comparing finite state machine test coverage criteria - Simão, Adenilso da Silva; Petrenko, A.; Maldonado, José Carlos (IET Software, 2009)