Practical Foundations of Debugging