Лично мне никто, кроме вас ничего не говорил про этот отчет, но ваше мнение в целом и так понятно, жаль у вас нет своего отчета, например по ИСПА, в котором другие могли бы также покопаться, вдруг бы что интересное нашли.
То, что люди сравнивают с Ансис и получают схожую погрешность в верификационном тесте, а я вижу это именно так, а не как вы, что они якобы хотят показать, что считают лучше Ансиса - так тут проблемы нет, оба теста демонстрируют приемлемую погрешность. Кросс-верификация - дело нормальное.
Тестирование программы не подразумевает аудит теории. Тестировани