Nina Yevtushenko

ORCID

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 66

Top Venues

Publications

Natalia Kushik, Nina Yevtushenko
Studying Synchronization Issues for Extended Automata. ENASE (2023)
Aleksandr S. Tvardovskii, Nina Yevtushenko
Deriving homing sequences for Finite State Machines with timeouts. Comput. J. 66 (9) (2023)
Evgenii M. Vinarskii, Natalia Kushik, Nina Yevtushenko, Jorge López, Djamal Zeghlache
Timed Transition Tour for Race Detection in Distributed Systems. ENASE (2023)
Natalia Kushik, Nina Yevtushenko, Jorge López
Probabilistic Approach for Minimizing Checking Sequences for Non-deterministic FSMs. ICTSS (2023)
Aleksandr S. Tvardovskii, Nina Yevtushenko
Adaptive Experiments for State Identification in Finite State Machines with Timeouts. MCU (2022)
Kuan-Hua Tu, Hung-En Wang, Jie-Hong R. Jiang, Natalia Kushik, Nina Yevtushenko
Homing Sequence Derivation With Quantified Boolean Satisfiability. IEEE Trans. Computers 71 (3) (2022)
Andrey Laputenko, Nina Yevtushenko, Valentina Andreeva, Anzhela Yu. Matrosova
Deriving FSM-based tests using $a, b-\text{faults}$ for Logic Circuits. ISVLSI (2022)
Nina Yevtushenko, Victor V. Kuliamin, Natalia Kushik
Evaluating the complexity of deriving adaptive S'-homing and S'-synchronizing sequences for nondeterministic FSMs. Softw. Qual. J. 30 (1) (2022)
Natalia Kushik, Nina Yevtushenko, Jorge López
Testing Against Non-deterministic FSMs: A Probabilistic Approach for Test Suite Minimization. ICTSS (2021)
Evgenii M. Vinarskii, Aleksandr S. Tvardovskii, Nina Yevtushenko
Adaptive Homing Sequences for Partial Weakly-initialized Observable FSMs. EWDTS (2021)
Igor B. Burdonov, Nina Yevtushenko, Alexandre Kossachev
Verifying Multiple Virtual Networks in Software Defined Networks. EWDTS (2021)
Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko
Equivalence checking and intersection of deterministic timed finite state machines. Formal Methods Syst. Des. 59 (1) (2021)
Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko
Equivalence Checking and Intersection of Deterministic Timed Finite State Machines. CoRR (2021)
Igor B. Burdonov, Alexandre Kossachev, Nina Yevtushenko, Jorge López, Natalia Kushik, Djamal Zeghlache
Preventive Model-based Verification and Repairing for SDN Requests. ENASE (2021)
Igor B. Burdonov, Nina Yevtushenko, Alexandre Kossachev
Implementing a Virtual Network on the SDN Data Plane. EWDTS (2020)
Natalia Kushik, Nina Yevtushenko, Tatiana G. Evtushenko
Novel machine learning technique for predicting teaching strategy effectiveness. Int. J. Inf. Manag. 53 (2020)
Ekaterina Shirokova, Larisa Evtushenko, Andrey Laputenko, Nina Yevtushenko
Optimizing Components of Multi-Module Systems Based on don't Care Input Sequences. EWDTS (2020)
Igor B. Burdonov, Nina Yevtushenko, Alexander S. Kossatchev
Separating Input/Output Automata With Nondeterministic Behavior. Russ. Digit. Libr. J. 23 (4) (2020)
Evgenii M. Vinarskii, Andrey Laputenko, Nina Yevtushenko
Using an SMT Solver for Checking the Completeness of FSM-Based Tests. ICTSS (2020)
Nina Yevtushenko, Igor B. Burdonov, Alexandre Kossachev
Deriving Distinguishing Sequences for Input/Output Automata. EWDTS (2020)
Evgenii M. Vinarskii, Nina Yevtushenko
Evaluating Length of a Shortest Adaptive Homing Sequence for Weakly Initialized FSMs. EWDTS (2020)
Evgenii M. Vinarskii, Jorge López, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache
A Model Checking Based Approach for Detecting SDN Races. ICTSS (2019)
Igor B. Burdonov, Alexandre Kossachev, Nina Yevtushenko, Alexey V. Demakov
Evaluating the length of distinguishing sequences for nondeterministic Input/Output automata. EWDTS (2019)
Khaled El-Fakih, Nina Yevtushenko, Ayat Saleh
Incremental and Heuristic Approaches for Deriving Adaptive Distinguishing Test Cases for Non-deterministic Finite-State Machines. Comput. J. 62 (5) (2019)
Hüsnü Yenigün, Nina Yevtushenko, Ana Rosa Cavalli
Guest Editorial: Special issue on Testing Software and Systems. Softw. Qual. J. 27 (2) (2019)
Igor B. Burdonov, Alexandre Kossachev, Nina Yevtushenko, Jorge López, Natalia Kushik, Djamal Zeghlache
Verifying SDN Data Path Requests. CoRR (2019)
Evgenii M. Vinarskii, Aleksandr S. Tvardovskii, Larisa Evtushenko, Nina Yevtushenko
Deriving adaptive homing sequences for weakly initialized nondeterministic FSMs. EWDTS (2019)
Igor B. Burdonov, Nina Yevtushenko, Alexander Kossachev
Distinguishing Transition Systems With The Nondeterministic Behavior. SSI (2019)
Nina Yevtushenko, Victor V. Kuliamin, Natalia Kushik
Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs. ICTSS (2019)
Aleksandr S. Tvardovskii, Khaled El-Fakih, Nina Yevtushenko
Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts. ICTSS (2018)
Nina Yevtushenko, Igor B. Burdonov, Alexandre Kossachev, Jorge López, Natalia Kushik, Djamal Zeghlache
Test Derivation for the Software Defined Networking Platforms: Novel Fault Models and Test Completeness. EWDTS (2018)
Khaled El-Fakih, Gerassimos D. Barlas, Mustafa Ali, Nina Yevtushenko
Parallel algorithms for reducing derivation time of distinguishing experiments for nondeterministic finite state machines. Int. J. Parallel Emergent Distributed Syst. 33 (2) (2018)
Jorge López, Natalia Kushik, Nina Yevtushenko
Source Code Optimization using Equivalent Mutants. CoRR (2018)
Natalia Kushik, Nina Yevtushenko, Igor B. Bourdonov, Alexander S. Kossatchev
Deriving Synchronizing and Homing Sequences for Input/Output Automata. Autom. Control. Comput. Sci. 52 (7) (2018)
Jorge López, Natalia Kushik, Asma Berriri, Nina Yevtushenko, Djamal Zeghlache
Test Derivation for SDN-Enabled Switches: A Logic Circuit Based Approach. ICTSS (2018)
Khaled El-Fakih, Nina Yevtushenko, Natalia Kushik
Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation. Formal Aspects Comput. 30 (2) (2018)
Asma Berriri, Jorge López, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache
Towards Model based Testing for Software Defined Networks. ENASE (2018)
Jorge López, Andrey Laputenko, Natalia Kushik, Nina Yevtushenko, Stanislav N. Torgaev
Scalable Supervised Machine Learning Apparatus for Computationally Constrained Devices. ICSOFT (2018)
Jorge López, Natalia Kushik, Nina Yevtushenko
Source code optimization using equivalent mutants. Inf. Softw. Technol. 103 (2018)
Hüsnü Yenigün, Nina Yevtushenko, Natalia Kushik
The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs. Inf. Process. Lett. 127 (2017)
Anton Ermakov, Nina Yevtushenko
Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines. Autom. Control. Comput. Sci. 51 (7) (2017)
Jorge López, Natalia Kushik, Nina Yevtushenko
Proactive Trust Assessment of Systems as Services. ENASE (2017)
Jorge López, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache
Analyzing and Validating Virtual Network Requests. ICSOFT (2017)
Aleksandr S. Tvardovskii, Khaled El-Fakih, Maxim Gromov, Nina Yevtushenko
Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage. Autom. Control. Comput. Sci. 51 (7) (2017)
Hüsnü Yenigün, Natalia Kushik, Jorge López, Nina Yevtushenko, Ana R. Cavalli
Decreasing the complexity of deriving test suites against nondeterministic finite state machines. EWDTS (2017)
Khaled El-Fakih, Abdul Rahim Haddad, Nassima Aleb, Nina Yevtushenko
Heuristics for deriving distinguishing experiments of nondeterministic finite state machines. Appl. Soft Comput. 49 (2016)
Maxim Gromov, Aleksandr S. Tvardovskii, Nina Yevtushenko
Testing components of interacting timed finite state machines. EWDTS (2016)
Nina Yevtushenko, Khaled El-Fakih, Anton Ermakov
On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications. ICTSS (2016)
Khaled El-Fakih, Nina Yevtushenko, Marius Bozga, Saddek Bensalem
Distinguishing extended finite state machine configurations using predicate abstraction. J. Softw. Eng. Res. Dev. 4 (2016)
Jorge López, Natalia Kushik, Ana R. Cavalli, Nina Yevtushenko
Optimizing network utilization through source code state model representation. EWDTS (2016)
Hüsnü Yenigün, Nina Yevtushenko, Natalia Kushik
Some classes of finite state machines with polynomial length of distinguishing test cases. SAC (2016)
Khaled El-Fakih, Nina Yevtushenko
Test Translation for Embedded Finite State Machine Components. Comput. J. 59 (12) (2016)
Natalia Kushik, Jorge López, Ana R. Cavalli, Nina Yevtushenko
Improving Protocol Passive Testing through "Gedanken" Experiments with Finite State Machines. QRS (2016)
Sergey A. Smolov, Jorge López, Natalia Kushik, Nina Yevtushenko, Mikhail M. Chupilko, Alexander S. Kamkin
Testing logic circuits at different abstraction levels: An experimental evaluation. EWDTS (2016)
Jorge López, Natalia Kushik, Nina Yevtushenko
On Source Code Optimization for Interpreted Languages using State Models. ENASE (2016)
Natalia Kushik, Nina Yevtushenko, Hüsnü Yenigün
Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs. AMARETTO@MODELSWARD (2016)
Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko, Ana R. Cavalli
On adaptive experiments for nondeterministic finite state machines. Int. J. Softw. Tools Technol. Transf. 18 (3) (2016)
Tiziano Villa, Alexandre Petrenko, Nina Yevtushenko, Alan Mishchenko, Robert K. Brayton
Component-Based Design by Solving Language Equations. Proc. IEEE 103 (11) (2015)
Natalia Kushik, Nina Yevtushenko
Scalable QoE Prediction for Service Composition. ESaaSA@CLOSER (2015)
Natalia Kushik, Nina Yevtushenko, Stanislav N. Torgaev, Nikita Shatilov
On using ABC for deriving distinguishing sequences for Verilog-descriptions. EWDTS (2015)
Natalia Kushik, Nina Yevtushenko
Adaptive Homing is in P. MBT (2015)
Giovanni Castagnetti, Matteo Piccolo, Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko
Automated Synthesis of Protocol Converters with BALM-II. SEFM Workshops (2015)
Natalia Kushik, Nina Yevtushenko
Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata. CIAA (2015)
Nina Yevtushenko, Khaled El-Fakih, Tiziano Villa, Jie-Hong R. Jiang
Deriving Compositionally Deadlock-Free Components over Synchronous Automata Compositions. Comput. J. 58 (11) (2015)
Diego Rivera, Natalia Kushik, Camila Fuenzalida, Ana R. Cavalli, Nina Yevtushenko
QoE Evaluation Based on QoS and QoBiz Parameters Applied to an OTT Service. ICWS (2015)
Nina Yevtushenko, Natalia Kushik
Decreasing the length of adaptive distinguishing experiments for nondeterministic merging-free finite state machines. EWDTS (2015)
Khaled El-Fakih, Tariq Salameh, Nina Yevtushenko
On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment. ICTSS (2014)
Natalia Kushik, Nina Yevtushenko, Ana R. Cavalli, Wissam Mallouli, Jeevan Pokhrel
Evaluating Web Service QoE by Learning Logic Networks. WEBIST (1) (2014)
Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power. GandALF (2014)
Natalia Kushik, Nina Yevtushenko, Ana R. Cavalli
On Testing against Partial Non-observable Specifications. QUATIC (2014)
Igor B. Burdonov, Alexander S. Kossatchev, Nina Yevtushenko
Deriving complete finite tests based on state machines. EWDTS (2014)
Natalia Kushik, Jeevan Pokhrel, Nina Yevtushenko, Ana R. Cavalli, Wissam Mallouli
QoE Prediction for Multimedia Services: Comparing Fuzzy and Logic Network Approaches. Int. J. Organ. Collect. Intell. 4 (3) (2014)
Khaled El-Fakih, Nina Yevtushenko, Adenilso Simão
A practical approach for testing timed deterministic finite state machines with single clock. Sci. Comput. Program. 80 (2014)
Alexandre Petrenko, Nina Yevtushenko
Adaptive Testing of Nondeterministic Systems with FSM. HASE (2014)
Khaled El-Fakih, Maxim Gromov, Natalia Shabaldina, Nina Yevtushenko
Distinguishing Experiments for Timed Nondeterministic Finite State Machines. Acta Cybern. 21 (2) (2013)
Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko
Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines. ICTSS (2013)
Olga Kondratyeva, Natalia Kushik, Ana R. Cavalli, Nina Yevtushenko
Evaluating Web Service Quality Using Finite State Models. QSIC (2013)
Natalia Kushik, Nina Yevtushenko
On the Length of Homing Sequences for Nondeterministic Finite State Machines. CIAA (2013)
Olga Kondratyeva, Natalia Kushik, Ana R. Cavalli, Nina Yevtushenko
Evaluating Quality of Web Services: A Short Survey. ICWS (2013)
Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko
On reducing test length for FSMs with extra states. Softw. Test. Verification Reliab. 22 (6) (2012)
Iksoon Hwang, Nina Yevtushenko, Ana R. Cavalli
Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs. Inf. Process. Lett. 112 (7) (2012)
Alexandre Petrenko, Adenilso da Silva Simão, Nina Yevtushenko
Generating Checking Sequences for Nondeterministic Finite State Machines. ICST (2012)
Khaled El-Fakih, Rita Dorofeeva, Nina Yevtushenko, Gregor von Bochmann
FSM-based testing from user defined faults adapted to incremental and mutation testing. Program. Comput. Softw. 38 (4) (2012)
Natalia Kushik, Amel Mammar, Ana R. Cavalli, Nina Yevtushenko, Willy Jimenez, Edgardo Montes de Oca
A SPIN-based approach for detecting vulnerabilities in C programs. Autom. Control. Comput. Sci. 46 (7) (2012)
Alexandre Petrenko, Nina Yevtushenko
Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs. ICTSS (2011)
Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko
Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines. CIAA (2011)
Maxim Zhigulin, Nina Yevtushenko, Stéphane Maag, Ana R. Cavalli
FSM-Based Test Derivation Strategies for Systems with Time-Outs. QSIC (2011)
Maxim Gromov, Nina Yevtushenko
Synthesis of distinguishing test cases for timed finite state machines. Program. Comput. Softw. 36 (4) (2010)
E. Akenshina, Natalia Shabaldina, Nina Yevtushenko
Deriving Exhaustive Test Suits for Nondeterministic FSMs w.r.t. Non-separability Relation. ICST Workshops (2010)
Rita Dorofeeva, Khaled El-Fakih, Stéphane Maag, Ana R. Cavalli, Nina Yevtushenko
FSM-based conformance testing methods: A survey annotated with experimental evaluation. Inf. Softw. Technol. 52 (12) (2010)
Khaled El-Fakih, Nina Yevtushenko, Hacène Fouchal
Testing Timed Finite State Machines with Guaranteed Fault Coverage. TestCom/FATES (2009)
Victor Bushkov, Nina Yevtushenko, Tiziano Villa
Discussion on Supervisory Control by Solving Automata Equation CoRR (2009)
Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko
Distinguing Non-deterministic Timed Finite State Machines. FMOODS/FORTE (2009)
Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko
Generating Reduced Tests for FSMs with Extra States. TestCom/FATES (2009)
Khaled El-Fakih, Nina Yevtushenko
Progressive Solutions to FSM Equations. CIAA (2008)
Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
Compositionally Progressive Solutions of Synchronous FSM Equations. Discret. Event Dyn. Syst. 18 (1) (2008)
Khaled El-Fakih, Anton Kolomeez, Svetlana Prokopenko, Nina Yevtushenko
Extended Finite State Machine Based Test Derivation Driven by User Defined Faults. ICST (2008)
Natalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko
Testing Nondeterministic Finite State Machines with Respect to the Separability Relation. TestCom/FATES (2007)
Natalia Spitsyna, Khaled El-Fakih, Nina Yevtushenko
Studying the separability relation between finite state machines. Softw. Test. Verification Reliab. 17 (4) (2007)
Alan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Tiziano Villa, Nina Yevtushenko
Efficient Solution of Language Equations Using Partitioned Representations CoRR (2007)

Nina Yevtushenko.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nina Yevtushenko