Жданова, О. Г.Падалко, О. Б.2013-11-262013-11-262009Жданов О. Г. Про проблему генерації планів тестування для автоматизації процесу верифікації програмного продукту / О. Г. Жданова, О. Б. Падалко // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових праць. – 2009. – № 50. – С. 34–41. – Бібліогр.: 5 назв.https://ela.kpi.ua/handle/123456789/6076ukArticleС. 34-41004.02