Steering programs via time travel | IEEE Conference Publication | IEEE Xplore