Automatic mining of specifications from invocation traces and method invariants
Learning from examples to improve code completion systems