TY - BOOK AU - Bonifacio, Adilson TI - Experimental comparison of approaches for checking completeness of test suites from finite state machines PY - 2017/// KW - SOFTWARE TECHNLOGY ER -