Estatísticas para An experimental study on test suite characteristics, cost, and effectiveness of FSM-based testing methods.