"Il bug è praticamente impossibile da scoprire tramite test e ispezione manuale del codice. È stato trovato da un controllore automatico degli algoritmi di sincronizzazione."
645