Электронная библиотека (репозиторий) Томского государственного университета

Add to Quick Collection   All 29 Results

Showing items 1 - 15 of 29.
Sort:
 Add All Items to Quick Collection
Add   Adaptive experiments for state identification in finite state machines with timeouts
Authors: Tvardovskii, Aleksandr | Yevtushenko, Nina V.
Source: Machines, computations, and universality : 9th International conference, MCU 2022 Debrecen, Hungary, August 31 – September 2, 2022 : proceedings. Cham, 2022. P. 172-188
Type: статьи в сборниках
Date: 2022
Description: Homing and synchronizing sequences are used for the current state identification in finite state machines (FSMs). Adaptive homing and synchronizing sequences for which the next input depends on the ou ... More
Add   Deriving homing sequences for Finite State Machines with timeouts
Authors: Tvardovskii, Aleksandr | Yevtushenko, Nina V.
Source: The computer journal. 2022. Vol. 66, № 9. P. 2181-2190
Type: статьи в журналах
Date: 2022
Description: State identification is the well-known problem in the automata theory that is aimed to determining the current or initial state of a system under test and this fact is widely used in the model-based t ... More
Add   Adaptive homing sequences for partial weakly-initialized observable FSMs
Authors: Vinarskii, Evgenii | Tvardovskii, Aleksandr | Yevtushenko, Nina V.
Source: 2021 IEEE East-West Design & Test Symposium (EWDTS), Batumi, Georgia, September 10-13, 2021 : proceedings. [S. l.], 2021. P. 335-339
Type: статьи в сборниках
Date: 2021
Description: Finite State Machine (FSM) based state identification problem is widely used for analysis of discrete event systems. A homing sequence (HS) allows to determine the current state of an FSM under invest ... More
Add   Deriving tests with guaranteed fault coverage for finite state machines with timeouts
Authors: Tvardovskii, Aleksandr | El-Fakih, Khaled | Yevtushenko, Nina V.
Source: Testing software and systems : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018 : proceedings. Cham, 2018. P. 149-154
Type: статьи в сборниках
Date: 2018
Description: In contrast to untimed FSMs, two minimal initialized FSMs with timeouts can be equivalent but not isomorphic. Accordingly, we propose an appropriate fault model and a method for complete test derivati ... More
Add   Minimizing deterministic timed finite state machines
Authors: Tvardovskii, Aleksandr | Yevtushenko, Nina V. | Villa, Tiziano | Gromov, Maxim L. | Bresolin, Davide
Source: IFAC-PapersOnLine. 2018. Vol. 51, № 7. P. 486-492
Type: статьи в журналах
Date: 2018
Description: Timed automata and timed finite state machins (TFSMs) have been proposed to represent more accurately the behaviour of systems in continuous time. Recently, we introduced a model of TFSMs that extends ... More
Add   Security checking experiments with mobile services
Authors: Ermakov, Anton D. | Prokopenko, Svetlana A. | Yevtushenko, Nina V.
Source: 19th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM 2018), Erlagol, Altai Republic, 29 June - 3 July, 2018 : proceedings. [S. l.], 2018. P. 139-141
Type: статьи в сборниках
Date: 2018
Description: In this paper, we continue to investigate the
Add   Test derivation for the software defined networking platforms: novel fault models and test completeness
Authors: Burdonov, Igor | Kossachev, Alexandre | López, Jorge | Kushik, Natalia G. | Zeghlache, Djamal | Yevtushenko, Nina V.
Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2018), Kazan, Russia, September 14-17, 2018. [S. l.], 2018. P. 358-363
Type: статьи в сборниках
Date: 2018
Description: Software Defined Networking (SDN) platforms are
Add   Towards checking web-services security: using automata equations and inequalities
Authors: Shabaldina, Natalia V. | Yevtushenko, Nina V. | Yu, F.
Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.. Томск, 2018. С. 90
Type: статьи в сборниках
Date: 2018
Add   Applying a model based testing approach for testing the communication protocol between the cash register software and the Loymax service
Authors: Forostyanova, Maria S. | Shabaldina, Natalia V. | Yevtushenko, Nina V.
Source: 2017 International Siberian Conference on Control and Communications (SIBCON), Kazakhstan, Astana, June 29-30, 2017 : proceedings. Astana, 2017. P. [1-6]
Type: статьи в сборниках
Date: 2017
Description: In this work we apply test derivation methods for
Add   The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs
Authors: Yenigün, Hüsnü | Yevtushenko, Nina V. | Kushik, Natalia G.
Source: Information processing letters. 2017. Vol. 127. P. 49-53
Type: статьи в журналах
Date: 2017
Description: In this paper, we address the problem of setting a deterministic Finite State Machine (FSM) to a designated initial state. Differently from other papers, we propose to use adaptive synchronizing seque ... More
Add   Using models of finite transition systems for checking Web-service security
Authors: Shabaldina, Natalia V. | Darusenkova, Ekaterina V. | Yevtushenko, Nina V. | Kolomeets, Anton V.
Source: 18th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices : proceedings, Erlagol, Altai Republic, 29 June - 3 July, 2017. Novosibirsk, 2017. P. 151-154
Type: статьи в сборниках
Date: 2017
Description: In this paper we discuss how the web-service
Add   Improving protocol passive testing through "Gedanken" experiments with finite state machines
Authors: Kushik, Natalia G. | Cavalli, Ana | Yevtushenko, Nina V. | López, Jorge
Source: 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS), 1-3 August 2016, Vienna, Austria. [S. l.], 2016. P. 315-322
Type: статьи в сборниках
Date: 2016
Add   On source code optimization for interpreted languages using state models
Authors: López, Jorge | Kushik, Natalia G. | Yevtushenko, Nina V.
Source: ENASE 2016 : proceedings of the 11th International conference on evaluation of novel software approaches to software engineering, Rome, Italy, April 27-28, 2016. Setúbal, 2016. P. 282-287
Type: статьи в сборниках
Date: 2016
Add   Reducing the complexity of checking the existence and derivation of adaptive synchronizing experiments for nondeterministic FSMs
Authors: Kushik, Natalia G. | Yevtushenko, Nina V. | Yenigün, Hüsnü
Source: Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn (AMARETTO 2016), 19 February, 2016, Rome, Italy. [S. l.], 2016. P. 83-90
Type: статьи в сборниках
Date: 2016
Add   Some classes of finite state machines with polynomial length of distinguishing test cases
Authors: Yenigün, Hüsnü | Yevtushenko, Nina V. | Kushik, Natalia G.
Source: Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 04-08, 2016. NY, 2016. P. 1680-1685
Type: статьи в сборниках
Date: 2016

Creator

Date

Subject

Resource Type

^