Differential Testing funktioniert ohne formalen Beweis, aber Common-Mode Failures sind der Haken
Differential Testing hilft dir, Bugs zu finden, ohne die korrekte Antwort zu kennen. Das Problem ist, dass korrelierte Fehler wie Übereinstimmung aussehen. So entdeckst du die blinden Flecken.
