Nina Yevtushenko

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. Automatic Control and Computer Sciences 46(7): 379-386 (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): 298-301 (2012)

Khaled El-Fakih, Rita Dorofeeva, Nina Yevtushenko, Gregor von Bochmann: FSM-based testing from user defined faults adapted to incremental and mutation testing. Programming and Computer Software 38(4): 201-209 (2012)

Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko: On reducing test length for FSMs with extra states. Softw. Test., Verif. Reliab. 22(6): 435-454 (2012)

Alexandre Petrenko, Adenilso da Silva Simão, Nina Yevtushenko: Generating Checking Sequences for Nondeterministic Finite State Machines. ICST 2012: 310-319

Alexandre Petrenko, Nina Yevtushenko: Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs. ICTSS 2011: 162-178

Maxim Zhigulin, Nina Yevtushenko, Stéphane Maag, Ana R. Cavalli: FSM-Based Test Derivation Strategies for Systems with Time-Outs. QSIC 2011: 141-149

Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko: Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines. CIAA 2011: 215-224

Rita Dorofeeva, Khaled El-Fakih, Stéphane Maag, Ana R. Cavalli, Nina Yevtushenko: FSM-based conformance testing methods: A survey annotated with experimental evaluation. Information & Software Technology 52(12): 1286-1297 (2010)

Maxim Gromov, Nina Yevtushenko: Synthesis of distinguishing test cases for timed finite state machines. Programming and Computer Software 36(4): 216-224 (2010)

E. Akenshina, Natalia Shabaldina, Nina Yevtushenko: Deriving Exhaustive Test Suits for Nondeterministic FSMs w.r.t. Non-separability Relation. ICST Workshops 2010: 46-53

Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko: Distinguing Non-deterministic Timed Finite State Machines. FMOODS/FORTE 2009: 137-151

Khaled El-Fakih, Nina Yevtushenko, Hacène Fouchal: Testing Timed Finite State Machines with Guaranteed Fault Coverage. TestCom/FATES 2009: 66-80

Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko: Generating Reduced Tests for FSMs with Extra States. TestCom/FATES 2009: 129-145

Victor Bushkov, Nina Yevtushenko, Tiziano Villa: Discussion on Supervisory Control by Solving Automata Equation. CoRR abs/0912.0970 (2009)

Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli: Compositionally Progressive Solutions of Synchronous FSM Equations. Discrete Event Dynamic Systems 18(1): 51-89 (2008)

Khaled El-Fakih, Anton Kolomeez, Svetlana Prokopenko, Nina Yevtushenko: Extended Finite State Machine Based Test Derivation Driven by User Defined Faults. ICST 2008: 308-317

Khaled El-Fakih, Nina Yevtushenko: Progressive Solutions to FSM Equations. CIAA 2008: 274-282

Natalia Spitsyna, Khaled El-Fakih, Nina Yevtushenko: Studying the separability relation between finite state machines. Softw. Test., Verif. Reliab. 17(4): 227-241 (2007)

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

Natalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko: Testing Nondeterministic Finite State Machines with Respect to the Separability Relation. TestCom/FATES 2007: 305-318

Alan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Tiziano Villa, Nina Yevtushenko: Efficient Solution of Language Equations Using Partitioned Representations. CoRR abs/0710.4743 (2007)

Khaled El-Fakih, Nina Yevtushenko, Sergey Buffalov, Gregor von Bochmann: Progressive solutions to a parallel automata equation. Theor. Comput. Sci. 362(1-3): 17-32 (2006)

Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko: FSM Test Translation Through Context. TestCom 2006: 245-258

Alexandre Petrenko, Nina Yevtushenko: Testing from Partial Deterministic FSM Specifications. IEEE Trans. Computers 54(9): 1154-1165 (2005)

Alan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Tiziano Villa, Nina Yevtushenko: Efficient Solution of Language Equations Using Partitioned Representations. DATE 2005: 418-423

Alexandre Petrenko, Nina Yevtushenko: Conformance Tests as Checking Experiments for Partial Nondeterministic FSM. FATES 2005: 118-133

Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko: An Improved Conformance Testing Method. FORTE 2005: 204-218

Rita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih, Ana R. Cavalli: Experimental Evaluation of FSM-Based Testing Methods. SEFM 2005: 23-32

Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann: FSM-Based Incremental Conformance Testing Methods. IEEE Trans. Software Eng. 30(7): 425-436 (2004)

Khaled El-Fakih, Nina Yevtushenko: Fault Propagation by Equation Solving. FORTE 2004: 185-198

Khaled El-Fakih, Vadim Trenkaev, Natalia Spitsyna, Nina Yevtushenko: FSM Based Interoperability Testing Methods for Multi Stimuli Model. TestCom 2004: 60-75

Ricardo Anido, Ana R. Cavalli, Luiz A. Paula Lima Jr., Nina Yevtushenko: Test suite minimization for testing in context. Softw. Test., Verif. Reliab. 13(3): 141-155 (2003)

Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli: Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. DATE 2003: 11154-11155

Nina Yevtushenko, Svetlana Zharikova, Maria Vetrova: Multi Component Digital Circuit Optimization by Solving FSM Equations. DSD 2003: 62-69

Sergey Buffalov, Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann: Progressive Solutions to a Parallel Automata Equation. FORTE 2003: 367-382

Alexandre Petrenko, Nina Yevtushenko, Jiale Huo: Testing Transition Systems with Input and Output Testers. TestCom 2003: 129-145

Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtushenko, Gregor von Bochmann: Fault Diagnosis in Extended Finite State Machines. TestCom 2003: 197-210

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

Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko: Fault Detection within a Component of a System of Communicating FSMs. TestCom 2002: 317-

Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann: FSM-based Re-Testing Methods. TestCom 2002: 373-390

Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann: Diagnosing Multiple Faults in Communicating Finite State Machines. FORTE 2001: 85-100

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

Alexandre Petrenko, Nina Yevtushenko: On Test Derivation from Partial Specifications. FORTE 2000: 85-102

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

I. Koufareva, Alexandre Petrenko, Nina Yevtushenko: Test Generation Driven by User-defined Fault Models. IWTCS 1999: 215-236

Nina Yevtushenko, Ana R. Cavalli, Ricardo Anido: Test Suite Minimization for Embedded Nondeterministic Finite State Machines. IWTCS 1999: 237-250

Alexandre Petrenko, Nina Yevtushenko: Solving Asynchronous Equations. FORTE 1998: 231-247

Nina Yevtushenko, Ana R. Cavalli, Luiz A. Paula Lima Jr.: Test Suite Minimization for Testing in Context. IWTCS 1998: 127-146

Alexandre Petrenko, Nina Yevtushenko (Eds.): Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31 - September 2, 1998, Tomsk, Russia. IFIP Conference Proceedings 131, Kluwer 1998, isbn 0-412-84430-3

Kamel Karoui, Rachida Dssouli, Nina Yevtushenko: Design for testability of communication protocols based on SDL language. SDL Forum 1997: 151-

Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann, Rachida Dssouli: Testing in context: framework and test derivation. Computer Communications 19(14): 1236-1249 (1996)

Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann: Fault Models for Testing in Context. FORTE 1996: 163-178

Alexandre Petrenko, Nina Yevtushenko, Alexandre Lebedev, Anindya Das: Nondeterministic State Machines in Protocol Conformance Testing. Protocol Test Systems 1993: 363-378

Alexandre Petrenko, Nina Yevtushenko: Test Suite Generation from a FSM with a Given Type of Implementation Errors. PSTV 1992: 229-243