Experimental comparison of approaches for checking completeness of test suites from finite state machines - Bonifacio, Adilson; Moura, Arnaldo; Simão, Adenilso da Silva (Information and Software Technology, 2017)