Nina Yevtushenko
Orcid: 0000-0002-4006-1161Affiliations:
- Russian Academy of Sciences, Ivannikov Institute for System Programming, Moscow, Russia
- National Research University Higher School of Economics, Moscow, Russia
- Tomsk State University, Russia
According to our database1,
Nina Yevtushenko
authored at least 137 papers
between 1987 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
1990
1995
2000
2005
2010
2015
2020
2025
0
5
10
1
1
2
2
3
2
3
4
3
4
2
3
1
4
2
1
2
1
1
1
1
1
1
1
3
2
4
5
5
5
3
8
7
6
4
1
3
1
3
2
2
1
4
2
3
3
2
2
2
2
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
Sci. Comput. Program., 2025
2024
Sci. Comput. Program., 2024
Races in Extended Input/Ouput Automata, Their Compositions and Related Reactive Systems.
Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, 2024
2023
Comput. J., September, 2023
Autom. Remote. Control., June, 2023
Proceedings of the Testing Software and Systems, 2023
Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023
Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023
2022
IEEE Trans. Computers, 2022
Evaluating the complexity of deriving adaptive S'-homing and S'-synchronizing sequences for nondeterministic FSMs.
Softw. Qual. J., 2022
Adaptive Experiments for State Identification in Finite State Machines with Timeouts.
Proceedings of the Machines, Computations, and Universality - 9th International Conference, 2022
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2022
2021
Program. Comput. Softw., 2021
Formal Methods Syst. Des., 2021
Autom. Control. Comput. Sci., 2021
Testing Against Non-deterministic FSMs: A Probabilistic Approach for Test Suite Minimization.
Proceedings of the Testing Software and Systems, 2021
Proceedings of the IEEE East-West Design & Test Symposium, 2021
Proceedings of the IEEE East-West Design & Test Symposium, 2021
Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, 2021
2020
Russ. Digit. Libr. J., 2020
Int. J. Inf. Manag., 2020
Proceedings of the Testing Software and Systems, 2020
Proceedings of the IEEE East-West Design & Test Symposium, 2020
Evaluating Length of a Shortest Adaptive Homing Sequence for Weakly Initialized FSMs.
Proceedings of the IEEE East-West Design & Test Symposium, 2020
Proceedings of the IEEE East-West Design & Test Symposium, 2020
Proceedings of the IEEE East-West Design & Test Symposium, 2020
2019
Softw. Qual. J., 2019
Incremental and Heuristic Approaches for Deriving Adaptive Distinguishing Test Cases for Non-deterministic Finite-State Machines.
Comput. J., 2019
Proceedings of the 21st Conference on Scientific Services & Internet (SSI-2019), 2019
Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs.
Proceedings of the Testing Software and Systems, 2019
Proceedings of the Testing Software and Systems, 2019
Proceedings of the 2019 IEEE East-West Design & Test Symposium, 2019
Evaluating the length of distinguishing sequences for nondeterministic Input/Output automata.
Proceedings of the 2019 IEEE East-West Design & Test Symposium, 2019
2018
Parallel algorithms for reducing derivation time of distinguishing experiments for nondeterministic finite state machines.
Int. J. Parallel Emergent Distributed Syst., 2018
Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation.
Formal Aspects Comput., 2018
Autom. Control. Comput. Sci., 2018
Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts.
Proceedings of the Testing Software and Systems, 2018
Proceedings of the Testing Software and Systems, 2018
Scalable Supervised Machine Learning Apparatus for Computationally Constrained Devices.
Proceedings of the 13th International Conference on Software Technologies, 2018
Test Derivation for the Software Defined Networking Platforms: Novel Fault Models and Test Completeness.
Proceedings of the 2018 IEEE East-West Design & Test Symposium, 2018
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018
2017
The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs.
Inf. Process. Lett., 2017
Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage.
Autom. Control. Comput. Sci., 2017
Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines.
Autom. Control. Comput. Sci., 2017
Proceedings of the 12th International Conference on Software Technologies, 2017
Decreasing the complexity of deriving test suites against nondeterministic finite state machines.
Proceedings of the 2017 IEEE East-West Design & Test Symposium, 2017
Proceedings of the ENASE 2017, 2017
2016
Int. J. Softw. Tools Technol. Transf., 2016
Distinguishing extended finite state machine configurations using predicate abstraction.
J. Softw. Eng. Res. Dev., 2016
Heuristics for deriving distinguishing experiments of nondeterministic finite state machines.
Appl. Soft Comput., 2016
Some classes of finite state machines with polynomial length of distinguishing test cases.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016
Improving Protocol Passive Testing through "Gedanken" Experiments with Finite State Machines.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016
On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications.
Proceedings of the Testing Software and Systems, 2016
Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs.
Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn, 2016
Proceedings of the 2016 IEEE East-West Design & Test Symposium, 2016
Proceedings of the 2016 IEEE East-West Design & Test Symposium, 2016
Proceedings of the 2016 IEEE East-West Design & Test Symposium, 2016
Proceedings of the ENASE 2016, 2016
2015
Proceedings of the Proceedings Tenth Workshop on Model Based Testing, 2015
Deriving Compositionally Deadlock-Free Components over Synchronous Automata Compositions.
Comput. J., 2015
Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata.
Proceedings of the Implementation and Application of Automata, 2015
Proceedings of the Software Engineering and Formal Methods, 2015
Proceedings of the 2015 IEEE International Conference on Web Services, 2015
Decreasing the length of adaptive distinguishing experiments for nondeterministic merging-free finite state machines.
Proceedings of the 2015 IEEE East-West Design & Test Symposium, 2015
Proceedings of the 2015 IEEE East-West Design & Test Symposium, 2015
Proceedings of the ESaaSA 2015, 2015
2014
A practical approach for testing timed deterministic finite state machines with single clock.
Sci. Comput. Program., 2014
On the complexity of existence of homing sequences for nondeterministic finite state machines.
Program. Comput. Softw., 2014
QoE Prediction for Multimedia Services: Comparing Fuzzy and Logic Network Approaches.
Int. J. Organ. Collect. Intell., 2014
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power.
Proceedings of the Proceedings Fifth International Symposium on Games, 2014
Proceedings of the WEBIST 2014, 2014
Proceedings of the 9th International Conference on the Quality of Information and Communications Technology, 2014
Proceedings of the Testing Software and Systems, 2014
Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014
Proceedings of the 2014 East-West Design & Test Symposium, 2014
2013
Acta Cybern., 2013
Proceedings of the Implementation and Application of Automata, 2013
Proceedings of the 2013 13th International Conference on Quality Software, 2013
Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines.
Proceedings of the Testing Software and Systems, 2013
Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013
2012
Softw. Test. Verification Reliab., 2012
FSM-based testing from user defined faults adapted to incremental and mutation testing.
Program. Comput. Softw., 2012
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., 2012
Autom. Control. Comput. Sci., 2012
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
2011
Proceedings of the Implementation and Application of Automata, 2011
Proceedings of the 11th International Conference on Quality Software, 2011
Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs.
Proceedings of the Testing Software and Systems, 2011
2010
Program. Comput. Softw., 2010
FSM-based conformance testing methods: A survey annotated with experimental evaluation.
Inf. Softw. Technol., 2010
Deriving Exhaustive Test Suits for Nondeterministic FSMs w.r.t. Non-separability Relation.
Proceedings of the Third International Conference on Software Testing, 2010
2009
Proceedings of the Testing of Software and Communication Systems, 2009
Proceedings of the Testing of Software and Communication Systems, 2009
Proceedings of the Formal Techniques for Distributed Systems, 2009
2008
Program. Comput. Softw., 2008
Discret. Event Dyn. Syst., 2008
Proceedings of the Implementation and Applications of Automata, 2008
Proceedings of the First International Conference on Software Testing, 2008
2007
Softw. Test. Verification Reliab., 2007
Testing Nondeterministic Finite State Machines with Respect to the Separability Relation.
Proceedings of the Testing of Software and Communicating Systems, 2007
A new algorithm for the largest compositionally progressive solution of synchronous language equations.
Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, 2007
2006
Proceedings of the Testing of Communicating Systems, 2006
2005
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005
Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005
Proceedings of the 2005 Design, 2005
2004
Proceedings of the Testing of Communicating Systems, 16th IFIP International Conerence, 2004
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004
2003
Softw. Test. Verification Reliab., 2003
Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003
Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003
Proceedings of the 2003 Euromicro Symposium on Digital Systems Design (DSD 2003), 2003
2002
FSM-based Re-Testing Methods.
Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002
Fault Detection within a Component of a System of Communicating FSMs.
Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002
Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations.
Proceedings of the 11th IEEE/ACM International Workshop on Logic & Synthesis, 2002
2001
Proceedings of the 2001 IEEE/ACM International Conference on Computer-Aided Design, 2001
Diagnosing Multiple Faults in Communicating Finite State Machines.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001
2000
Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs.
Proceedings of the Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13<sup>th</sup> International Conference on Testing Communicating Systems (TestCom 2000), August 29, 2000
On Test Derivation from Partial Specifications.
Proceedings of the Formal Techniques for Distributed System Development, 2000
1999
Test Suite Minimization for Embedded Nondeterministic Finite State Machines.
Proceedings of the Testing of Communicating Systems: Method and Applications, 1999
Test Generation Driven by User-defined Fault Models.
Proceedings of the Testing of Communicating Systems: Method and Applications, 1999
1998
Test Suite Minimization for Testing in Context.
Proceedings of the Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31, 1998
Solving Asynchronous Equations.
Proceedings of the Formal Description Techniques and Protocol Specification, 1998
1997
Design for testability of communication protocols based on SDL language.
Proceedings of the SDL '97 Time for Testing, 1997
1996
Fault Models for Testing in Context.
Proceedings of the Formal Description Techniques IX: Theory, 1996
1993
Nondeterministic State Machines in Protocol Conformance Testing.
Proceedings of the Protocol Test Systems, 1993
1992
Test Suite Generation from a FSM with a Given Type of Implementation Errors.
Proceedings of the Protocol Specification, 1992
1987
Conditions for Existence of Nontrivial Parallel Decompositions of Sequential Machines.
Proceedings of the Fundamentals of Computation Theory, 1987