A Model Independent S/W Framework for Search-Based Software Testing

Figure 2

Sample of EFSM model: automatic teller machine.