combining exact and metaheuristic techniques for learning extended finite - state machines from test scenarios and temporal properties .
Extended Finite-State Machine Induction Using SAT-Solver