Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão. Experimental comparison of approaches for checking completeness of test suites from finite state machines. Information \& Software Technology, 92:95-104, 2017. [doi]
Abstract is missing.