Тесты всё равно не могут найти всего, уж лучше хорошая система типов :) Впрочем и она не спасает совсем.