Алгоритмы построения последовательности, доставляющей тестовые пары для робастно тестируемых PDFs с использованием операций над ROBDD-графами

Матросова, Анжела Юрьевна; Чернышов, Семен Владимирович

Алгоритмы построения последовательности, доставляющей тестовые пары для робастно тестируемых PDFs с использованием операций над ROBDD-графами

Матросова, Анжела Юрьевна, Чернышов, Семен Владимирович

Дата публикации: 2020

Дата публикации в реестре: 2021-08-05T23:21:18Z

Ключевые слова:
тестовые пары, робастные PDFs, тестовые последовательности, ROBDD-графы

Тип: статьи в сборниках

Источник: Материалы международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 28-30 мая 2020 г.. Томск, 2020. С. 169-178

Алгоритмы построения последовательности, доставляющей тестовые пары для робастно тестируемых PDFs с использованием операций над ROBDD-графами

Связанные документы (рекомендация CORE)

Новости проекта

Новости

Партнеры

Индексация