Martin Dimitrov and Huiyang Zhou, “Anomaly-based Bug Prediction, Isolation, and Validation: An Automated Approach for Software Debugging”, to appear in the 14th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-XIV), Mar. 2009.