«ІНФОРМАЦІЙНА ТЕХНОЛОГІЯ АВТОМАТИЧНОГО ВИЯВЛЕННЯ ПРОГРАМНИХ ПОМИЛОК НА ОСНОВІ ФОРМАЛІЗОВАНОЇ ПРОЄКЦІЇ ТРАЄКТОРІЙ ВИКОНАННЯ ТА ІНТЕГРАЦІЇ ЛОГІВ І МЕТРИК» (2026) Вісник Вінницького політехнічного інституту, (4), с. 67–82. doi:10.31649/.