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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	PROBLEMS IN PROGRAMMING
Datum:	2026
Heft:	4
Сторінки:	4-12
ISSN:	1727-4907
Автори та афіліації:	A.V. Kolchin — Glushkov Institute of Cybernetics NAS of Ukraine
1. Verfasser:	Kolchin, A.V.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2026
Schlagworte:	UDC 519.686.2
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/1012
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Test scenarios generation based on formal model
von: Letichevsky, A.A., et al.
Veröffentlicht: (2026)

Automatic Dynamic Semiautomatic Parallelizing for Heterogeneous Multicomputer Systems
von: Levchenko, R.I., et al.
Veröffentlicht: (2026)

Solving contest problems via formal program verification
von: Shilov, N.V., et al.
Veröffentlicht: (2026)

Some aspects of formalization of an architectural development cycle of algorithms
von: Akulovskiy, V.G.
Veröffentlicht: (2026)

Some aspects of formalization of the data and decomposition of D-operators of algebra of algorithms
von: Akulovskiy, V.G.
Veröffentlicht: (2026)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
von: A. V. Kolchin
Veröffentlicht: (2013)

Formal verification of deep neural networks
von: Panchuk, B.O.
Veröffentlicht: (2024)

Interactive method for automated test suit development for formal models of software systems
von: A. V. Kolchin, et al.
Veröffentlicht: (2018)

Formal model for verification of personalized educational trajectories based on ALLOY
von: Poltoratskyi, M.Yu., et al.
Veröffentlicht: (2026)

Modeling the kinetics of reaction of CO oxidation at the solid surface of the catalyst
von: Ведь, Е. В.
Veröffentlicht: (2016)

Modeling the kinetics of reaction of CO oxidation at the solid surface of the catalyst
von: Ведь, Е. В.
Veröffentlicht: (2016)

Formal verification of the properties of coreferent resolution model based on decision trees
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2024)

Construction concepts of the integrated environment architecture of generative programming
von: Morentsov, Y.I.
Veröffentlicht: (2026)

Solving contest problems via formal program verification
von: Shilov, N.V., et al.
Veröffentlicht: (2010)

Some modes of asynchronous generator performance
von: Ju. N. Perminov, et al.
Veröffentlicht: (2014)

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

Method for parallelizing nonlinear tasks
von: Paulin, O.N., et al.
Veröffentlicht: (2026)

A method of test data generation from source code of Java programs
von: A. V. Kolchin, et al.
Veröffentlicht: (2016)

Formalized designing and generation of parallel program for numerical weather forecasting task
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Use of metods of algebraic programming for the formal verification of legal acts
von: V. Peschanenko, et al.
Veröffentlicht: (2018)

Use of metods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V., et al.
Veröffentlicht: (2018)

Self-excitation process of autonomous asynchronous generator
von: S. A. Kudrja, et al.
Veröffentlicht: (2012)

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

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

Low-frequency ultrasonic testing of process piping by guided waves
von: V. A. Troitskij, et al.
Veröffentlicht: (2016)

Formal semantics and analysis of tokenomics properties
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2023)

Interactive method for cumulative analysis of software formal models behavior
von: A. Kolchin
Veröffentlicht: (2018)

Interactive method for cumulative analysis of software formal models behavior
von: Kolchin, A.
Veröffentlicht: (2018)

Efficient increasing of the mutation score during model-based test suite generation
von: A. Kolchin, et al.
Veröffentlicht: (2020)

Efficient increasing of the mutation score during model-based test suite generation
von: Kolchin, A., et al.
Veröffentlicht: (2020)

A survey of systematic methods for code-based test data generation
von: V. A. Volkov, et al.
Veröffentlicht: (2017)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
von: Guba, A.A.
Veröffentlicht: (2025)

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

Fundamentals of data-based algorithm algebra
von: Akulovsky, V.G.
Veröffentlicht: (2026)

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
von: Stoyan, Yu. G., et al.
Veröffentlicht: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
von: Stoyan, Yu. G., et al.
Veröffentlicht: (2016)

Error correcting code based on finite automaton and representation of numbers in the two-base numeration system
von: Zavadskyi, I.O.
Veröffentlicht: (2025)

Block algorithm for Householder transformations for hybrid architecture computers
von: Popov, O.V., et al.
Veröffentlicht: (2025)

Algebra of algorithms with the data and forecasting of computing process
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)