A case study using the round-trip strategy for state-based class testing | IEEE Conference Publication | IEEE Xplore