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
Date:	2026
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:

Institution

Problems in programming

Similar Items

Test scenarios generation based on formal model
by: Letichevsky, A.A., et al.
Published: (2026)

Optimization of checking the feasibility of transitions when verifying formal models
by: Kolchin, A.V.
Published: (2015)

Methods of forward and backward symbolic modeling of systems specified by basic protocols
by: Potienko, S.V.
Published: (2026)

Backward transformation of formulas in symbolic modeling: from the result to the source formula
by: Godlevsky, A.B., et al.
Published: (2026)

Automatic Dynamic Semiautomatic Parallelizing for Heterogeneous Multicomputer Systems
by: Levchenko, R.I., et al.
Published: (2026)

Solving contest problems via formal program verification
by: Shilov, N.V., et al.
Published: (2026)

Deductive verification of requirements for event-driven architecture
by: Letichevsky, A.A., et al.
Published: (2025)

Use of methods of algebraic programming for the formal verification of legal acts
by: Peschanenko, V.S., et al.
Published: (2018)

Survey on modern tools and methods of formal models verification
by: Kolchin, A.V., et al.
Published: (2015)

Some aspects of formalization of an architectural development cycle of algorithms
by: Akulovskiy, V.G.
Published: (2026)

Some aspects of formalization of the data and decomposition of D-operators of algebra of algorithms
by: Akulovskiy, V.G.
Published: (2026)

Parallel implementation of directed search processes for optimal solutions
by: Pepelyaev, V.A., et al.
Published: (2026)

Generation of multipurpose formal models from legacy code
by: Potiyenko, S.V., et al.
Published: (2023)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
by: A. V. Kolchin
Published: (2013)

Formal verification of deep neural networks
by: Panchuk, B.O.
Published: (2024)

Interactive method for cumulative analysis of software formal models behavior
by: Kolchin, A.V.
Published: (2018)

The formal basic developing and testing the distributed program systems
by: Lavrischeva, K.M., et al.
Published: (2025)

Static method of consistency and completeness checking in formal model of distributed software systems
by: Kolchin, A.V., et al.
Published: (2025)

The constructional knowledge of sets and their properties
by: Ilman, V.M., et al.
Published: (2025)

Interactive method for automated test suit development for formal models of software systems
by: A. V. Kolchin, et al.
Published: (2018)

Modeling the kinetics of reaction of CO oxidation at the solid surface of the catalyst
by: Ведь, Е. В.
Published: (2016)

Modeling the kinetics of reaction of CO oxidation at the solid surface of the catalyst
by: Ведь, Е. В.
Published: (2016)

Construction concepts of the integrated environment architecture of generative programming
by: Morentsov, Y.I.
Published: (2026)

Formal verification of the properties of coreferent resolution model based on decision trees
by: Pogorilyy, S.D., et al.
Published: (2024)

Method for parallelizing nonlinear tasks
by: Paulin, O.N., et al.
Published: (2026)

Efficient increasing of the mutation score during model-based test suite generation
by: Kolchin, A., et al.
Published: (2020)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
by: Palagin, O.V., et al.
Published: (2025)

An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
by: Stoyan, Yu. G., et al.
Published: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
by: Stoyan, Yu. G., et al.
Published: (2016)

Formalized designing and generation of parallel program for numerical weather forecasting task
by: Doroshenko, A.Yu., et al.
Published: (2025)

Solving contest problems via formal program verification
by: Shilov, N.V., et al.
Published: (2010)

Modifications effective implementation generator tests
by: Andriyanov, V.A., et al.
Published: (2026)

Some modes of asynchronous generator performance
by: Ju. N. Perminov, et al.
Published: (2014)

Formal semantics and analysis of tokenomics properties
by: Letychevskyi, O.O., et al.
Published: (2023)

Use of metods of algebraic programming for the formal verification of legal acts
by: V. Peschanenko, et al.
Published: (2018)

Use of metods of algebraic programming for the formal verification of legal acts
by: Peschanenko, V., et al.
Published: (2018)

Fundamentals of data-based algorithm algebra
by: Akulovsky, V.G.
Published: (2026)

Program identification of zeroes and features of functions on the basis of sorting with the application to the digital filtration
by: Romm, Ya. E., et al.
Published: (2026)

Some approaches to the control and transformation of algorithms over the analysis of the data which are specified
by: Akulovsky, V.G.
Published: (2026)

Block algorithm for Householder transformations for hybrid architecture computers
by: Popov, O.V., et al.
Published: (2025)