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