https://vital.lib.tsu.ru/vital/access/manager/Index en-us 5 Использование свойств мутационных автоматов для минимизации проверяющих тестов https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000446501 Tue 08 Sep 2020 10:20:10 KRAT ]]> Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000621830 Thu 15 Mar 2018 09:33:55 KRAT ]]>