@book{347633,
	author = {Bonifacio, Adilson},
	title = {Experimental comparison of approaches for checking completeness of test suites from finite state machines},
	year = {2017}
}