"Le bug est pratiquement impossible à découvrir par des tests et une inspection manuelle du code. Il a été trouvé par un vérificateur automatique des algorithmes de synchronisation."