trust

Differential Testingは形式的証明なしで機能するが、Common-Mode Failureが落とし穴だ

Differential testingを使えば、正解を知らなくてもバグを見つけられる。問題は、相関した誤りが合意に見えることだ。盲点を見つける方法は以下の通り。