Такой подход, который... «A Practitioner's Guide to Software Test Design»

Такой подход, который начинается с предпосылки, что программа работает верно (в основном), может ослепить нас при поиске дефектов. [...] Не будут созданы “дьявольские” тесты, необходимые для поиска глубоко скрытых дефектов.