Finite State Machine Testing Complete Round-Trip Versus Transition Trees: On the Road of Finding the Most Effective Criterion | IEEE Conference Publication | IEEE Xplore