combining exact and metaheuristic techniques for learning extended finite - state machines from test scenarios and temporal properties .
Finite state machine induction using genetic algorithm based on testing and model checking