Class material for the "Systematic Debugging Techniques" course