default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNina Yevtushenko 0001
Nina V. Evtushenko
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
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j44]Khaled El-Fakih, Faiz Hassan, Ayman Alzaatreh, Nina Yevtushenko:
Assessing the coverage of W-based conformance testing methods over code faults. Sci. Comput. Program. 241: 103234 (2025)- 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)