Text this: Experimental evaluation of FSM-based testing methods; Software Engineering and Formal Methods: SEFM 2005