Зображення обкладинки

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2025
Автор:	Guba, A.A.
Формат:	Стаття
Мова:	Англійська
Опубліковано:	PROBLEMS IN PROGRAMMING 2025
Теми:	UDC 004.415.5
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/701
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
за авторством: Guba, A.A.
Опубліковано: (2014)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
за авторством: A. A. Guba
Опубліковано: (2014)

Static method of consistency and completeness checking in formal model of distributed software systems
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)

Regression testing: techniques and future research directions
за авторством: Moroz, H.B., та інші
Опубліковано: (2025)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)

Development of integrated system of scientific periodicals based on the OJS
за авторством: Kudim, K.A., та інші
Опубліковано: (2017)

An approach to behavioral software models refinement using design patterns
за авторством: Chebanyuk, O.B.
Опубліковано: (2025)

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

About one Approach for the Verification of Algebraic Computations
за авторством: Lvov, M.S.
Опубліковано: (2025)

Efficient increasing of the mutation score during model-based test suite generation
за авторством: Kolchin, A., та інші
Опубліковано: (2020)

Neural network application to pseudorandom sequence generation simulation
за авторством: Lesyk, V.O., та інші
Опубліковано: (2024)

Theoretical and applied aspects of relations and operations for sequences of time intervals
за авторством: Kudym, K.A., та інші
Опубліковано: (2025)

T-satisfiability test problem for the VL1 logical language of the VRS system
за авторством: Timofeev, V.G.
Опубліковано: (2015)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 2
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)

DS-theory. Presentation of canonical algorithm by means of algorithmic language
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)

Formal model of scientific publication
за авторством: Reznichenko, V.A., та інші
Опубліковано: (2015)

Cluster solution the problem of the diffraction elastic waves by a system of rigid cylindrical inclusions of arbitrary cross section
за авторством: Panchenko, B.E., та інші
Опубліковано: (2025)

Method of calibration of the СOCOMO model by reduction of the basic equation
за авторством: Batsenko, D.V.
Опубліковано: (2015)

Matching data between electronic documents and database tables with automated SQL-query generation
за авторством: Marulin, S.Yu.
Опубліковано: (2025)

Interactive method for cumulative analysis of software formal models behavior
за авторством: Kolchin, A.V.
Опубліковано: (2018)

Methods and ways for realization of the automated support testing of the integrated information security system
за авторством: Koltyk, M. A.
Опубліковано: (2025)

System-ontological analysis the subject area of testing integrated information security system (IISS)
за авторством: Koltyk, M.A.
Опубліковано: (2025)

DS-theory. The research of P-data factors formating
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)

On the possibility of a systematic study of the production management systems
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)

Method for calculating the parameters of phase transitions of discrete technological and information processes of strategic planning with parallelization of computations
за авторством: Stepaniuk, M.Yu.
Опубліковано: (2025)

Autotuner and visualization for meteorological forecasting model
за авторством: Ivanenko, P.A., та інші
Опубліковано: (2025)

Creation of an Internet portal providing meteorological forecasting services on multiprocessor platform
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)

The architecture and functionality of the multi-agent system Navigation
за авторством: Yalovets, A.L.
Опубліковано: (2018)

Domain engineering approach of software requirements analysis
за авторством: Chebanyuk, O.V., та інші
Опубліковано: (2020)

Implementation the concept of adaptive broadcast system and automatic preparation of content
за авторством: Provotar, O.I., та інші
Опубліковано: (2025)

Generation of multipurpose formal models from legacy code
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)

Symbolic modeling of basic protocols systems with arbitrary number of agents
за авторством: Potiyenko, S.V.
Опубліковано: (2013)

Symbolic Modeling of Basic Protocols Systems with Arbitrary Number of Agents
за авторством: S. V. Potiyenko
Опубліковано: (2013)

Mixed topic-entity ontology for enhanced topic vector-spaced model
за авторством: Shabinskiy, A.S.
Опубліковано: (2025)

Development of Web-prototype for analysis of statements in social network Twitter
за авторством: Glybovets, A.M., та інші
Опубліковано: (2019)

Optimization of parallel perceptron for central processing units
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Specialized search engine system of scientific materials in Ukrainian language with social aspects
за авторством: Glybovets, A.M.
Опубліковано: (2025)

Technological model for the process of adaptive Web service composition engineering and exploiting
за авторством: Slabospitskaya, О.A.
Опубліковано: (2017)

Toolkit for simulation of heterogeneous GPU-based environments
за авторством: Okonsky, I.V., та інші
Опубліковано: (2025)

Technology system integration of hardware and software data protection
за авторством: Alishоv, N.I., та інші
Опубліковано: (2025)