TY - SER AU - Эль-Факи,Калед AU - Евтушенко,Нина Владимировна AU - Дорофеева,Маргарита Юрьевна ED - Томский государственный университет TI - Использование свойств мутационных автоматов для минимизации проверяющих тестов KW - мутационные автоматы KW - проверяющие тесты KW - конечные автоматы KW - статьи в журналах N1 - Библиогр.: 19 назв UR - http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000446501 ER -