@article{article5d981a9b,
title   = {Experimental comparison of approaches for checking completeness of test suites from finite state machines},
author = {Bonifacio, Adilson and Moura, Arnaldo and Simão, Adenilso da Silva},
year = {2017},
doi = {10.1016/j.infsof.2017.07.012},
journal   = {Information and Software Technology}
}