Inferring Finite-State Models with Temporal Constraints
Mining specifications