VARAN the Unbelievable: An Efficient N-version Execution Framework
Transparent, lightweight application execution replay on commodity multiprocessor operating systems