Сборники трудов ИСП РАН


Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции.

Антон Ермаков.

Аннотация

В данной статье предлагается алгоритм построения адаптивной проверяющей последовательности для недетерминированного конечного полностью определенного автомата относительно редукции.

Ключевые слова

синтез тестов; недетерминированный автомат; отношение редукции.

Издание

Труды Института системного программирования РАН, том 26, вып. 6, 2014, стр. 111-124.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2014-26(6)-10

Полный текст статьи в формате pdf Вернуться к содержанию тома