State Transition Testing for Ensuring Reliable System Behavior