Testing components of interacting timed finite state machines
Maxim L. Gromov, Aleksandr Tvardovskii, Nina Vladimirovna Yevtushenko · 2016
In this paper, we address the problem of deriving test suites for checking components of interacting finite state machines with timed guards (TFSMs). Given a component TFSM, a corresponding test is derived for the composition of TFSMs under the assumption that all other components are fault-free.