Automatic Inference of Finite-State Plant Models From Traces and Temporal Properties
combining exact and metaheuristic techniques for learning extended finite - state machines from test scenarios and temporal properties .