@inproceedings{ea3953ec58d34c61acb8378f11da7e7a,
title = "Studying Synchronization Issues for Extended Automata",
abstract = "The paper presents a study of synchronization issues for one of non-classical state models, i.e., a state identification problem widely used in the area of Model based Testing (MBT) and run-time verification/monitoring. We consider Finite Automata (FA) augmented with the context variables and their related updates when the transitions are executed. For such Extended Automata (EA) we define the notions of merging and synchronizing sequences that serve as reset words in MBT, and show that under certain conditions and when every context variable is defined over a ring, it is possible for the extended automata of the studied class to 'repeat' the necessary and sufficient conditions established for the classical automata. Otherwise, in a general case, the problem can be reduced to deriving reset words for classical FA that represent corresponding EA slices.",
keywords = "Extended Automata, Model based Testing, Monitoring, Synchronizing Sequence",
author = "Natalia Kushik and Nina Yevtushenko",
note = "Publisher Copyright: Copyright {\textcopyright} 2023 by SCITEPRESS - Science and Technology Publications, Lda. Under CC license (CC BY-NC-ND 4.0); 18th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2023 ; Conference date: 24-04-2023 Through 25-04-2023",
year = "2023",
month = jan,
day = "1",
doi = "10.5220/0011785700003464",
language = "English",
series = "International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE - Proceedings",
publisher = "Science and Technology Publications, Lda",
pages = "338--345",
editor = "Hermann Kaindl and Hermann Kaindl and Hermann Kaindl and Mike Mannion and Leszek Maciaszek and Leszek Maciaszek",
booktitle = "Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2023",
}