Testing components of interacting timed finite state machines. - Maxim Gromov; Aleksandr S. Tvardovskii; Nina Yevtushenko 001 (EWDTS, 2016)

Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation. - Aleksandr S. Tvardovskii (ICTSS, 2017)

Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage. - Aleksandr S. Tvardovskii; Khaled El-Fakih; Maxim Gromov; Nina Yevtushenko 001 (Autom. Control. Comput. Sci., 2017)

Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts. - Aleksandr S. Tvardovskii; Khaled El-Fakih; Nina Yevtushenko 001 (ICTSS, 2018)

Deriving adaptive homing sequences for weakly initialized nondeterministic FSMs. - Evgenii M. Vinarskii; Aleksandr S. Tvardovskii; Larisa Evtushenko; Nina Yevtushenko 001 (EWDTS, 2019)

FSM-based Sequential Circuits Optimization by Changing Initial State of Specification. - Maxim Gromov; Natalia Shabaldina; Aleksandr S. Tvardovskii; Svetlana Prokopenko (EWDTS, 2021)

Adaptive Homing Sequences for Partial Weakly-initialized Observable FSMs. - Evgenii M. Vinarskii; Aleksandr S. Tvardovskii; Nina Yevtushenko 001 (EWDTS, 2021)

Deriving Homing Sequences for Finite State Machines with Timed Guards. - Aleksandr S. Tvardovskii; Nina V. Evtushenko (Autom. Control. Comput. Sci., 2021)

Adaptive Experiments for State Identification in Finite State Machines with Timeouts. - Aleksandr S. Tvardovskii; Nina Yevtushenko 001 (MCU, 2022)

Deriving homing sequences for Finite State Machines with timeouts. - Aleksandr S. Tvardovskii; Nina Yevtushenko 001 (Comput. J., 2023)

Testing and incremental conformance testing of timed state machines. - Aleksandr S. Tvardovskii; Khaled El-Fakih; Nina Yevtushenko 001 (Sci. Comput. Program., 2024)