"O bug é basicamente impossível de descobrir por meio de testes e inspeção manual de código. Foi encontrado por um verificador automático de algoritmos de sincronização.
715