Nina V. Evtushenko

Publications³³

• Article Tu K., Wang H., Jiang J. R., Kushik N., Evtushenko N. V. Homing Sequence Derivation with Quantified Boolean Satisfiability // IEEE Transactions on Computers. 2022. Vol. 71. No. 3. P. 696-711. doi
• Book Evtushenko N. V., Kolomeez A., Shirokova E., Gromov M. 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM) Checking Robustness of Web Services based on Solving Automata Equations. IEEE, 2021. doi
• Article Yevtushenko N., Kuliamin V., Kushik N. Evaluating the complexity of deriving adaptive S′-homing and S′-synchronizing sequences for nondeterministic FSMs // Software Quality Journal. 2021 doi
• Book Evtushenko N. V., Burdonov I., Kossachev A., Kushik N., Zeghlache D. Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2021) Preventive Model-based Verification and Repairing for SDN Requests. EC: SCITEPRESS – Science and Technology Publications, 2021. doi
• Article Tvardovskii A. S., N. V. Yevtushenko. On reduced forms of initialized Finite State Machines with timeouts // Proceedings of the Institute for System Programming of the RAS. 2020. Vol. 32. No. 2. P. 125-134. doi
• Chapter Shirokova E., Евтушенко Л. Г., Laputenko A., Nina Yevtushenko. Optimizing Components of Multi-Module Systems Based on don’t Care Input Sequences, in: Proceedings 2020 IEEE East-West Design & Test Symposium (EWDTS). Varna : IEEE, 2020. P. 159-163. doi
• Preprint Burdonov I., Kossachev A., Nina Yevtushenko, L´opez J., Kushik N., Zeghlache D. Preventive Model-based Verification and Repairing for SDN Requests / Cornell University. Series Computer Science "arxiv.org". 2020.
• Chapter Широкова Е., Евтушенко Л. Г., Лапутенко А., Евтушенко Н. В. Оптимизация компонентов многомодульных систем на основе решения автоматных уравнений. // В кн.: 2020 Новые информационные технологии в исследовании сложных структур (ICAM 2020). Томск : Издательский Дом Томского государственного университета, 2020. С. 142-142.
• Chapter Vinarskii E., Tvardovskii A., Larisa Evtushenko, Nina Yevtushenko. Deriving Adaptive Homing Sequences for Weakly Initialized Nondeterministic FSMs, in: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2019). IEEE Computer Society, 2019. P. 461-465. doi
• Article Yenigün H., Nina Yevtushenko, Cavalli A. R. Guest Editorial: Special issue on Testing Softwareand Systems // Software Quality Journal. 2019. Vol. 27. No. 2. P. 497-499. doi
• Article Твардовский А. С., Евтушенко Н. В. Синтез тестов с гарантированной полнотой для недетерминированных автоматов с таймаутами и временными ограничениями на основе конечно автоматных абстракций. // Труды Института системного программирования РАН. 2019. Т. 31. № 4. С. 175-188. doi
• Article El-Fakih K., Nina Yevtushenko, Kushik N. Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation // Formal Aspects of Computing. 2018. Vol. 30. No. 2. P. 319-332. doi
• Chapter Tvardovskii A., El-Fakih K., Nina Yevtushenko. Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts, in: Lecture Notes in Computer Science (Volume 11146, ICTSS2018). Springer, 2018. doi P. 149-154. doi
• Chapter Bresolin D., Tvardovskii A., Nina Yevtushenko, Villa T., Gromov M. Minimizing Deterministic Timed Finite State Machines, in: IFAC-PapersOnLine (T.V.51.Вып 7). Elsevier, 2018. doi P. 486-492. doi
• Article El-Fakih K., Barlas G., Ali M., Nina Yevtushenko. Parallel algorithms for reducing derivation time of distinguishing experiments for nondeterministic finite state machines // International Journal of Parallel, Emergent and Distributed Systems. 2018. Vol. 33. No. 2. P. 197-210. doi
• Chapter López J., Laputenko A., Kushik N., Nina Yevtushenko, Torgaev S. Scalable Supervised Machine Learning Apparatus for Computationally Constrained Devices, in: Proceeding of 13th Intern. Conference on Software Technologies, ICSOFT’2018. SciTePress, 2018. doi P. 518-528. doi
• Article López J., Kushik N., Nina Yevtushenko. Source code optimization using equivalent mutants. // Information and Software Technology. 2018. Vol. 103. P. 138-141. doi
• Chapter López J., Kushik N., Berriri A., Nina Yevtushenko, Zeghlache D. Test Derivation for SDN-Enabled Switches: A Logic Circuit Based Approach, in: Lecture Notes in Computer Science (Volume 11146, ICTSS2018). Springer, 2018. doi P. 69-84. doi
• Article Yenigün H., N.Yevtushenko, Kushik N., López J. The effect of partiality and adaptivity on the complexity of FSM state identification problem // Proceedings of the Institute for System Programming of the RAS. 2018. Vol. 30. No. 1. P. 7-24. doi
• Chapter Berriri A., López J., Kushik N., Nina Yevtushenko, Zeghlache D. Towards Model based Testing for Software Defined Networks, in: In Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE. SciTePress, 2018. doi P. 440-446. doi
• Article Твардовский А., Евтушенко Н. В. К построению подавтоматов без слияний для недетерминированных конечных автоматов // ББК 73я431 Н766 Редакционная коллегия выпуска. 2018. С. 85-85.
• Article Tvardovskii A., Евтушенко Н. В. К синтезу адаптивных различающих последовательностей для конечных автоматов // Труды Института системного программирования РАН. 2018. Т. 30. № 4. С. 139-154. doi
• 
  Book Евтушенко Н. В., Кушик Н. Г. Некоторые задачи идентификации состояний для недетерминированных автоматов. Томск : Томск СТТ, 2018.
• Article Бурдонов И., Евтушенко Н. В., Косачев А., Шнитман В. О синхронной композиции детерминированных автоматов // ББК 73я431 Н766 Редакционная коллегия выпуска. 2018. С. 70-71.
• Chapter López J., Kushik N., Nina Yevtushenko, Zeghlache D. Analyzing and Validating Virtual Network Requests, in: Proceeding of 12th Intern. Conference on Software Technologies, ICSOFT'2017. SciTePress, 2017. doi P. 441-446. doi
• Article Tvardovskii A., El-Fakih K., Gromov M., Nina Yevtushenko. Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage. / Пер. с рус. // Automatic Control and Computer Sciences. 2017. Vol. 51. No. 7. P. 724-730. doi
• Article Yenigün H., Nina Yevtushenko, Kushik N. The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs. // Information Processing Letters. 2017. Vol. 127. P. 49-53. doi
• Article Кушик Н. Г., Евтушенко Н. В., Бурдонов И. Б., Косачев А. С. К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов // Моделирование и анализ информационных систем. 2017. Т. 24. № 6. С. 730-742. doi
• Article Твардовский A., Евтушенко Н. В., Громов М. Минимизация автоматов с таймаутами и временными ограничениями // Труды Института системного программирования РАН. 2017. Т. 29. № 4. С. 139-154. doi
• Article Лапутенко А. В., Лопез Х. Е., Евтушенко Н. В. Обработка экспериментальных данных при верификации компонентов физических систем: оценка качества тестовых последовательностей // Известия высших учебных заведений. Физика. 2017. Т. 60. № 11. С. 146-151.
• Article Твардовский А. С., Эль-Факи К., Громов М. Л., Евтушенко Н. В. Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов // Моделирование и анализ информационных систем. 2017. Т. 24. № 4. С. 496-507. doi
• Article Kushik N., El-Fakih K., N. Yevtushenko, Cavalli A. R. On adaptive experiments for nondeterministic finite state machines // International Journal on Software Tools for Technology Transfer. 2016. Vol. 18. No. 3. P. 251-264. doi
• Article Евтушенко Н. В., Ермаков А. К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов // Труды Института системного программирования РАН. 2016. Т. 28. № 3. С. 123-144. doi