00571nam a2200145Ia 4500008004100000100002300041245011000064245005300174260000900227300003000236440004500266650002300311999001900334952007200353171207s9999    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  c347633d347633  001040aCLbCLd2017-12-07l0r2017-12-07 00:00:00w2017-12-07ySE