combining exact and metaheuristic techniques for learning extended finite - state machines from test scenarios and temporal properties .
Inferring Finite-State Models with Temporal Constraints