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
Date:	2025
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)

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

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

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
by: Kolesnyk, V.G.
Published: (2017)

Development of integrated system of scientific periodicals based on the OJS
by: Kudim, K.A., et al.
Published: (2017)

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

Метод доменного аналізу для ефективного моделювання процесів при проведенні експериментів з використанням програмного забезпечення
by: Chebanyuk, E.V., et al.
Published: (2015)

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

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

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

Theoretical and applied aspects of relations and operations for sequences of time intervals
by: Kudym, K.A., et al.
Published: (2025)

T-satisfiability test problem for the VL1 logical language of the VRS system
by: Timofeev, V.G.
Published: (2015)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 2
by: Kolesnyk, V.G.
Published: (2017)

Method of calibration of the СOCOMO model by reduction of the basic equation
by: Batsenko, D.V.
Published: (2015)

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)

DS-theory. Presentation of canonical algorithm by means of algorithmic language
by: Kolesnyk, V.G.
Published: (2017)

Formal model of scientific publication
by: Reznichenko, V.A., et al.
Published: (2015)

Matching data between electronic documents and database tables with automated SQL-query generation
by: Marulin, S.Yu.
Published: (2025)

Autotuner and visualization for meteorological forecasting model
by: Ivanenko, P.A., et al.
Published: (2025)

Creation of an Internet portal providing meteorological forecasting services on multiprocessor platform
by: Doroshenko, А.Yu., et al.
Published: (2017)

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

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

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

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)

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)

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

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

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

Domain engineering approach of software requirements analysis
by: Chebanyuk, O.V., et al.
Published: (2020)

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

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

Symbolic computation system for dynamical application programming
by: Doroshenko, A.Yu., et al.
Published: (2015)

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

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

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

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

Автоматична оптимізація виконання для задачі метеорологічного прогнозування
by: Doroshenko, A.Yu., et al.
Published: (2015)

On the peculiarities of using sparse matrices in problems of mathematical modeling
by: Khimich, O.M., et al.
Published: (2023)