@article{article9d496087,
title   = {Checking completeness of tests for finite state machines},
author = {Simão, Adenilso da Silva and Petrenko, Alexandre},
year = {2010},
journal   = {IEEE Transactions on Computers}
}