Behavioral resource-aware model inference
Automatic mining of specifications from invocation traces and method invariants