Automatic mining of specifications from invocation traces and method invariants
Inferring Finite-State Models with Temporal Constraints