000 00487nam a2200133Ia 4500
008 171207s9999 xx 000 0 und d
100 _aBonifacio, Adilson
245 _aExperimental comparison of approaches for checking completeness of test suites from finite state machines
245 _cAdilson Bonifacio, Arnaldo Moura, Adenilso Simao
260 _c2017
300 _apages 95-104, August 2017
440 _aInformation and Software Technology
_v92:
650 _aSOFTWARE TECHNLOGY
999 _c347633
_d347633