research!rsc: Differential Coverage for Debugging