"Der Fehler ist im Grunde genommen unmöglich durch Tests und manuelle Codeinspektion zu entdecken. Er wurde von einem automatischen Prüfer für Synchronisationsalgorithmen gefunden."
647