PORD: a Reversible Debugging Tool using Dynamic Binary Translation | IEEE Conference Publication | IEEE Xplore