Text this: Использование свойств мутационных автоматов для минимизации проверяющих тестов; Программирование; Т. 38, № 4