Text this: FSM-based conformance testing methods: A survey annotated with experimental evaluation; Information and Software Technology; Vol. 52, iss. 12