Traversal of arbitrary sequences of UCM symbolic transitions for test generation

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.
Формат:	Стаття
Мова:	English
Опубліковано:	Інститут програмних систем НАН України 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)

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

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

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)

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

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

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)

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

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

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

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

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

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

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

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)

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

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

On the peculiarities of using sparse matrices in problems of mathematical modeling
за авторством: Khimich, O.M., та інші
Опубліковано: (2023)

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

An approach of intelligent searching of information in texts
за авторством: Chebanuyk, O.V.
Опубліковано: (2023)

DS-theory. Scientific aspects and prospects for development
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)

Agile requirement analysis approach using artificial intelligent technologies
за авторством: Chebanyuk, O.V.
Опубліковано: (2024)

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

Decision support system for quality management in study process
за авторством: Komleva, N.O., та інші
Опубліковано: (2020)

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

A GPU-based singular value decomposition algorithm
за авторством: Sukharskyi, S.S.
Опубліковано: (2023)

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)

Toward software artifacts ecosystem
за авторством: Sydorov, N.A.
Опубліковано: (2021)

Formal foundations for software model to model transformation operation
за авторством: Chebanyuk, O.V.
Опубліковано: (2018)

Architecture and functionality of the decision support system SPOR
за авторством: Yalovets, A.L.
Опубліковано: (2023)

Formal verification of deep neural networks
за авторством: Panchuk, B.O.
Опубліковано: (2024)

Peterson’s algorithm Total correctness proof in IPCL
за авторством: Zhygallo, A.A.
Опубліковано: (2018)

A method for business logic extraction from legacy COBOL code of industrial systems
за авторством: Guba, A.A., та інші
Опубліковано: (2018)

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

Development service model of cockpit for flight simulator
за авторством: Kolisnichenko, R.A.
Опубліковано: (2017)