@inproceedings{54e15955403c48aa82e7298654354047,
title = "Races in Extended Input/Ouput Automata, Their Compositions and Related Reactive Systems",
abstract = "Reactive systems can be highly distributed and races in channels can have a direct impact on their functioning. In order to detect such races, model-based testing is used and in this paper, we define races in the Extended Input Output Automata (EIOA) which are related to races in a corresponding distributed system. We define various race conditions in an EIOA modeling them by Linear Temporal Logic (LTL) formulas. As race conditions can be resolved in the corresponding EIOA implementations, we also discuss how a generated counterexample (if any) can be used for provoking a race in a distributed system implementation with the given level of confidence. Software Defined Networking (SDN) framework serves as a relevant case study along the paper.",
keywords = "Distributed Reactive Systems, Extended Input/Output Automata, Races, Software Defined Networking",
author = "Evgenii Vinarskii and Natalia Kushik and Nina Yevtushenko and Jorge L{\'o}pez and Djamal Zeghlache",
note = "Publisher Copyright: {\textcopyright} 2024 by SCITEPRESS – Science and Technology Publications, Lda.; 19th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2024 ; Conference date: 28-04-2024 Through 29-04-2024",
year = "2024",
month = jan,
day = "1",
doi = "10.5220/0012737900003687",
language = "English",
series = "International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE - Proceedings",
publisher = "Science and Technology Publications, Lda",
pages = "727--734",
editor = "Hermann Kaindl and Hermann Kaindl and Hermann Kaindl and Mike Mannion and Leszek Maciaszek and Leszek Maciaszek",
booktitle = "Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2024",
}