model checking testing 2 перевірка моделі 2 проверка модели 2 тестирование 2 тестування 2 UDC 004.414.23+004.415.53+004.832.23+ 004.4'233 1 UDC 004.415.53+004.832.23+004.052.3 1 debugging 1 mutation testing 1 УДК 004.414.23+004.415.53+004.832.23+ 004.4'233 1 УДК 004.415.53+004.832.23+004.052.3 1 мутационное тестирование 1 мутаційне тестування 1 налагодження 1 отладка 1