ГУРАЛЬНИК, Ф.; КОВТУН, В. МЕТОД КІЛЬКІСНОГО ОЦІНЮВАННЯ ЕМПІРИЧНОЇ ПІДТВЕРДЖУВАНОСТИ ІНВАРІАНТНО-ОРІЄНТОВАНИХ СИГНАЛІВ У ЗАДАЧАХ АВТОМАТИЧНОГО ВИЯВЛЕННЯ ПОМИЛОК ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ. CSIT 2026, 100-114.