"VARAN the Unbelievable: An Efficient N-version Execution Framework."

Petr Hosek, Cristian Cadar (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics