I spent some time reading Hewitt's PLANNER paper recently. I am tempted to think that something drawing from his ideas on hypothetical explorations could be implemented for debugging (more than just numerical adjustments). But it's been a while since I reviewed the debugging literature to say with confidence if such a thing once existed.
I use these terms a bit in my recent papers, but I don't go into much detail:
http://research.microsoft.com/apps/pubs/default.aspx?id=2112...
http://research.microsoft.com/apps/pubs/default.aspx?id=1898...
For the first paper, here is an annotated video that perhaps shows it better:
You would be correct in thinking they are hardly standard. Time travel is such a sexy term alternative that most people just use that, even if it isn't very descriptive.
Anyway, the strobe/scrub terminology I think is worth using, IMO. It describes it well. Time travel is pretty fun to say though. =)
ah well, it inspires me to continue on with my research. :-)