Использование свойств мутационных автоматов для минимизации проверяющих тестов
Published in: | Программирование № 4. С. 17-28 |
---|---|
Main Author: | Эль-Факи, Калед |
Corporate Author: | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур |
Other Authors: | Евтушенко, Нина Владимировна, Дорофеева, Маргарита Юрьевна |
Format: | Article |
Language: | Russian |
Subjects: | |
Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000446501 Перейти в каталог НБ ТГУ |
Similar Items
-
Синтез полных проверяющих тестов для недетерминированных автоматов с временными ограничениями
by: Твардовский, Александр Сергеевич -
К синтезу проверяющих тестов для мутационного автомата
by: Дорофеева, Маргарита Юрьевна -
Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем диссертация на соискание ученой степени кандидата технических наук : 05.13.01
by: Дорофеева, Маргарита Юрьевна
Published: (2007) -
Минимизация проверяющих тестов для конечных автоматов
by: Дорофеева, Маргарита Юрьевна -
Тестирование конечных автоматов в контексте: метод синтеза проверяющих тестов на основе сетевого эквивалента
by: Куфарева, Ирина Борисовна