Le differential testing fonctionne sans preuve formelle, mais les common-mode failures sont le piège
Le differential testing permet de trouver des bugs sans connaître la réponse correcte. Le problème est que des erreurs corrélées ressemblent à un accord. Voici comment repérer les angles morts.
