Nina Vladimirovna Yevtushenko Russian Federation, Tomsk Academic degree Doctor of Engineering Academic title Professor Research area automata program verification program testing Affiliation & position Tomsk State University — head of laboratory Ivannikov Institute for System Programming of RAS — senior researcher E-mail nyevtush@gmail.com
Yevtushenko N., Ermakov A. Increasing the fault coverage of tests derived against Extended Finite State Machines // System Informatics. — 2016. — # 7. — P. 23-32
Burdonov I., Yevtushenko N., Kossatchev A., Kushik N. Synchronizing and Homing Experiments for Input/output Automata // System Informatics. — 2017. — # 10. — P. 1-10
Tvardovskii A., Yevtushenko N. On parallel composition of Finite State Machines with timed guards // System Informatics. — 2019. — # 14. — P. 55-64
Tvardovskii A., Yevtushenko N. Deriving homing sequences for Finite State Machines with timed guards // System Informatics. — 2020. — # 17. — P. 1-10
