Kiểm thử chương trình được dùng để tìm ra các lỗi đang tồn tại chứ không tìm ra được các lỗi tiềm ẩn. Edsger Wybe Dijkstra