An Experimental Evaluation of the Assumption of Independence in Multi-Version Programming, by John Knight and Nancy Leveson https://sunnyday.mit.edu/papers/nver-tse.pdf If you take bunch of programs written independently, are you more likely to reduce bugs by taking the most common output?