Cover Image

Traversal of arbitrary sequences of UCM symbolic transitions for test generation

The paper proposes a method of traversal of high-level multi-threaded models formalized in UCM language. The pros and cons of this approach comparing to the existing ones are considered. The method that allows state space exploring of UCM models using symbolic solving and proving is presented. The g...

Full description

Saved in:

Bibliographic Details
Published in:	PROBLEMS IN PROGRAMMING
Date:	2025
Issue:	2-3
Pages:	107-111
ISSN:	1727-4907
Author Affiliations:	A.A. Guba — Glushkov Institute of Cybernetics NAS of Ukraine
Main Author:	Guba, A.A.
Format:	Article
Language:	English
Published:	PROBLEMS IN PROGRAMMING 2025
Subjects:	UDC 004.415.5
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/701
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

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
by: Guba, A.A.
Published: (2014)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
by: A. A. Guba
Published: (2014)

Regression testing: techniques and future research directions
by: Moroz, H.B., et al.
Published: (2025)

About construction of digital library models
by: Reznichenko, V.A., et al.
Published: (2026)

Monitoring design flaws in object-oriented software
by: Nechay, A.S.
Published: (2026)

The usage of ontologies for semantics analysis of texts on natural language
by: Lescko, O.N., et al.
Published: (2026)

Data Integration in the Internet: Linked data
by: Novytskyi, O.V.
Published: (2026)

An approach to behavioral software models refinement using design patterns
by: Chebanyuk, O.B.
Published: (2025)

Metrics selection for the software properties
by: Dyshlevyi, O.P.
Published: (2026)

About one Approach for the Verification of Algebraic Computations
by: Lvov, M.S.
Published: (2025)

Entity-substance characteristics of educational environment
by: Parfirova, T.S.
Published: (2026)

Neural network application to pseudorandom sequence generation simulation
by: Lesyk, V.O., et al.
Published: (2024)

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

Presentation of a graphical user interface for software testing
by: Prigozhev, A.S.
Published: (2026)

Maintenance of Availability and Operation Proceeding Aviation Software
by: Lutsky, M.G., et al.
Published: (2026)

Symbolic Modeling of Basic Protocols Systems with Arbitrary Number of Agents
by: S. V. Potiyenko
Published: (2013)

Symbolic modeling of basic protocols systems with arbitrary number of agents
by: Potiyenko, S.V.
Published: (2013)

Cluster solution the problem of the diffraction elastic waves by a system of rigid cylindrical inclusions of arbitrary cross section
by: Panchenko, B.E., et al.
Published: (2025)

Whey fermentation by yeast strains Kluyveromyces marxianus UCM Y-2096 and UCM Y-2388
by: O. D. Ianieva, et al.
Published: (2014)

Methods and ways for realization of the automated support testing of the integrated information security system
by: Koltyk, M. A.
Published: (2025)

System-ontological analysis the subject area of testing integrated information security system (IISS)
by: Koltyk, M.A.
Published: (2025)

Method for calculating the parameters of phase transitions of discrete technological and information processes of strategic planning with parallelization of computations
by: Stepaniuk, M.Yu.
Published: (2025)

Symbolization of politics and the process of institutional transformation in transit
by: I. Debenko
Published: (2012)

Multi-Comparand Associative Machine and its Application to Relational Algebra Operations
by: Nepomniaschaya, A.S.
Published: (2026)

Minimal Deterministic Traversable Vertex Labelling of Infinite Square Grid Graph
by: S. V. Sapunov
Published: (2020)

DS-theory. The research of P-data factors formating
by: Kolesnyk, V.G.
Published: (2018)

On the possibility of a systematic study of the production management systems
by: Kolesnyk, V.G.
Published: (2018)

Инсерционная семантика параллельных процедурных конструктов языка UCM
by: Годлевский, А.Б.
Published: (2012)

Инсерционная семантика плоских многопотоковых моделей языка UCM
by: Губа, А.А., et al.
Published: (2012)

A method for guided search and test scenarios generation in verification of formal models of asynchronous systems
by: Kolchin, A.V.
Published: (2026)

The Models of DBMS benchmark
by: Blazhko, A.A., et al.
Published: (2026)

Insertion modeling in distributed system design
by: Letichevsky, A.A., et al.
Published: (2026)

A method for business logic extraction from legacy COBOL code of industrial systems
by: Guba, A.A., et al.
Published: (2018)

The architecture and functionality of the multi-agent system Navigation
by: Yalovets, A.L.
Published: (2018)

A simplified method for calculating error for location of remote point of the broken polygon traverse
by: V. A. Nazarenko, et al.
Published: (2017)

Tectonophysical and palinspastic sections of the Ukrainian Carpathians along the geo- traverse DOBRE-3 (PANCAKE)
by: O. B. Gintov, et al.
Published: (2014)

Tectonophysical and palinspatic sections of the Ukrainian Carpathians along the geo-traverse DOBRE-3 (PANCAKE)
by: Gintov, O.B., et al.
Published: (2014)

Neurocontrol Methods: A Survey
by: Chernodub, A.N., et al.
Published: (2025)

Implementation the concept of adaptive broadcast system and automatic preparation of content
by: Provotar, O.I., et al.
Published: (2025)

Properties of Pyocin S9 from Pseudomonas aeruginosa UCM V-333
by: O. B. Balko, et al.
Published: (2022)