Nina Yevtushenko

140 papers A 7B 8C 30Misc 2Journal 44Unranked 48

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Assessing the coverage of W-based conformance testing methods over code faults. Sci. Comput. Program. Khaled El-Fakih, Faiz Hassan, Ayman Alzaatreh, Nina Yevtushenko
2025	C	`conf`	On Using Homing Sequences Instead of Distinguishing in FSM-Based Testing. ICTSS Natalia Kushik, Nina Yevtushenko
2024	B	`conf`	Races in Extended Input/Ouput Automata, Their Compositions and Related Reactive Systems. ENASE Evgenii M. Vinarskii, Natalia Kushik, Nina Yevtushenko, Jorge López, Djamal Zeghlache
2024	J	`jnl`	Testing and incremental conformance testing of timed state machines. Sci. Comput. Program. Aleksandr S. Tvardovskii, Khaled El-Fakih, Nina Yevtushenko
2023	J	`jnl`	Deriving homing sequences for Finite State Machines with timeouts. Comput. J. Aleksandr S. Tvardovskii, Nina Yevtushenko
2023	C	`conf`	Probabilistic Approach for Minimizing Checking Sequences for Non-deterministic FSMs. ICTSS Natalia Kushik, Nina Yevtushenko, Jorge López
2023	B	`conf`	Studying Synchronization Issues for Extended Automata. ENASE Natalia Kushik, Nina Yevtushenko
2023	B	`conf`	Timed Transition Tour for Race Detection in Distributed Systems. ENASE Evgenii M. Vinarskii, Natalia Kushik, Nina Yevtushenko, Jorge López, Djamal Zeghlache
2022	C	`conf`	Adaptive Experiments for State Identification in Finite State Machines with Timeouts. MCU Aleksandr S. Tvardovskii, Nina Yevtushenko
2022	—	`conf`	Deriving FSM-based tests using $a, b-\text{faults}$ for Logic Circuits. ISVLSI Andrey Laputenko, Nina Yevtushenko, Valentina Andreeva, Anzhela Yu. Matrosova
2022	J	`jnl`	Evaluating the complexity of deriving adaptive S'-homing and S'-synchronizing sequences for nondeterministic FSMs. Softw. Qual. J. Nina Yevtushenko, Victor V. Kuliamin, Natalia Kushik
2022	J	`jnl`	Homing Sequence Derivation With Quantified Boolean Satisfiability. IEEE Trans. Computers Kuan-Hua Tu, Hung-En Wang, Jie-Hong R. Jiang, Natalia Kushik, Nina Yevtushenko
2021	—	`conf`	Adaptive Homing Sequences for Partial Weakly-initialized Observable FSMs. EWDTS Evgenii M. Vinarskii, Aleksandr S. Tvardovskii, Nina Yevtushenko
2021	J	`jnl`	Equivalence Checking and Intersection of Deterministic Timed Finite State Machines. CoRR Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko
2021	J	`jnl`	Equivalence checking and intersection of deterministic timed finite state machines. Formal Methods Syst. Des. Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko
2021	B	`conf`	Preventive Model-based Verification and Repairing for SDN Requests. ENASE Igor B. Burdonov, Alexandre S. Kossachev, Nina Yevtushenko, Jorge López, Natalia Kushik, Djamal Zeghlache
2021	C	`conf`	Testing Against Non-deterministic FSMs: A Probabilistic Approach for Test Suite Minimization. ICTSS Natalia Kushik, Nina Yevtushenko, Jorge López
2021	—	`conf`	Verifying Multiple Virtual Networks in Software Defined Networks. EWDTS Igor B. Burdonov, Nina Yevtushenko, Alexandre S. Kossachev
2020	—	`conf`	Deriving Distinguishing Sequences for Input/Output Automata. EWDTS Nina Yevtushenko, Igor B. Burdonov, Alexandre S. Kossachev
2020	—	`conf`	Evaluating Length of a Shortest Adaptive Homing Sequence for Weakly Initialized FSMs. EWDTS Evgenii M. Vinarskii, Nina Yevtushenko
2020	—	`conf`	Implementing a Virtual Network on the SDN Data Plane. EWDTS Igor B. Burdonov, Nina Yevtushenko, Alexandre S. Kossachev
2020	J	`jnl`	Novel machine learning technique for predicting teaching strategy effectiveness. Int. J. Inf. Manag. Natalia Kushik, Nina Yevtushenko, Tatiana G. Evtushenko
2020	—	`conf`	Optimizing Components of Multi-Module Systems Based on don't Care Input Sequences. EWDTS Ekaterina Shirokova, Larisa Evtushenko, Andrey Laputenko, Nina Yevtushenko
2020	J	`jnl`	Separating Input/Output Automata With Nondeterministic Behavior. Russ. Digit. Libr. J. Igor B. Burdonov, Nina Yevtushenko, Alexander S. Kossatchev
2020	C	`conf`	Using an SMT Solver for Checking the Completeness of FSM-Based Tests. ICTSS Evgenii M. Vinarskii, Andrey Laputenko, Nina Yevtushenko
2019	C	`conf`	A Model Checking Based Approach for Detecting SDN Races. ICTSS Evgenii M. Vinarskii, Jorge López, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache
2019	—	`conf`	Deriving adaptive homing sequences for weakly initialized nondeterministic FSMs. EWDTS Evgenii M. Vinarskii, Aleksandr S. Tvardovskii, Larisa Evtushenko, Nina Yevtushenko
2019	—	`conf`	Distinguishing Transition Systems With The Nondeterministic Behavior. SSI Igor B. Burdonov, Nina Yevtushenko, Alexander S. Kossachev
2019	C	`conf`	Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs. ICTSS Nina Yevtushenko, Victor V. Kuliamin, Natalia Kushik
2019	—	`conf`	Evaluating the length of distinguishing sequences for nondeterministic Input/Output automata. EWDTS Igor B. Burdonov, Alexandre S. Kossachev, Nina Yevtushenko, Alexey V. Demakov
2019	J	`jnl`	Guest Editorial: Special issue on Testing Software and Systems. Softw. Qual. J. Hüsnü Yenigün, Nina Yevtushenko, Ana Rosa Cavalli
2019	J	`jnl`	Incremental and Heuristic Approaches for Deriving Adaptive Distinguishing Test Cases for Non-deterministic Finite-State Machines. Comput. J. Khaled El-Fakih, Nina Yevtushenko, Ayat Saleh
2019	J	`jnl`	Verifying SDN Data Path Requests. CoRR Igor B. Burdonov, Alexandre S. Kossachev, Nina Yevtushenko, Jorge López, Natalia Kushik, Djamal Zeghlache
2018	J	`jnl`	Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation. Formal Aspects Comput. Khaled El-Fakih, Nina Yevtushenko, Natalia Kushik
2018	J	`jnl`	Deriving Synchronizing and Homing Sequences for Input/Output Automata. Autom. Control. Comput. Sci. Natalia Kushik, Nina Yevtushenko, Igor B. Bourdonov, Alexander S. Kossatchev
2018	C	`conf`	Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts. ICTSS Aleksandr S. Tvardovskii, Khaled El-Fakih, Nina Yevtushenko
2018	J	`jnl`	Parallel algorithms for reducing derivation time of distinguishing experiments for nondeterministic finite state machines. Int. J. Parallel Emergent Distributed Syst. Khaled El-Fakih, Gerassimos D. Barlas, Mustafa Ali, Nina Yevtushenko
2018	C	`conf`	Scalable Supervised Machine Learning Apparatus for Computationally Constrained Devices. ICSOFT Jorge López, Andrey Laputenko, Natalia Kushik, Nina Yevtushenko, Stanislav N. Torgaev
2018	J	`jnl`	Source Code Optimization using Equivalent Mutants. CoRR Jorge López, Natalia Kushik, Nina Yevtushenko
2018	J	`jnl`	Source code optimization using equivalent mutants. Inf. Softw. Technol. Jorge López, Natalia Kushik, Nina Yevtushenko
2018	C	`conf`	Test Derivation for SDN-Enabled Switches: A Logic Circuit Based Approach. ICTSS Jorge López, Natalia Kushik, Asma Berriri, Nina Yevtushenko, Djamal Zeghlache
2018	—	`conf`	Test Derivation for the Software Defined Networking Platforms: Novel Fault Models and Test Completeness. EWDTS Nina Yevtushenko, Igor B. Burdonov, Alexandre S. Kossachev, Jorge López, Natalia Kushik, Djamal Zeghlache
2018	B	`conf`	Towards Model based Testing for Software Defined Networks. ENASE Asma Berriri, Jorge López, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache
2017	C	`conf`	Analyzing and Validating Virtual Network Requests. ICSOFT Jorge López, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache
2017	—	`conf`	Decreasing the complexity of deriving test suites against nondeterministic finite state machines. EWDTS Hüsnü Yenigün, Natalia Kushik, Jorge López, Nina Yevtushenko, Ana R. Cavalli
2017	J	`jnl`	Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines. Autom. Control. Comput. Sci. Anton Ermakov, Nina Yevtushenko
2017	B	`conf`	Proactive Trust Assessment of Systems as Services. ENASE Jorge López, Natalia Kushik, Nina Yevtushenko
2017	C	`ed.`	Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings ICTSS Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün
2017	J	`jnl`	Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage. Autom. Control. Comput. Sci. Aleksandr S. Tvardovskii, Khaled El-Fakih, Maxim Gromov, Nina Yevtushenko
2017	J	`jnl`	The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs. Inf. Process. Lett. Hüsnü Yenigün, Nina Yevtushenko, Natalia Kushik
2016	J	`jnl`	Distinguishing extended finite state machine configurations using predicate abstraction. J. Softw. Eng. Res. Dev. Khaled El-Fakih, Nina Yevtushenko, Marius Bozga, Saddek Bensalem
2016	J	`jnl`	Heuristics for deriving distinguishing experiments of nondeterministic finite state machines. Appl. Soft Comput. Khaled El-Fakih, Abdul Rahim Haddad, Nassima Aleb, Nina Yevtushenko
2016	C	`conf`	Improving Protocol Passive Testing through "Gedanken" Experiments with Finite State Machines. QRS Natalia Kushik, Jorge López, Ana R. Cavalli, Nina Yevtushenko
2016	B	`conf`	On Source Code Optimization for Interpreted Languages using State Models. ENASE Jorge López, Natalia Kushik, Nina Yevtushenko
2016	J	`jnl`	On adaptive experiments for nondeterministic finite state machines. Int. J. Softw. Tools Technol. Transf. Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko, Ana R. Cavalli
2016	C	`conf`	On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications. ICTSS Nina Yevtushenko, Khaled El-Fakih, Anton Ermakov
2016	—	`conf`	Optimizing network utilization through source code state model representation. EWDTS Jorge López, Natalia Kushik, Ana R. Cavalli, Nina Yevtushenko
2016	—	`conf`	Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs. AMARETTO@MODELSWARD Natalia Kushik, Nina Yevtushenko, Hüsnü Yenigün
2016	Misc	`conf`	Some classes of finite state machines with polynomial length of distinguishing test cases. SAC Hüsnü Yenigün, Nina Yevtushenko, Natalia Kushik
2016	J	`jnl`	Test Translation for Embedded Finite State Machine Components. Comput. J. Khaled El-Fakih, Nina Yevtushenko
2016	—	`conf`	Testing components of interacting timed finite state machines. EWDTS Maxim Gromov, Aleksandr S. Tvardovskii, Nina Yevtushenko
2016	—	`conf`	Testing logic circuits at different abstraction levels: An experimental evaluation. EWDTS Sergey A. Smolov, Jorge López, Natalia Kushik, Nina Yevtushenko, Mikhail M. Chupilko, Alexander S. Kamkin
2015	—	`conf`	Adaptive Homing is in P. MBT Natalia Kushik, Nina Yevtushenko
2015	—	`conf`	Automated Synthesis of Protocol Converters with BALM-II. SEFM Workshops Giovanni Castagnetti, Matteo Piccolo, Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko
2015	J	`jnl`	Component-Based Design by Solving Language Equations. Proc. IEEE Tiziano Villa, Alexandre Petrenko, Nina Yevtushenko, Alan Mishchenko, Robert K. Brayton
2015	—	`conf`	Decreasing the length of adaptive distinguishing experiments for nondeterministic merging-free finite state machines. EWDTS Nina Yevtushenko, Natalia Kushik
2015	J	`jnl`	Deriving Compositionally Deadlock-Free Components over Synchronous Automata Compositions. Comput. J. Nina Yevtushenko, Khaled El-Fakih, Tiziano Villa, Jie-Hong R. Jiang
2015	C	`conf`	Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata. CIAA Natalia Kushik, Nina Yevtushenko
2015	—	`conf`	On using ABC for deriving distinguishing sequences for Verilog-descriptions. EWDTS Natalia Kushik, Nina Yevtushenko, Stanislav N. Torgaev, Nikita Shatilov
2015	A	`conf`	QoE Evaluation Based on QoS and QoBiz Parameters Applied to an OTT Service. ICWS Diego Rivera, Natalia Kushik, Camila Fuenzalida, Ana R. Cavalli, Nina Yevtushenko
2015	—	`conf`	Scalable QoE Prediction for Service Composition. ESaaSA@CLOSER Natalia Kushik, Nina Yevtushenko
2015	C	`ed.`	Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings ICTSS Khaled El-Fakih, Gerassimos D. Barlas, Nina Yevtushenko
2014	J	`jnl`	A practical approach for testing timed deterministic finite state machines with single clock. Sci. Comput. Program. Khaled El-Fakih, Nina Yevtushenko, Adenilso Simão
2014	—	`conf`	Adaptive Testing of Nondeterministic Systems with FSM. HASE Alexandre Petrenko, Nina Yevtushenko
2014	—	`conf`	Deriving complete finite tests based on state machines. EWDTS Igor B. Burdonov, Alexander S. Kossatchev, Nina Yevtushenko
2014	—	`conf`	Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power. GandALF Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko
2014	—	`conf`	Evaluating Web Service QoE by Learning Logic Networks. WEBIST (1) Natalia Kushik, Nina Yevtushenko, Ana R. Cavalli, Wissam Mallouli, Jeevan Pokhrel
2014	C	`conf`	On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment. ICTSS Khaled El-Fakih, Tariq Salameh, Nina Yevtushenko
2014	Misc	`conf`	On Testing against Partial Non-observable Specifications. QUATIC Natalia Kushik, Nina Yevtushenko, Ana R. Cavalli
2014	J	`jnl`	QoE Prediction for Multimedia Services: Comparing Fuzzy and Logic Network Approaches. Int. J. Organ. Collect. Intell. Natalia Kushik, Jeevan Pokhrel, Nina Yevtushenko, Ana R. Cavalli, Wissam Mallouli
2013	C	`conf`	Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines. ICTSS Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko
2013	J	`jnl`	Distinguishing Experiments for Timed Nondeterministic Finite State Machines. Acta Cybern. Khaled El-Fakih, Maxim Gromov, Natalia Shabaldina, Nina Yevtushenko
2013	A	`conf`	Evaluating Quality of Web Services: A Short Survey. ICWS Olga Kondratyeva, Natalia Kushik, Ana R. Cavalli, Nina Yevtushenko
2013	—	`conf`	Evaluating Web Service Quality Using Finite State Models. QSIC Olga Kondratyeva, Natalia Kushik, Ana R. Cavalli, Nina Yevtushenko
2013	C	`conf`	On the Length of Homing Sequences for Nondeterministic Finite State Machines. CIAA Natalia Kushik, Nina Yevtushenko
2012	J	`jnl`	A SPIN-based approach for detecting vulnerabilities in C programs. Autom. Control. Comput. Sci. Natalia Kushik, Amel Mammar, Ana R. Cavalli, Nina Yevtushenko, Willy Jimenez, Edgardo Montes de Oca
2012	J	`jnl`	FSM-based testing from user defined faults adapted to incremental and mutation testing. Program. Comput. Softw. Khaled El-Fakih, Rita Dorofeeva, Nina Yevtushenko, Gregor von Bochmann
2012	A	`conf`	Generating Checking Sequences for Nondeterministic Finite State Machines. ICST Alexandre Petrenko, Adenilso da Silva Simão, Nina Yevtushenko
2012	J	`jnl`	On reducing test length for FSMs with extra states. Softw. Test. Verification Reliab. Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko
2012	J	`jnl`	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. Iksoon Hwang, Nina Yevtushenko, Ana R. Cavalli
2011	C	`conf`	Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs. ICTSS Alexandre Petrenko, Nina Yevtushenko
2011	—	`conf`	FSM-Based Test Derivation Strategies for Systems with Time-Outs. QSIC Maxim Zhigulin, Nina Yevtushenko, Stéphane Maag, Ana R. Cavalli
2011	C	`conf`	Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines. CIAA Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko
2010	—	`conf`	Deriving Exhaustive Test Suits for Nondeterministic FSMs w.r.t. Non-separability Relation. ICST Workshops E. Akenshina, Natalia Shabaldina, Nina Yevtushenko
2010	J	`jnl`	FSM-based conformance testing methods: A survey annotated with experimental evaluation. Inf. Softw. Technol. Rita Dorofeeva, Khaled El-Fakih, Stéphane Maag, Ana R. Cavalli, Nina Yevtushenko
2010	J	`jnl`	Synthesis of distinguishing test cases for timed finite state machines. Program. Comput. Softw. Maxim Gromov, Nina Yevtushenko
2009	J	`jnl`	Discussion on Supervisory Control by Solving Automata Equation CoRR Victor Bushkov, Nina Yevtushenko, Tiziano Villa
2009	—	`conf`	Distinguing Non-deterministic Timed Finite State Machines. FMOODS/FORTE Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko
2009	—	`conf`	Generating Reduced Tests for FSMs with Extra States. TestCom/FATES Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko
2009	—	`conf`	Testing Timed Finite State Machines with Guaranteed Fault Coverage. TestCom/FATES Khaled El-Fakih, Nina Yevtushenko, Hacène Fouchal
2008	J	`jnl`	Compositionally Progressive Solutions of Synchronous FSM Equations. Discret. Event Dyn. Syst. Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
2008	A	`conf`	Extended Finite State Machine Based Test Derivation Driven by User Defined Faults. ICST Khaled El-Fakih, Anton Kolomeez, Svetlana Prokopenko, Nina Yevtushenko
2008	C	`conf`	Progressive Solutions to FSM Equations. CIAA Khaled El-Fakih, Nina Yevtushenko
2007	—	`conf`	A new algorithm for the largest compositionally progressive solution of synchronous language equations. ACM Great Lakes Symposium on VLSI Tiziano Villa, Svetlana Zharikova, Nina Yevtushenko, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
2007	J	`jnl`	Efficient Solution of Language Equations Using Partitioned Representations CoRR Alan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Tiziano Villa, Nina Yevtushenko
2007	J	`jnl`	Studying the separability relation between finite state machines. Softw. Test. Verification Reliab. Natalia Spitsyna, Khaled El-Fakih, Nina Yevtushenko
2007	—	`conf`	Testing Nondeterministic Finite State Machines with Respect to the Separability Relation. TestCom/FATES Natalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko
2006	—	`conf`	FSM Test Translation Through Context. TestCom Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko
2006	J	`jnl`	Progressive solutions to a parallel automata equation. Theor. Comput. Sci. Khaled El-Fakih, Nina Yevtushenko, Sergey Buffalov, Gregor von Bochmann
2005	C	`conf`	An Improved Conformance Testing Method. FORTE Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko
2005	—	`conf`	Conformance Tests as Checking Experiments for Partial Nondeterministic FSM. FATES Alexandre Petrenko, Nina Yevtushenko
2005	A	`conf`	Efficient Solution of Language Equations Using Partitioned Representations. DATE Alan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Tiziano Villa, Nina Yevtushenko
2005	B	`conf`	Experimental Evaluation of FSM-Based Testing Methods. SEFM Rita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih, Ana R. Cavalli
2005	J	`jnl`	Testing from Partial Deterministic FSM Specifications. IEEE Trans. Computers Alexandre Petrenko, Nina Yevtushenko
2004	—	`conf`	FSM Based Interoperability Testing Methods for Multi Stimuli Model. TestCom Khaled El-Fakih, Vadim Trenkaev, Natalia Spitsyna, Nina Yevtushenko
2004	J	`jnl`	FSM-Based Incremental Conformance Testing Methods. IEEE Trans. Software Eng. Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann
2004	C	`conf`	Fault Propagation by Equation Solving. FORTE Khaled El-Fakih, Nina Yevtushenko
2003	A	`conf`	Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. DATE Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
2003	—	`conf`	Fault Diagnosis in Extended Finite State Machines. TestCom Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtushenko, Gregor von Bochmann
2003	C	`conf`	Multi Component Digital Circuit Optimization by Solving FSM Equations. DSD Nina Yevtushenko, Svetlana Zharikova, Maria Vetrova
2003	C	`conf`	Progressive Solutions to a Parallel Automata Equation. FORTE Sergey Buffalov, Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann
2003	J	`jnl`	Test suite minimization for testing in context. Softw. Test. Verification Reliab. Ricardo Anido, Ana R. Cavalli, Luiz A. Paula Lima Jr., Nina Yevtushenko
2003	—	`conf`	Testing Transition Systems with Input and Output Testers. TestCom Alexandre Petrenko, Nina Yevtushenko, Jiale Huo
2002	—	`conf`	Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. IWLS Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
2002	—	`conf`	FSM-based Re-Testing Methods. TestCom Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann
2002	—	`conf`	Fault Detection within a Component of a System of Communicating FSMs. TestCom Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko
2001	C	`conf`	Diagnosing Multiple Faults in Communicating Finite State Machines. FORTE Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann
2001	A	`conf`	Solution of Parallel Language Equations for Logic Synthesis. ICCAD Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
2000	—	`conf`	Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs. TestCom Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko
2000	C	`conf`	On Test Derivation from Partial Specifications. FORTE Alexandre Petrenko, Nina Yevtushenko
1999	—	`conf`	Test Generation Driven by User-defined Fault Models. IWTCS I. Koufareva, Alexandre Petrenko, Nina Yevtushenko
1999	—	`conf`	Test Suite Minimization for Embedded Nondeterministic Finite State Machines. IWTCS Nina Yevtushenko, Ana R. Cavalli, Ricardo Anido
1998	C	`conf`	Solving Asynchronous Equations. FORTE Alexandre Petrenko, Nina Yevtushenko
1998	—	`conf`	Test Suite Minimization for Testing in Context. IWTCS Nina Yevtushenko, Ana R. Cavalli, Luiz A. Paula Lima Jr.
1998	—	`ed.`	Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31 - September 2, 1998, Tomsk, Russia IWTCS Alexandre Petrenko, Nina Yevtushenko
1997	—	`conf`	Design for testability of communication protocols based on SDL language. SDL Forum Kamel Karoui, Rachida Dssouli, Nina Yevtushenko
1996	C	`conf`	Fault Models for Testing in Context. FORTE Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann
1996	J	`jnl`	Testing in context: framework and test derivation. Comput. Commun. Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann, Rachida Dssouli
1993	—	`conf`	Nondeterministic State Machines in Protocol Conformance Testing. Protocol Test Systems Alexandre Petrenko, Nina Yevtushenko, Alexandre Lebedev, Anindya Das
1992	—	`conf`	Test Suite Generation from a FSM with a Given Type of Implementation Errors. PSTV Alexandre Petrenko, Nina Yevtushenko