Для нового курса по software design, для раздела "почему давно работающий код всё ещё содержит баги" подбирал подходящий пример, когда 100% покрытия тестами не даёт гарантии корректности, ибо логика может быть такой сложной, что и сам автор без поллитра не разберётся, какие там возможны критичные случаи.

Взял такой достаточно наглядный пример, как несмещённая оценка дисперсии выборки. Мы стандартно тестируем, когда размер выборки 0, null, а также на ряде типовых примеров, и покрываем все условные веточки. Однако алгоритм подразумевает деление суммы квадратов отклонений не на число элементов, а на число элементов - 1. Поэтому при размере выборки в 1 элемент код будет вылетать с исключением.

Даю конечно рекомендации, что с этим делать, как правильно рассуждать и т.п.