ReVirt: Enabling Intrusion Analysis Through Virtual-Machine Logging and Replay. - George W. Dunlap; Samuel T. King; Sukru Cinar; Murtaza A. Basrai; Peter M. Chen (OSDI, 2002)