trust

Differential Testing Works Without a Formal Proof, but Common-Mode Failures Are the Catch

Differential testing lets you find bugs without knowing the correct answer. The problem is that correlated mistakes look like agreement.