Deriving adaptive distinguishing sequences for Finite State Machines

by A. S. Tvardovskii, N. V. Yevtushenko
Published 2018-10-01

Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines

by A. D. Ermakov, N. V. Yevtushenko
Published 2016-12-01

Deriving adaptive checking sequence for nondeterministic Finite State Machines

by A. D. Ermakov, N. V. Yevtushenko
Published 2018-10-01

Testing switch rules in software defined networks

by I. B. Burdonov, N. V. Yevtushenko, A. S. Kossatchev
Published 2019-02-01

Minimizing Finite State Machines with time guards and timeouts

by A. S. Tvardovskii, N. V. Yevtushenko, M. L. Gromov
Published 2018-10-01

A SPIN-based Approach for Detecting Vulnerabilities in C Programs

by N. G. Kushik, A. . Mammar, A. . Cavalli, N. V. Yevtushenko, W. . Jimenez, E. . Montes De Oca
Published 2011-12-01