Back to the future : omniscient debugging - Pothier, Guillaume