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