Без заголовка

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