АВТОМАТИЗОВАНА ПЕРЕВІРКА ПРОГРАМНИХ ЗАСОБІВ ДЛЯ ВИЯВЛЕННЯ ШКІДЛИВОГО ВПЛИВУ НА ОС. kbkit 2024, 146-149.