Replay debugging: Leveraging record and replay for program debugging | IEEE Conference Publication | IEEE Xplore