Finding Likely Errors with Bayesian Specifications
Code completion with statistical language models