Aleksandr S. Tvardovskii

11 papers C 3Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2024 J jnl
Testing and incremental conformance testing of timed state machines.
Sci. Comput. Program.
Aleksandr S. Tvardovskii, Khaled El-Fakih, Nina Yevtushenko
2023 J jnl
Deriving homing sequences for Finite State Machines with timeouts.
Comput. J.
Aleksandr S. Tvardovskii, Nina Yevtushenko
2022 C conf
Adaptive Experiments for State Identification in Finite State Machines with Timeouts.
MCU
Aleksandr S. Tvardovskii, Nina Yevtushenko
2021 — conf
Adaptive Homing Sequences for Partial Weakly-initialized Observable FSMs.
EWDTS
Evgenii M. Vinarskii, Aleksandr S. Tvardovskii, Nina Yevtushenko
2021 J jnl
Deriving Homing Sequences for Finite State Machines with Timed Guards.
Autom. Control. Comput. Sci.
Aleksandr S. Tvardovskii, Nina V. Evtushenko
2021 — conf
FSM-based Sequential Circuits Optimization by Changing Initial State of Specification.
EWDTS
Maxim Gromov, Natalia Shabaldina, Aleksandr S. Tvardovskii, Svetlana Prokopenko
2019 — conf
Deriving adaptive homing sequences for weakly initialized nondeterministic FSMs.
EWDTS
Evgenii M. Vinarskii, Aleksandr S. Tvardovskii, Larisa Evtushenko, Nina Yevtushenko
2018 C conf
Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts.
ICTSS
Aleksandr S. Tvardovskii, Khaled El-Fakih, Nina Yevtushenko
2017 C conf
Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation.
ICTSS
Aleksandr S. Tvardovskii
2017 J jnl
Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage.
Autom. Control. Comput. Sci.
Aleksandr S. Tvardovskii, Khaled El-Fakih, Maxim Gromov, Nina Yevtushenko
2016 — conf
Testing components of interacting timed finite state machines.
EWDTS
Maxim Gromov, Aleksandr S. Tvardovskii, Nina Yevtushenko