ІНФОРМАЦІЙНА ТЕХНОЛОГІЯ АВТОМАТИЧНОГО ВИЯВЛЕННЯ ПРОГРАМНИХ ПОМИЛОК НА ОСНОВІ ФОРМАЛІЗОВАНОЇ ПРОЄКЦІЇ ТРАЄКТОРІЙ ВИКОНАННЯ ТА ІНТЕГРАЦІЇ ЛОГІВ І МЕТРИК. Вісник ВПІ [інтернет]. 29, Вересень 2026 [цит. за 15, Листопад 2026];(4):67-82. доступний у: https://vpi.sprava.net/index.php/visnyk/article/view/3571