A Case Study Using the Round-Trip Strategy for State-Based Class Testing