А. Корнієнко, «Техніки тест-дизайну для верифікації програмного забезпечення», ІКТвО, вип. 9, Чер 2022.