Finding Likely Errors with Bayesian Specifications
Mining idioms from source code