Nina V. Evtushenko

Publications³⁰

• Article Tu K., Wang H., Jiang J. R., Kushik N., Nina Yevtushenko. Homing Sequence Derivation with Quantified Boolean Satisfiability // IEEE Transactions on Computers. 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