Конспект лекцій з дисципліни «Верифікація та тестування програмного забезпечення» для студентів другого (магістерського) рівня за спеціальністю 122 Комп’ютерні науки, за освітньо-професійною програмою «Комп’ютерний дизайн» / Уклад. Л. В. Бовнегра, К. Г. Кіркопуло, А. С. Коляда ; Нац. ун-т «Одеська політехніка». – Одеса, 2025. – 200 с.