Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage von Tvardovskii, Aleksandr S., El-Fakih, Khaled, Gromov, Maksim L., Yevtushenko, Nina V.

Volltext

Deriving homing sequences for Finite State Machines with timeouts von Tvardovskii, Aleksandr, Yevtushenko, Nina

Volltext

Testing and incremental conformance testing of timed state machines von Tvardovskii, Aleksandr, El-Fakih, Khaled, Yevtushenko, Nina

Volltext

Adaptive Experiments for State Identification in Finite State Machines with Timeouts von Tvardovskii, Aleksandr, Yevtushenko, Nina

Volltext

Deriving Homing Sequences for Finite State Machines with Timed Guards von Tvardovskii, Aleksandr Sergeevich, Yevtushenko, Nina Vladimirovna

Volltext

FSM abstraction based method for deriving test suites with guaranteed fault coverage against nondeterministic Finite State Machines with timed guards and timeouts von Tvardovskii, A.S., Yevtushenko, N.V.

Volltext

Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation von Tvardovskii, Aleksandr

Volltext

Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage von Tvardovskii, Aleksandr, El-Fakih, Khaled, Gromov, Maxim, Yevtushenko, Nina

Volltext

Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts von Tvardovskii, Aleksandr, El-Fakih, Khaled, Yevtushenko, Nina

Volltext

Minimizing Deterministic Timed Finite State Machines von Bresolin, Davide, Tvardovskii, Aleksandr, Yevtushenko, Nina, Villa, Tiziano, Gromov, Maxim

Volltext

Zapas ognia, zalog tepla von Filips-Juswigg, Katherina

Volltext