Debugging in the (Very) Large: Ten Years of Implementation and Experience (research.microsoft.com)