Buchumschlag

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2025
1. Verfasser:	Guba, A.A.
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2025
Schlagworte:	UDC 004.415.5
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/701
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

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

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

Regression testing: techniques and future research directions
von: Moroz, H.B., et al.
Veröffentlicht: (2025)

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

An approach to behavioral software models refinement using design patterns
von: Chebanyuk, O.B.
Veröffentlicht: (2025)

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

Development of integrated system of scientific periodicals based on the OJS
von: Kudim, K.A., et al.
Veröffentlicht: (2017)

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

About one Approach for the Verification of Algebraic Computations
von: Lvov, M.S.
Veröffentlicht: (2025)

Neural network application to pseudorandom sequence generation simulation
von: Lesyk, V.O., et al.
Veröffentlicht: (2024)

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

Theoretical and applied aspects of relations and operations for sequences of time intervals
von: Kudym, K.A., et al.
Veröffentlicht: (2025)

Formal model of scientific publication
von: Reznichenko, V.A., et al.
Veröffentlicht: (2015)

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

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

Domain engineering approach of software requirements analysis
von: Chebanyuk, O.V., et al.
Veröffentlicht: (2020)

DS-theory. The research of P-data factors formating
von: Kolesnyk, V.G.
Veröffentlicht: (2018)

On the possibility of a systematic study of the production management systems
von: Kolesnyk, V.G.
Veröffentlicht: (2018)

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

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

T-satisfiability test problem for the VL1 logical language of the VRS system
von: Timofeev, V.G.
Veröffentlicht: (2015)

The architecture and functionality of the multi-agent system Navigation
von: Yalovets, A.L.
Veröffentlicht: (2018)

On the peculiarities of using sparse matrices in problems of mathematical modeling
von: Khimich, O.M., et al.
Veröffentlicht: (2023)

An approach of intelligent searching of information in texts
von: Chebanuyk, O.V.
Veröffentlicht: (2023)

Symbolic Modeling of Basic Protocols Systems with Arbitrary Number of Agents
von: S. V. Potiyenko
Veröffentlicht: (2013)

Methods and ways for realization of the automated support testing of the integrated information security system
von: Koltyk, M. A.
Veröffentlicht: (2025)

System-ontological analysis the subject area of testing integrated information security system (IISS)
von: Koltyk, M.A.
Veröffentlicht: (2025)

Matching data between electronic documents and database tables with automated SQL-query generation
von: Marulin, S.Yu.
Veröffentlicht: (2025)

DS-theory. Scientific aspects and prospects for development
von: Kolesnyk, V.G.
Veröffentlicht: (2018)

Decision support system for quality management in study process
von: Komleva, N.O., et al.
Veröffentlicht: (2020)

Agile requirement analysis approach using artificial intelligent technologies
von: Chebanyuk, O.V.
Veröffentlicht: (2024)

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

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

Peterson’s algorithm Total correctness proof in IPCL
von: Zhygallo, A.A.
Veröffentlicht: (2018)

A GPU-based singular value decomposition algorithm
von: Sukharskyi, S.S.
Veröffentlicht: (2023)

Toward software artifacts ecosystem
von: Sydorov, N.A.
Veröffentlicht: (2021)

Architecture and functionality of the decision support system SPOR
von: Yalovets, A.L.
Veröffentlicht: (2023)

Autotuner and visualization for meteorological forecasting model
von: Ivanenko, P.A., et al.
Veröffentlicht: (2025)

Formal foundations for software model to model transformation operation
von: Chebanyuk, O.V.
Veröffentlicht: (2018)

Creation of an Internet portal providing meteorological forecasting services on multiprocessor platform
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2017)