Conditions for Existence of Nontrivial Parallel Decompositions of Sequential Machines. - Nina V. Evtushenko (FCT, 1987)

Test Suite Generation from a FSM with a Given Type of Implementation Errors. - Alexandre Petrenko; Nina Yevtushenko 001 (PSTV, 1992)

Nondeterministic State Machines in Protocol Conformance Testing. - Alexandre Petrenko; Nina Yevtushenko 001; Alexandre Lebedev; Anindya Das (Protocol Test Systems, 1993)

Fault Models for Testing in Context. - Alexandre Petrenko; Nina Yevtushenko 001; Gregor von Bochmann (FORTE, 1996)

Testing in context: framework and test derivation. - Alexandre Petrenko; Nina Yevtushenko 001; Gregor von Bochmann; Rachida Dssouli (Comput. Commun., 1996)

Design for testability of communication protocols based on SDL language. - Kamel Karoui; Rachida Dssouli; Nina Yevtushenko 001 (SDL Forum, 1997)

Solving Asynchronous Equations. - Alexandre Petrenko; Nina Yevtushenko 001 (FORTE, 1998)

Test Suite Minimization for Testing in Context. - Nina Yevtushenko 001; Ana R. Cavalli; Luiz A. Paula Lima Jr. (IWTCS, 1998)

Test Generation Driven by User-defined Fault Models. - I. Koufareva; Alexandre Petrenko; Nina Yevtushenko 001 (IWTCS, 1999)

Test Suite Minimization for Embedded Nondeterministic Finite State Machines. - Nina Yevtushenko 001; Ana R. Cavalli; Ricardo Anido (IWTCS, 1999)

On Test Derivation from Partial Specifications. - Alexandre Petrenko; Nina Yevtushenko 001 (FORTE, 2000)

Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs. - Ana R. Cavalli; Svetlana Prokopenko; Nina Yevtushenko 001 (TestCom, 2000)

Diagnosing Multiple Faults in Communicating Finite State Machines. - Khaled El-Fakih; Nina Yevtushenko 001; Gregor von Bochmann (FORTE, 2001)

Solution of Parallel Language Equations for Logic Synthesis. - Nina Yevtushenko 001; Tiziano Villa; Robert K. Brayton; Alexandre Petrenko; Alberto L. Sangiovanni-Vincentelli (ICCAD, 2001)

Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. - Nina Yevtushenko 001; Tiziano Villa; Robert K. Brayton; Alexandre Petrenko; Alberto L. Sangiovanni-Vincentelli (IWLS, 2002)

Fault Detection within a Component of a System of Communicating FSMs. - Ana R. Cavalli; Svetlana Prokopenko; Nina Yevtushenko 001 (TestCom, 2002)

FSM-based Re-Testing Methods. - Khaled El-Fakih; Nina Yevtushenko 001; Gregor von Bochmann (TestCom, 2002)

Multi Component Digital Circuit Optimization by Solving FSM Equations. - Nina Yevtushenko 001; Svetlana Zharikova; Maria Vetrova (DSD, 2003)

Fault Diagnosis in Extended Finite State Machines. - Khaled El-Fakih; Svetlana Prokopenko; Nina Yevtushenko 001; Gregor von Bochmann (TestCom, 2003)

Testing Transition Systems with Input and Output Testers. - Alexandre Petrenko; Nina Yevtushenko 001; Jiale Huo (TestCom, 2003)

Test suite minimization for testing in context. - Ricardo Anido; Ana R. Cavalli; Luiz A. Paula Lima Jr.; Nina Yevtushenko 001 (Softw. Test. Verification Reliab., 2003)

Fault Propagation by Equation Solving. - Khaled El-Fakih; Nina Yevtushenko 001 (FORTE, 2004)

FSM Based Interoperability Testing Methods for Multi Stimuli Model. - Khaled El-Fakih; Vadim Trenkaev; Natalia Spitsyna; Nina Yevtushenko 001 (TestCom, 2004)

FSM-Based Incremental Conformance Testing Methods. - Khaled El-Fakih; Nina Yevtushenko 001; Gregor von Bochmann (IEEE Trans. Software Eng., 2004)

Efficient Solution of Language Equations Using Partitioned Representations. - Alan Mishchenko; Robert K. Brayton; Jie-Hong Roland Jiang; Tiziano Villa; Nina Yevtushenko 001 (DATE, 2005)

Conformance Tests as Checking Experiments for Partial Nondeterministic FSM. - Alexandre Petrenko; Nina Yevtushenko 001 (FATES, 2005)

An Improved Conformance Testing Method. - Rita Dorofeeva; Khaled El-Fakih; Nina Yevtushenko 001 (FORTE, 2005)

Experimental Evaluation of FSM-Based Testing Methods. - Rita Dorofeeva; Nina Yevtushenko 001; Khaled El-Fakih; Ana R. Cavalli (SEFM, 2005)

Testing from Partial Deterministic FSM Specifications. - Alexandre Petrenko; Nina Yevtushenko 001 (IEEE Trans. Computers, 2005)

FSM Test Translation Through Context. - Khaled El-Fakih; Alexandre Petrenko; Nina Yevtushenko 001 (TestCom, 2006)

Progressive solutions to a parallel automata equation. - Khaled El-Fakih; Nina Yevtushenko 001; Sergey Buffalov; Gregor von Bochmann (Theor. Comput. Sci., 2006)

A new algorithm for the largest compositionally progressive solution of synchronous language equations. - Tiziano Villa; Svetlana Zharikova; Nina Yevtushenko 001; Robert K. Brayton; Alberto L. Sangiovanni-Vincentelli (ACM Great Lakes Symposium on VLSI, 2007)

Testing Nondeterministic Finite State Machines with Respect to the Separability Relation. - Natalia Shabaldina; Khaled El-Fakih; Nina Yevtushenko 001 (TestCom/FATES, 2007)

Studying the separability relation between finite state machines. - Natalia Spitsyna; Khaled El-Fakih; Nina Yevtushenko 001 (Softw. Test. Verification Reliab., 2007)

Extended Finite State Machine Based Test Derivation Driven by User Defined Faults. - Khaled El-Fakih; Anton Kolomeez; Svetlana Prokopenko; Nina Yevtushenko 001 (ICST, 2008)

Progressive Solutions to FSM Equations. - Khaled El-Fakih; Nina Yevtushenko 001 (CIAA, 2008)

Compositionally Progressive Solutions of Synchronous FSM Equations. - Nina Yevtushenko 001; Tiziano Villa; Robert K. Brayton; Alexandre Petrenko; Alberto L. Sangiovanni-Vincentelli (Discret. Event Dyn. Syst., 2008)

On the synthesis of adaptive tests for nondeterministic finite state machines. - Maxim Gromov; Nina V. Evtushenko; Anton V. Kolomeets (Program. Comput. Softw., 2008)

Distinguing Non-deterministic Timed Finite State Machines. - Maxim Gromov; Khaled El-Fakih; Natalia Shabaldina; Nina Yevtushenko 001 (FMOODS/FORTE, 2009)

Testing Timed Finite State Machines with Guaranteed Fault Coverage. - Khaled El-Fakih; Nina Yevtushenko 001; Hacène Fouchal (TestCom/FATES, 2009)

Generating Reduced Tests for FSMs with Extra States. - Adenilso da Silva Simão; Alexandre Petrenko; Nina Yevtushenko 001 (TestCom/FATES, 2009)

Discussion on Supervisory Control by Solving Automata Equation - Victor Bushkov; Nina Yevtushenko 001; Tiziano Villa (CoRR, 2009)

Deriving Exhaustive Test Suits for Nondeterministic FSMs w.r.t. Non-separability Relation. - E. Akenshina; Natalia Shabaldina; Nina Yevtushenko 001 (ICST Workshops, 2010)

FSM-based conformance testing methods: A survey annotated with experimental evaluation. - Rita Dorofeeva; Khaled El-Fakih; Stéphane Maag; Ana R. Cavalli; Nina Yevtushenko 001 (Inf. Softw. Technol., 2010)

Synthesis of distinguishing test cases for timed finite state machines. - Maxim Gromov; Nina Yevtushenko 001 (Program. Comput. Softw., 2010)

Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs. - Alexandre Petrenko; Nina Yevtushenko 001 (ICTSS, 2011)

FSM-Based Test Derivation Strategies for Systems with Time-Outs. - Maxim Zhigulin; Nina Yevtushenko 001; Stéphane Maag; Ana R. Cavalli (QSIC, 2011)

Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines. - Natalia Kushik; Khaled El-Fakih; Nina Yevtushenko 001 (CIAA, 2011)

Generating Checking Sequences for Nondeterministic Finite State Machines. - Alexandre Petrenko; Adenilso da Silva Simão; Nina Yevtushenko 001 (ICST, 2012)

A SPIN-based approach for detecting vulnerabilities in C programs. - Natalia Kushik; Amel Mammar; Ana R. Cavalli; Nina Yevtushenko 001; Willy Jimenez; Edgardo Montes de Oca (Autom. Control. Comput. Sci., 2012)

Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs. - Iksoon Hwang; Nina Yevtushenko 001; Ana R. Cavalli (Inf. Process. Lett., 2012)

FSM-based testing from user defined faults adapted to incremental and mutation testing. - Khaled El-Fakih; Rita Dorofeeva; Nina Yevtushenko 001; Gregor von Bochmann (Program. Comput. Softw., 2012)

On reducing test length for FSMs with extra states. - Adenilso da Silva Simão; Alexandre Petrenko; Nina Yevtushenko 001 (Softw. Test. Verification Reliab., 2012)

Evaluating Quality of Web Services: A Short Survey. - Olga Kondratyeva; Natalia Kushik; Ana R. Cavalli; Nina Yevtushenko 001 (ICWS, 2013)

Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines. - Natalia Kushik; Khaled El-Fakih; Nina Yevtushenko 001 (ICTSS, 2013)

Evaluating Web Service Quality Using Finite State Models. - Olga Kondratyeva; Natalia Kushik; Ana R. Cavalli; Nina Yevtushenko 001 (QSIC, 2013)

On the Length of Homing Sequences for Nondeterministic Finite State Machines. - Natalia Kushik; Nina Yevtushenko 001 (CIAA, 2013)

Distinguishing Experiments for Timed Nondeterministic Finite State Machines. - Khaled El-Fakih; Maxim Gromov; Natalia Shabaldina; Nina Yevtushenko 001 (Acta Cybern., 2013)

Deriving complete finite tests based on state machines. - Igor B. Burdonov; Alexander S. Kossatchev; Nina Yevtushenko 001 (EWDTS, 2014)

Adaptive Testing of Nondeterministic Systems with FSM. - Alexandre Petrenko; Nina Yevtushenko 001 (HASE, 2014)

On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment. - Khaled El-Fakih; Tariq Salameh; Nina Yevtushenko 001 (ICTSS, 2014)

On Testing against Partial Non-observable Specifications. - Natalia Kushik; Nina Yevtushenko 001; Ana R. Cavalli (QUATIC, 2014)

Evaluating Web Service QoE by Learning Logic Networks. - Natalia Kushik; Nina Yevtushenko 001; Ana R. Cavalli; Wissam Mallouli; Jeevan Pokhrel (WEBIST (1), 2014)

Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power. - Davide Bresolin; Khaled El-Fakih; Tiziano Villa; Nina Yevtushenko 001 (GandALF, 2014)

QoE Prediction for Multimedia Services: Comparing Fuzzy and Logic Network Approaches. - Natalia Kushik; Jeevan Pokhrel; Nina Yevtushenko 001; Ana R. Cavalli; Wissam Mallouli (Int. J. Organ. Collect. Intell., 2014)

On the complexity of existence of homing sequences for nondeterministic finite state machines. - Natalia G. Kushik; Victor V. Kulyamin; Nina V. Evtushenko (Program. Comput. Softw., 2014)

A practical approach for testing timed deterministic finite state machines with single clock. - Khaled El-Fakih; Nina Yevtushenko 001; Adenilso Simão (Sci. Comput. Program., 2014)

Scalable QoE Prediction for Service Composition. - Natalia Kushik; Nina Yevtushenko 001 (ESaaSA@CLOSER, 2015)

On using ABC for deriving distinguishing sequences for Verilog-descriptions. - Natalia Kushik; Nina Yevtushenko 001; Stanislav N. Torgaev; Nikita Shatilov (EWDTS, 2015)

Decreasing the length of adaptive distinguishing experiments for nondeterministic merging-free finite state machines. - Nina Yevtushenko 001; Natalia Kushik (EWDTS, 2015)

QoE Evaluation Based on QoS and QoBiz Parameters Applied to an OTT Service. - Diego Rivera; Natalia Kushik; Camila Fuenzalida; Ana R. Cavalli; Nina Yevtushenko 001 (ICWS, 2015)

Automated Synthesis of Protocol Converters with BALM-II. - Giovanni Castagnetti; Matteo Piccolo; Tiziano Villa; Nina Yevtushenko 001; Robert K. Brayton; Alan Mishchenko (SEFM Workshops, 2015)

Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata. - Natalia Kushik; Nina Yevtushenko 001 (CIAA, 2015)

Deriving Compositionally Deadlock-Free Components over Synchronous Automata Compositions. - Nina Yevtushenko 001; Khaled El-Fakih; Tiziano Villa; Jie-Hong R. Jiang (Comput. J., 2015)

Adaptive Homing is in P. - Natalia Kushik; Nina Yevtushenko 001 (MBT, 2015)

Component-Based Design by Solving Language Equations. - Tiziano Villa; Alexandre Petrenko; Nina Yevtushenko 001; Alan Mishchenko; Robert K. Brayton (Proc. IEEE, 2015)

On Source Code Optimization for Interpreted Languages using State Models. - Jorge López; Natalia Kushik; Nina Yevtushenko 001 (ENASE, 2016)

Testing components of interacting timed finite state machines. - Maxim Gromov; Aleksandr S. Tvardovskii; Nina Yevtushenko 001 (EWDTS, 2016)

Optimizing network utilization through source code state model representation. - Jorge López; Natalia Kushik; Ana R. Cavalli; Nina Yevtushenko 001 (EWDTS, 2016)

Testing logic circuits at different abstraction levels: An experimental evaluation. - Sergey A. Smolov; Jorge López; Natalia Kushik; Nina Yevtushenko 001; Mikhail M. Chupilko; Alexander S. Kamkin (EWDTS, 2016)

Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs. - Natalia Kushik; Nina Yevtushenko 001; Hüsnü Yenigün (AMARETTO@MODELSWARD, 2016)

On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications. - Nina Yevtushenko 001; Khaled El-Fakih; Anton Ermakov (ICTSS, 2016)

Improving Protocol Passive Testing through "Gedanken" Experiments with Finite State Machines. - Natalia Kushik; Jorge López; Ana R. Cavalli; Nina Yevtushenko 001 (QRS, 2016)

Some classes of finite state machines with polynomial length of distinguishing test cases. - Hüsnü Yenigün; Nina Yevtushenko 001; Natalia Kushik (SAC, 2016)

Heuristics for deriving distinguishing experiments of nondeterministic finite state machines. - Khaled El-Fakih; Abdul Rahim Haddad; Nassima Aleb; Nina Yevtushenko 001 (Appl. Soft Comput., 2016)

Test Translation for Embedded Finite State Machine Components. - Khaled El-Fakih; Nina Yevtushenko 001 (Comput. J., 2016)

Distinguishing extended finite state machine configurations using predicate abstraction. - Khaled El-Fakih; Nina Yevtushenko 001; Marius Bozga; Saddek Bensalem (J. Softw. Eng. Res. Dev., 2016)

On adaptive experiments for nondeterministic finite state machines. - Natalia Kushik; Khaled El-Fakih; Nina Yevtushenko 001; Ana R. Cavalli (Int. J. Softw. Tools Technol. Transf., 2016)

Proactive Trust Assessment of Systems as Services. - Jorge López; Natalia Kushik; Nina Yevtushenko 001 (ENASE, 2017)

Decreasing the complexity of deriving test suites against nondeterministic finite state machines. - Hüsnü Yenigün; Natalia Kushik; Jorge López; Nina Yevtushenko 001; Ana R. Cavalli (EWDTS, 2017)

Analyzing and Validating Virtual Network Requests. - Jorge López; Natalia Kushik; Nina Yevtushenko 001; Djamal Zeghlache (ICSOFT, 2017)

Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines. - Anton Ermakov; Nina Yevtushenko 001 (Autom. Control. Comput. Sci., 2017)

Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage. - Aleksandr S. Tvardovskii; Khaled El-Fakih; Maxim Gromov; Nina Yevtushenko 001 (Autom. Control. Comput. Sci., 2017)

The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs. - Hüsnü Yenigün; Nina Yevtushenko 001; Natalia Kushik (Inf. Process. Lett., 2017)

Towards Model based Testing for Software Defined Networks. - Asma Berriri; Jorge López; Natalia Kushik; Nina Yevtushenko 001; Djamal Zeghlache (ENASE, 2018)

Test Derivation for the Software Defined Networking Platforms: Novel Fault Models and Test Completeness. - Nina Yevtushenko 001; Igor B. Burdonov; Alexandre S. Kossachev; Jorge López; Natalia Kushik; Djamal Zeghlache (EWDTS, 2018)

Scalable Supervised Machine Learning Apparatus for Computationally Constrained Devices. - Jorge López; Andrey Laputenko; Natalia Kushik; Nina Yevtushenko 001; Stanislav N. Torgaev (ICSOFT, 2018)

Test Derivation for SDN-Enabled Switches: A Logic Circuit Based Approach. - Jorge López; Natalia Kushik; Asma Berriri; Nina Yevtushenko 001; Djamal Zeghlache (ICTSS, 2018)

Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts. - Aleksandr S. Tvardovskii; Khaled El-Fakih; Nina Yevtushenko 001 (ICTSS, 2018)

Deriving Synchronizing and Homing Sequences for Input/Output Automata. - Natalia Kushik; Nina Yevtushenko 001; Igor B. Bourdonov; Alexander S. Kossatchev (Autom. Control. Comput. Sci., 2018)

Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation. - Khaled El-Fakih; Nina Yevtushenko 001; Natalia Kushik (Formal Aspects Comput., 2018)

Source code optimization using equivalent mutants. - Jorge López; Natalia Kushik; Nina Yevtushenko 001 (Inf. Softw. Technol., 2018)

Parallel algorithms for reducing derivation time of distinguishing experiments for nondeterministic finite state machines. - Khaled El-Fakih; Gerassimos D. Barlas; Mustafa Ali; Nina Yevtushenko 001 (Int. J. Parallel Emergent Distributed Syst., 2018)

Evaluating the length of distinguishing sequences for nondeterministic Input/Output automata. - Igor B. Burdonov; Alexandre S. Kossachev; Nina Yevtushenko 001; Alexey V. Demakov (EWDTS, 2019)

Deriving adaptive homing sequences for weakly initialized nondeterministic FSMs. - Evgenii M. Vinarskii; Aleksandr S. Tvardovskii; Larisa Evtushenko; Nina Yevtushenko 001 (EWDTS, 2019)

A Model Checking Based Approach for Detecting SDN Races. - Evgenii M. Vinarskii; Jorge López; Natalia Kushik; Nina Yevtushenko 001; Djamal Zeghlache (ICTSS, 2019)

Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs. - Nina Yevtushenko 001; Victor V. Kuliamin; Natalia Kushik (ICTSS, 2019)

Distinguishing Transition Systems With The Nondeterministic Behavior. - Igor B. Burdonov; Nina Yevtushenko 001; Alexander S. Kossachev (SSI, 2019)

Incremental and Heuristic Approaches for Deriving Adaptive Distinguishing Test Cases for Non-deterministic Finite-State Machines. - Khaled El-Fakih; Nina Yevtushenko 001; Ayat Saleh (Comput. J., 2019)

Verifying SDN Data Path Requests. - Igor B. Burdonov; Alexandre S. Kossachev; Nina Yevtushenko 001; Jorge López; Natalia Kushik; Djamal Zeghlache (CoRR, 2019)

Guest Editorial: Special issue on Testing Software and Systems. - Hüsnü Yenigün; Nina Yevtushenko 001; Ana Rosa Cavalli (Softw. Qual. J., 2019)

Implementing a Virtual Network on the SDN Data Plane. - Igor B. Burdonov; Nina Yevtushenko 001; Alexandre S. Kossachev (EWDTS, 2020)

Optimizing Components of Multi-Module Systems Based on don't Care Input Sequences. - Ekaterina Shirokova; Larisa Evtushenko; Andrey Laputenko; Nina Yevtushenko 001 (EWDTS, 2020)

Evaluating Length of a Shortest Adaptive Homing Sequence for Weakly Initialized FSMs. - Evgenii M. Vinarskii; Nina Yevtushenko 001 (EWDTS, 2020)

Deriving Distinguishing Sequences for Input/Output Automata. - Nina Yevtushenko 001; Igor B. Burdonov; Alexandre S. Kossachev (EWDTS, 2020)

Using an SMT Solver for Checking the Completeness of FSM-Based Tests. - Evgenii M. Vinarskii; Andrey Laputenko; Nina Yevtushenko 001 (ICTSS, 2020)

Novel machine learning technique for predicting teaching strategy effectiveness. - Natalia Kushik; Nina Yevtushenko 001; Tatiana G. Evtushenko (Int. J. Inf. Manag., 2020)

Separating Input/Output Automata With Nondeterministic Behavior. - Igor B. Burdonov; Nina Yevtushenko 001; Alexander S. Kossatchev (Russ. Digit. Libr. J., 2020)

Preventive Model-based Verification and Repairing for SDN Requests. - Igor B. Burdonov; Alexandre S. Kossachev; Nina Yevtushenko 001; Jorge López; Natalia Kushik; Djamal Zeghlache (ENASE, 2021)

Verifying Multiple Virtual Networks in Software Defined Networks. - Igor B. Burdonov; Nina Yevtushenko 001; Alexandre S. Kossachev (EWDTS, 2021)

Adaptive Homing Sequences for Partial Weakly-initialized Observable FSMs. - Evgenii M. Vinarskii; Aleksandr S. Tvardovskii; Nina Yevtushenko 001 (EWDTS, 2021)

Testing Against Non-deterministic FSMs: A Probabilistic Approach for Test Suite Minimization. - Natalia Kushik; Nina Yevtushenko 001; Jorge López (ICTSS, 2021)

Deriving Homing Sequences for Finite State Machines with Timed Guards. - Aleksandr S. Tvardovskii; Nina V. Evtushenko (Autom. Control. Comput. Sci., 2021)

Equivalence checking and intersection of deterministic timed finite state machines. - Davide Bresolin; Khaled El-Fakih; Tiziano Villa; Nina Yevtushenko 001 (Formal Methods Syst. Des., 2021)

Perfect Sets of Paths in the Full Graph of SDN Switches. - Igor B. Bourdonov; Evgenii M. Vinarskii; Nina V. Evtushenko; Alexander S. Kossatchev (Program. Comput. Softw., 2021)

Deriving FSM-based tests using $a, b- text{faults}$ for Logic Circuits. - Andrey Laputenko; Nina Yevtushenko 001; Valentina Andreeva; Anzhela Yu. Matrosova (ISVLSI, 2022)

Adaptive Experiments for State Identification in Finite State Machines with Timeouts. - Aleksandr S. Tvardovskii; Nina Yevtushenko 001 (MCU, 2022)

Evaluating the complexity of deriving adaptive S'-homing and S'-synchronizing sequences for nondeterministic FSMs. - Nina Yevtushenko 001; Victor V. Kuliamin; Natalia Kushik (Softw. Qual. J., 2022)

Homing Sequence Derivation With Quantified Boolean Satisfiability. - Kuan-Hua Tu; Hung-En Wang; Jie-Hong R. Jiang; Natalia Kushik; Nina Yevtushenko 001 (IEEE Trans. Computers, 2022)

Studying Synchronization Issues for Extended Automata. - Natalia Kushik; Nina Yevtushenko 001 (ENASE, 2023)

Timed Transition Tour for Race Detection in Distributed Systems. - Evgenii M. Vinarskii; Natalia Kushik; Nina Yevtushenko 001; Jorge López; Djamal Zeghlache (ENASE, 2023)

Probabilistic Approach for Minimizing Checking Sequences for Non-deterministic FSMs. - Natalia Kushik; Nina Yevtushenko 001; Jorge López (ICTSS, 2023)

On Preset Homing and Synchronizing Sequences for Observable Input/Output Automata. - Igor B. Burdonov; Nina V. Evtushenko; Alexander S. Kossachev; Natalia G. Kushik (Autom. Remote. Control., 2023)

Deriving homing sequences for Finite State Machines with timeouts. - Aleksandr S. Tvardovskii; Nina Yevtushenko 001 (Comput. J., 2023)

Races in Extended Input/Ouput Automata, Their Compositions and Related Reactive Systems. - Evgenii M. Vinarskii; Natalia Kushik; Nina Yevtushenko 001; Jorge López; Djamal Zeghlache (ENASE, 2024)

Testing and incremental conformance testing of timed state machines. - Aleksandr S. Tvardovskii; Khaled El-Fakih; Nina Yevtushenko 001 (Sci. Comput. Program., 2024)

Assessing the coverage of W-based conformance testing methods over code faults. - Khaled El-Fakih; Faiz Hassan; Ayman Alzaatreh; Nina Yevtushenko 001 (Sci. Comput. Program., 2025)

Improving System Survivability by Path Duplication. - Igor B. Bourdonov; Nina V. Evtushenko; Alexander S. Kossatchev (Program. Comput. Softw., 2025)