Debugging case studies