On FSM-Based Testing: An Empirical Study: Complete Round-Trip Versus Transition Trees | IEEE Conference Publication | IEEE Xplore