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