«ІНФОРМАЦІЙНА ТЕХНОЛОГІЯ АВТОМАТИЧНОГО ВИЯВЛЕННЯ ПРОГРАМНИХ ПОМИЛОК НА ОСНОВІ ФОРМАЛІЗОВАНОЇ ПРОЄКЦІЇ ТРАЄКТОРІЙ ВИКОНАННЯ ТА ІНТЕГРАЦІЇ ЛОГІВ І МЕТРИК», Вісник ВПІ, вип. 4, с. 67–82, Вер 2026, doi: 10.31649/.