@article{article9ff1291b, title = {Comparing finite state machine test coverage criteria}, author = {Simão, Adenilso da Silva and Petrenko, A. and Maldonado, José Carlos}, year = {2009}, journal = {IET Software} }