Automatic Discovery of Behavioral Models From Software Execution Data
Inferring Finite-State Models with Temporal Constraints