Зображення обкладинки

A method for guided search and test scenarios generation in verification of formal models of asynchronous systems

A guided search method for automatic test scenario building during verification proposed. The method uses user-defined regular expressions as test purposes and for model behavior traversal bounding. Search managing strategies together with trace and state equivalence weakening described.Problems in...

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в:PROBLEMS IN PROGRAMMING
Дата:2026
Випуск:4
Сторінки:4-12
ISSN:1727-4907
Автори та афіліації:
  • A.V. Kolchin — Glushkov Institute of Cybernetics NAS of Ukraine
Автор: Kolchin, A.V.
Формат: Стаття
Мова:Російська
Опубліковано: PROBLEMS IN PROGRAMMING 2026
Теми:
UDC 519.686.2
Онлайн доступ:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/1012
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Problems in programming
Завантажити файл: Pdf

Репозитарії

Problems in programming

Схожі ресурси

Схожі ресурси