Differential Debugging. (IEEE Software, 2013)