PORD: a Reversible Debugging Tool using Dynamic Binary Translation. - Xiyang Liu; Tao Liu; Zhiwen Bai; Yan Wang; Haoying Mu; Chunxiang Li (APSEC, 2007)