VARAN the Unbelievable: An Efficient N-version Execution Framework
Replay debugging for distributed applications