"Bug pada dasarnya tidak mungkin ditemukan dengan pengujian dan inspeksi kode manual. Itu ditemukan oleh pemeriksa otomatis algoritma sinkronisasi."
665