Behavioral Execution Comparison: Are Tests Representative of Field Behavior?
Automatic mining of specifications from invocation traces and method invariants