Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods - Endo, André Takeshi; Simão, Adenilso da Silva (Information and Software Technology, 2013)