Differential Coverage for Debugging