Finding Likely Errors with Bayesian Specifications
Tracking down software bugs using automatic anomaly detection