00456nam a2200121Ia 4500008004100000100002300041245011000064245005300174260000900227300003000236440004500266650002300311171207s9999    xx            000 0 und d  aBonifacio, Adilson  aExperimental comparison of approaches for checking completeness of test suites from finite state machines  cAdilson Bonifacio, Arnaldo Moura, Adenilso Simao  c2017  apages 95-104, August 2017  aInformation and Software Technologyv92:  aSOFTWARE TECHNLOGY