default search action
Nina Yevtushenko 0001
Person information
- affiliation: Russian Academy of Sciences, Ivannikov Institute for System Programming, Moscow, Russia
- affiliation: National Research University Higher School of Economics, Moscow, Russia
- affiliation: Tomsk State University, Russia
SPARQL queries
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j43]Aleksandr S. Tvardovskii, Khaled El-Fakih, Nina Yevtushenko:
Testing and incremental conformance testing of timed state machines. Sci. Comput. Program. 233: 103053 (2024) - [c93]Evgenii M. Vinarskii, Natalia Kushik, Nina Yevtushenko, Jorge López, Djamal Zeghlache:
Races in Extended Input/Ouput Automata, Their Compositions and Related Reactive Systems. ENASE 2024: 727-734 - 2023
- [j42]Igor B. Burdonov, Nina V. Evtushenko, Alexander S. Kossachev, Natalia G. Kushik:
On Preset Homing and Synchronizing Sequences for Observable Input/Output Automata. Autom. Remote. Control. 84(6): 606-611 (2023) - [j41]Aleksandr S. Tvardovskii, Nina Yevtushenko:
Deriving homing sequences for Finite State Machines with timeouts. Comput. J. 66(9): 2181-2190 (2023) - [c92]Natalia Kushik, Nina Yevtushenko:
Studying Synchronization Issues for Extended Automata. ENASE 2023: 338-345 - [c91]Evgenii M. Vinarskii, Natalia Kushik, Nina Yevtushenko, Jorge López, Djamal Zeghlache:
Timed Transition Tour for Race Detection in Distributed Systems. ENASE 2023: 613-620 - [c90]Natalia Kushik, Nina Yevtushenko, Jorge López:
Probabilistic Approach for Minimizing Checking Sequences for Non-deterministic FSMs. ICTSS 2023: 237-243 - 2022
- [j40]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): 161-180 (2022) - [j39]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): 696-711 (2022) - [c89]Andrey Laputenko, Nina Yevtushenko, Valentina Andreeva, Anzhela Yu. Matrosova:
Deriving FSM-based tests using $a, b-\text{faults}$ for Logic Circuits. ISVLSI 2022: 80-85 - [c88]Aleksandr S. Tvardovskii, Nina Yevtushenko:
Adaptive Experiments for State Identification in Finite State Machines with Timeouts. MCU 2022: 172-188 - 2021
- [j38]Aleksandr S. Tvardovskii, Nina V. Evtushenko:
Deriving Homing Sequences for Finite State Machines with Timed Guards. Autom. Control. Comput. Sci. 55(7): 738-750 (2021) - [j37]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): 77-102 (2021) - [j36]Igor B. Bourdonov, Evgenii M. Vinarskii, Nina V. Evtushenko, Alexander S. Kossatchev:
Perfect Sets of Paths in the Full Graph of SDN Switches. Program. Comput. Softw. 47(7): 505-514 (2021) - [c87]Igor B. Burdonov, Alexandre S. Kossachev, Nina Yevtushenko, Jorge López, Natalia Kushik, Djamal Zeghlache:
Preventive Model-based Verification and Repairing for SDN Requests. ENASE 2021: 421-428 - [c86]Igor B. Burdonov, Nina Yevtushenko, Alexandre S. Kossachev:
Verifying Multiple Virtual Networks in Software Defined Networks. EWDTS 2021: 1-6 - [c85]Evgenii M. Vinarskii, Aleksandr S. Tvardovskii, Nina Yevtushenko:
Adaptive Homing Sequences for Partial Weakly-initialized Observable FSMs. EWDTS 2021: 1-5 - [c84]Natalia Kushik, Nina Yevtushenko, Jorge López:
Testing Against Non-deterministic FSMs: A Probabilistic Approach for Test Suite Minimization. ICTSS 2021: 55-61 - [i5]Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko:
Equivalence Checking and Intersection of Deterministic Timed Finite State Machines. CoRR abs/2103.04868 (2021) - 2020
- [j35]Natalia Kushik, Nina Yevtushenko, Tatiana G. Evtushenko:
Novel machine learning technique for predicting teaching strategy effectiveness. Int. J. Inf. Manag. 53: 101488 (2020) - [j34]Igor B. Burdonov, Nina Yevtushenko, Alexander S. Kossatchev:
Separating Input/Output Automata With Nondeterministic Behavior. Russ. Digit. Libr. J. 23(4): 634-655 (2020) - [c83]Igor B. Burdonov, Nina Yevtushenko, Alexandre S. Kossachev:
Implementing a Virtual Network on the SDN Data Plane. EWDTS 2020: 1-5 - [c82]Ekaterina Shirokova, Larisa Evtushenko, Andrey Laputenko, Nina Yevtushenko:
Optimizing Components of Multi-Module Systems Based on don't Care Input Sequences. EWDTS 2020: 1-5 - [c81]Evgenii M. Vinarskii, Nina Yevtushenko:
Evaluating Length of a Shortest Adaptive Homing Sequence for Weakly Initialized FSMs. EWDTS 2020: 1-5 - [c80]Nina Yevtushenko, Igor B. Burdonov, Alexandre S. Kossachev:
Deriving Distinguishing Sequences for Input/Output Automata. EWDTS 2020: 1-5 - [c79]Evgenii M. Vinarskii, Andrey Laputenko, Nina Yevtushenko:
Using an SMT Solver for Checking the Completeness of FSM-Based Tests. ICTSS 2020: 289-295
2010 – 2019
- 2019
- [j33]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): 757-768 (2019) - [j32]Hüsnü Yenigün, Nina Yevtushenko, Ana Rosa Cavalli:
Guest Editorial: Special issue on Testing Software and Systems. Softw. Qual. J. 27(2): 497-499 (2019) - [c78]Igor B. Burdonov, Alexandre S. Kossachev, Nina Yevtushenko, Alexey V. Demakov:
Evaluating the length of distinguishing sequences for nondeterministic Input/Output automata. EWDTS 2019: 1-5 - [c77]Evgenii M. Vinarskii, Aleksandr S. Tvardovskii, Larisa Evtushenko, Nina Yevtushenko:
Deriving adaptive homing sequences for weakly initialized nondeterministic FSMs. EWDTS 2019: 1-5 - [c76]Nina Yevtushenko, Victor V. Kuliamin, Natalia Kushik:
Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs. ICTSS 2019: 86-103 - [c75]Evgenii M. Vinarskii, Jorge López, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache:
A Model Checking Based Approach for Detecting SDN Races. ICTSS 2019: 194-211 - [c74]Igor B. Burdonov, Nina Yevtushenko, Alexander S. Kossachev:
Distinguishing Transition Systems With The Nondeterministic Behavior. SSI 2019: 116-125 - [i4]Igor B. Burdonov, Alexandre S. Kossachev, Nina Yevtushenko, Jorge López, Natalia Kushik, Djamal Zeghlache:
Verifying SDN Data Path Requests. CoRR abs/1906.03101 (2019) - 2018
- [j31]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): 589-595 (2018) - [j30]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): 319-332 (2018) - [j29]Jorge López, Natalia Kushik, Nina Yevtushenko:
Source code optimization using equivalent mutants. Inf. Softw. Technol. 103: 138-141 (2018) - [j28]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): 197-210 (2018) - [c73]Asma Berriri, Jorge López, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache:
Towards Model based Testing for Software Defined Networks. ENASE 2018: 440-446 - [c72]Nina Yevtushenko, Igor B. Burdonov, Alexandre S. Kossachev, Jorge López, Natalia Kushik, Djamal Zeghlache:
Test Derivation for the Software Defined Networking Platforms: Novel Fault Models and Test Completeness. EWDTS 2018: 1-6 - [c71]Jorge López, Andrey Laputenko, Natalia Kushik, Nina Yevtushenko, Stanislav N. Torgaev:
Scalable Supervised Machine Learning Apparatus for Computationally Constrained Devices. ICSOFT 2018: 552-562 - [c70]Jorge López, Natalia Kushik, Asma Berriri, Nina Yevtushenko, Djamal Zeghlache:
Test Derivation for SDN-Enabled Switches: A Logic Circuit Based Approach. ICTSS 2018: 69-84 - [c69]Aleksandr S. Tvardovskii, Khaled El-Fakih, Nina Yevtushenko:
Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts. ICTSS 2018: 149-154 - [i3]Jorge López, Natalia Kushik, Nina Yevtushenko:
Source Code Optimization using Equivalent Mutants. CoRR abs/1803.09571 (2018) - 2017
- [j27]Anton Ermakov, Nina Yevtushenko:
Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines. Autom. Control. Comput. Sci. 51(7): 516-522 (2017) - [j26]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): 724-730 (2017) - [j25]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: 49-53 (2017) - [c68]Jorge López, Natalia Kushik, Nina Yevtushenko:
Proactive Trust Assessment of Systems as Services. ENASE 2017: 271-276 - [c67]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: 1-4 - [c66]Jorge López, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache:
Analyzing and Validating Virtual Network Requests. ICSOFT 2017: 441-446 - [e3]Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün:
Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings. Lecture Notes in Computer Science 10533, Springer 2017, ISBN 978-3-319-67548-0 [contents] - 2016
- [j24]Khaled El-Fakih, Abdul Rahim Haddad, Nassima Aleb, Nina Yevtushenko:
Heuristics for deriving distinguishing experiments of nondeterministic finite state machines. Appl. Soft Comput. 49: 1175-1184 (2016) - [j23]Khaled El-Fakih, Nina Yevtushenko:
Test Translation for Embedded Finite State Machine Components. Comput. J. 59(12): 1805-1816 (2016) - [j22]Khaled El-Fakih, Nina Yevtushenko, Marius Bozga, Saddek Bensalem:
Distinguishing extended finite state machine configurations using predicate abstraction. J. Softw. Eng. Res. Dev. 4: 1 (2016) - [j21]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): 251-264 (2016) - [c65]Jorge López, Natalia Kushik, Nina Yevtushenko:
On Source Code Optimization for Interpreted Languages using State Models. ENASE 2016: 282-287 - [c64]Maxim Gromov, Aleksandr S. Tvardovskii, Nina Yevtushenko:
Testing components of interacting timed finite state machines. EWDTS 2016: 1-4 - [c63]Jorge López, Natalia Kushik, Ana R. Cavalli, Nina Yevtushenko:
Optimizing network utilization through source code state model representation. EWDTS 2016: 1-4 - [c62]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: 1-4 - [c61]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: 83-90 - [c60]Nina Yevtushenko, Khaled El-Fakih, Anton Ermakov:
On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications. ICTSS 2016: 139-152 - [c59]Natalia Kushik, Jorge López, Ana R. Cavalli, Nina Yevtushenko:
Improving Protocol Passive Testing through "Gedanken" Experiments with Finite State Machines. QRS 2016: 315-322 - [c58]Hüsnü Yenigün, Nina Yevtushenko, Natalia Kushik:
Some classes of finite state machines with polynomial length of distinguishing test cases. SAC 2016: 1680-1685 - 2015
- [j20]Nina Yevtushenko, Khaled El-Fakih, Tiziano Villa, Jie-Hong R. Jiang:
Deriving Compositionally Deadlock-Free Components over Synchronous Automata Compositions. Comput. J. 58(11): 2793-2803 (2015) - [j19]Tiziano Villa, Alexandre Petrenko, Nina Yevtushenko, Alan Mishchenko, Robert K. Brayton:
Component-Based Design by Solving Language Equations. Proc. IEEE 103(11): 2152-2167 (2015) - [c57]Natalia Kushik, Nina Yevtushenko:
Scalable QoE Prediction for Service Composition. ESaaSA@CLOSER 2015: 16-26 - [c56]Natalia Kushik, Nina Yevtushenko, Stanislav N. Torgaev, Nikita Shatilov:
On using ABC for deriving distinguishing sequences for Verilog-descriptions. EWDTS 2015: 1-4 - [c55]Nina Yevtushenko, Natalia Kushik:
Decreasing the length of adaptive distinguishing experiments for nondeterministic merging-free finite state machines. EWDTS 2015: 1-4 - [c54]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: 607-614 - [c53]Giovanni Castagnetti, Matteo Piccolo, Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko:
Automated Synthesis of Protocol Converters with BALM-II. SEFM Workshops 2015: 281-296 - [c52]Natalia Kushik, Nina Yevtushenko:
Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata. CIAA 2015: 188-198 - [c51]Natalia Kushik, Nina Yevtushenko:
Adaptive Homing is in P. MBT 2015: 73-78 - [e2]Khaled El-Fakih, Gerassimos D. Barlas, Nina Yevtushenko:
Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings. Lecture Notes in Computer Science 9447, Springer 2015, ISBN 978-3-319-25944-4 [contents] - 2014
- [j18]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): 44-64 (2014) - [j17]Natalia G. Kushik, Victor V. Kulyamin, Nina V. Evtushenko:
On the complexity of existence of homing sequences for nondeterministic finite state machines. Program. Comput. Softw. 40(6): 333-336 (2014) - [j16]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: 343-355 (2014) - [c50]Igor B. Burdonov, Alexander S. Kossatchev, Nina Yevtushenko:
Deriving complete finite tests based on state machines. EWDTS 2014: 1-4 - [c49]Alexandre Petrenko, Nina Yevtushenko:
Adaptive Testing of Nondeterministic Systems with FSM. HASE 2014: 224-228 - [c48]Khaled El-Fakih, Tariq Salameh, Nina Yevtushenko:
On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment. ICTSS 2014: 198-204 - [c47]Natalia Kushik, Nina Yevtushenko, Ana R. Cavalli:
On Testing against Partial Non-observable Specifications. QUATIC 2014: 230-233 - [c46]Natalia Kushik, Nina Yevtushenko, Ana R. Cavalli, Wissam Mallouli, Jeevan Pokhrel:
Evaluating Web Service QoE by Learning Logic Networks. WEBIST (1) 2014: 168-176 - [c45]Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko:
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power. GandALF 2014: 203-216 - 2013
- [j15]Khaled El-Fakih, Maxim Gromov, Natalia Shabaldina, Nina Yevtushenko:
Distinguishing Experiments for Timed Nondeterministic Finite State Machines. Acta Cybern. 21(2): 205-222 (2013) - [c44]Olga Kondratyeva, Natalia Kushik, Ana R. Cavalli, Nina Yevtushenko:
Evaluating Quality of Web Services: A Short Survey. ICWS 2013: 587-594 - [c43]Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko:
Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines. ICTSS 2013: 33-48 - [c42]Olga Kondratyeva, Natalia Kushik, Ana R. Cavalli, Nina Yevtushenko:
Evaluating Web Service Quality Using Finite State Models. QSIC 2013: 95-102 - [c41]Natalia Kushik, Nina Yevtushenko:
On the Length of Homing Sequences for Nondeterministic Finite State Machines. CIAA 2013: 220-231 - 2012
- [j14]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): 379-386 (2012) - [j13]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) - [j12]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): 201-209 (2012) - [j11]Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko:
On reducing test length for FSMs with extra states. Softw. Test. Verification Reliab. 22(6): 435-454 (2012) - [c40]Alexandre Petrenko, Adenilso da Silva Simão, Nina Yevtushenko:
Generating Checking Sequences for Nondeterministic Finite State Machines. ICST 2012: 310-319 - 2011
- [c39]Alexandre Petrenko, Nina Yevtushenko:
Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs. ICTSS 2011: 162-178 - [c38]Maxim Zhigulin, Nina Yevtushenko, Stéphane Maag, Ana R. Cavalli:
FSM-Based Test Derivation Strategies for Systems with Time-Outs. QSIC 2011: 141-149 - [c37]Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko:
Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines. CIAA 2011: 215-224 - 2010
- [j10]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): 1286-1297 (2010) - [j9]Maxim Gromov, Nina Yevtushenko:
Synthesis of distinguishing test cases for timed finite state machines. Program. Comput. Softw. 36(4): 216-224 (2010) - [c36]E. Akenshina, Natalia Shabaldina, Nina Yevtushenko:
Deriving Exhaustive Test Suits for Nondeterministic FSMs w.r.t. Non-separability Relation. ICST Workshops 2010: 46-53
2000 – 2009
- 2009
- [c35]Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko:
Distinguing Non-deterministic Timed Finite State Machines. FMOODS/FORTE 2009: 137-151 - [c34]Khaled El-Fakih, Nina Yevtushenko, Hacène Fouchal:
Testing Timed Finite State Machines with Guaranteed Fault Coverage. TestCom/FATES 2009: 66-80 - [c33]Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko:
Generating Reduced Tests for FSMs with Extra States. TestCom/FATES 2009: 129-145 - [i2]Victor Bushkov, Nina Yevtushenko, Tiziano Villa:
Discussion on Supervisory Control by Solving Automata Equation. CoRR abs/0912.0970 (2009) - 2008
- [j8]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): 51-89 (2008) - [j7]Maxim L. Gromov, Nina V. Evtushenko, Anton V. Kolomeets:
On the synthesis of adaptive tests for nondeterministic finite state machines. Program. Comput. Softw. 34(6): 322-329 (2008) - [c32]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 - [c31]Khaled El-Fakih, Nina Yevtushenko:
Progressive Solutions to FSM Equations. CIAA 2008: 274-282 - 2007
- [j6]Natalia Spitsyna, Khaled El-Fakih, Nina Yevtushenko:
Studying the separability relation between finite state machines. Softw. Test. Verification Reliab. 17(4): 227-241 (2007) - [c30]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 - [c29]Natalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko:
Testing Nondeterministic Finite State Machines with Respect to the Separability Relation. TestCom/FATES 2007: 305-318 - [i1]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) - 2006
- [j5]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) - [c28]Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko:
FSM Test Translation Through Context. TestCom 2006: 245-258 - 2005
- [j4]Alexandre Petrenko, Nina Yevtushenko:
Testing from Partial Deterministic FSM Specifications. IEEE Trans. Computers 54(9): 1154-1165 (2005) - [c27]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 - [c26]Alexandre Petrenko, Nina Yevtushenko:
Conformance Tests as Checking Experiments for Partial Nondeterministic FSM. FATES 2005: 118-133 - [c25]Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko:
An Improved Conformance Testing Method. FORTE 2005: 204-218 - [c24]Rita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih, Ana R. Cavalli:
Experimental Evaluation of FSM-Based Testing Methods. SEFM 2005: 23-32 - 2004
- [j3]Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann:
FSM-Based Incremental Conformance Testing Methods. IEEE Trans. Software Eng. 30(7): 425-436 (2004) - [c23]Khaled El-Fakih, Nina Yevtushenko:
Fault Propagation by Equation Solving. FORTE 2004: 185-198 - [c22]Khaled El-Fakih, Vadim Trenkaev, Natalia Spitsyna, Nina Yevtushenko:
FSM Based Interoperability Testing Methods for Multi Stimuli Model. TestCom 2004: 60-75 - 2003
- [j2]Ricardo Anido, Ana R. Cavalli, Luiz A. Paula Lima Jr., Nina Yevtushenko:
Test suite minimization for testing in context. Softw. Test. Verification Reliab. 13(3): 141-155 (2003) - [c21]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 - [c20]Nina Yevtushenko, Svetlana Zharikova, Maria Vetrova:
Multi Component Digital Circuit Optimization by Solving FSM Equations. DSD 2003: 62-69 - [c19]Sergey Buffalov, Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann:
Progressive Solutions to a Parallel Automata Equation. FORTE 2003: 367-382 - [c18]Alexandre Petrenko, Nina Yevtushenko, Jiale Huo:
Testing Transition Systems with Input and Output Testers. TestCom 2003: 129-145 - [c17]Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtushenko, Gregor von Bochmann:
Fault Diagnosis in Extended Finite State Machines. TestCom 2003: 197-210 - 2002
- [c16]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 - [c15]Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko:
Fault Detection within a Component of a System of Communicating FSMs. TestCom 2002: 317- - [c14]Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann:
FSM-based Re-Testing Methods. TestCom 2002: 373-390 - 2001
- [c13]Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann:
Diagnosing Multiple Faults in Communicating Finite State Machines. FORTE 2001: 85-100 - [c12]Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli:
Solution of Parallel Language Equations for Logic Synthesis. ICCAD 2001: 103- - 2000
- [c11]Alexandre Petrenko, Nina Yevtushenko:
On Test Derivation from Partial Specifications. FORTE 2000: 85-102 - [c10]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-
1990 – 1999
- 1999
- [c9]I. Koufareva, Alexandre Petrenko, Nina Yevtushenko:
Test Generation Driven by User-defined Fault Models. IWTCS 1999: 215-236 - [c8]Nina Yevtushenko, Ana R. Cavalli, Ricardo Anido:
Test Suite Minimization for Embedded Nondeterministic Finite State Machines. IWTCS 1999: 237-250 - 1998
- [c7]Alexandre Petrenko, Nina Yevtushenko:
Solving Asynchronous Equations. FORTE 1998: 231-247 - [c6]Nina Yevtushenko, Ana R. Cavalli, Luiz A. Paula Lima Jr.:
Test Suite Minimization for Testing in Context. IWTCS 1998: 127-146 - [e1]Alexandre Petrenko, Nina Yevtushenko:
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 [contents] - 1997
- [c5]Kamel Karoui, Rachida Dssouli, Nina Yevtushenko:
Design for testability of communication protocols based on SDL language. SDL Forum 1997: 151- - 1996
- [j1]Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann, Rachida Dssouli:
Testing in context: framework and test derivation. Comput. Commun. 19(14): 1236-1249 (1996) - [c4]Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann:
Fault Models for Testing in Context. FORTE 1996: 163-178 - 1993
- [c3]Alexandre Petrenko, Nina Yevtushenko, Alexandre Lebedev, Anindya Das:
Nondeterministic State Machines in Protocol Conformance Testing. Protocol Test Systems 1993: 363-378 - 1992
- [c2]Alexandre Petrenko, Nina Yevtushenko:
Test Suite Generation from a FSM with a Given Type of Implementation Errors. PSTV 1992: 229-243
1980 – 1989
- 1987
- [c1]Nina V. Evtushenko:
Conditions for Existence of Nontrivial Parallel Decompositions of Sequential Machines. FCT 1987: 123-126
Coauthor Index
aka: Igor B. Burdonov
aka: Ana Rosa Cavalli
aka: Alexander S. Kossachev
aka: Natalia G. Kushik
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint