Фаззинг не заменяет тестов.
Тесты не заменяют формальных методов.
Формальные методы не заменяют фаззинга, потому что одно относится к модели, а другое - к реализации.

Как-то это всё вместе могли бы склеить исполняемые и формально верифицируемые спецификации.
Может быть.
Но, тут дело упирается в то, что люди небезосновательно опасаются увязнуть в этом с головой - а работающего результата всё равно не получить.
Потому что этому толком не учат, а листая чужие решения по запросам в поисковике - въехать в это очень малореально.

Никто не удивляется, что для того, чтобы построить надёжную систему, нужно использовать несколько инструментов.
А то, что время от времени начинают превозносить какой-то один из них - издержки продвижения.
Люди так устроены, что нужно обращать их внимание на некий объект, чтобы они запомнили хотя бы существование этого объекта.
Пыль осядет и у кого голова есть - будут выбирать для каждого конкретного проекта конкретную комбинацию из этих инструментов.

Впрочем, те у кого в голове не молоко, но масло - ещё вчера это делали.