Cover Image

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...

Full description

Saved in:
Bibliographic Details
Published in:PROBLEMS IN PROGRAMMING
Date:2026
Issue:4
Pages:4-12
ISSN:1727-4907
Author Affiliations:
  • A.V. Kolchin — Glushkov Institute of Cybernetics NAS of Ukraine
Main Author: Kolchin, A.V.
Format: Article
Language:Russian
Published: PROBLEMS IN PROGRAMMING 2026
Subjects:
UDC 519.686.2
Online Access:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/1012
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Problems in programming
Download file: Pdf

Institution

Problems in programming

Similar Items

Similar Items