Text this: Assessing test suites of extended finite state machines against model and code based faults