„Тестирование программы может весьма эффективно продемонстрировать наличие ошибок, но безнадежно неадекватно для демонстрации их отсутствия.“Эдсгер Вибе Дейкстра
„Глубоко ошибается тот, кто думает, что изделиями программистов являются программы, которые они пишут. Программист обязан создавать заслуживающие доверия решения и представлять их в форме убедительных доводов, а текст написанной программы является лишь сопроводительным материалом, к которому эти доказательства применимы.“Эдсгер Вибе Дейкстра
„Тестирование программ может оказать наличие ошибок, но никогда не покажет их отсутствие.“Эдсгер Вибе Дейкстра