Thoroughness of specification-based testing of synchronous programs | IEEE Conference Publication | IEEE Xplore