Nina Yevtushenko
Nina Yevtushenko
Ivannikov Institute for System Programming of RAS
Verified email at
Cited by
Cited by
FSM-based conformance testing methods: a survey annotated with experimental evaluation
R Dorofeeva, K El-Fakih, S Maag, AR Cavalli, N Yevtushenko
Information and Software Technology 52 (12), 1286-1297, 2010
Testing from partial deterministic FSM specifications
A Petrenko, N Yevtushenko
IEEE Transactions on Computers 54 (9), 1154-1165, 2005
Testing deterministic implementations from nondeterministic FSM specifications
A Petrenko, N Yevtushenko, G Bochmann
Testing of Communicating Systems, 125-140, 1996
Nondeterministic state machines in protocol conformance testing
A Petrenko, N Yevtushenko, A Lebedev, A Das
Proceedings of the IFIP TC6/WG6. 1 Sixth International Workshop on Protocol …, 1993
An improved conformance testing method
R Dorofeeva, K El-Fakih, N Yevtushenko
International Conference on Formal Techniques for Networked and Distributed …, 2005
Fault models for testing in context
A Petrenko, N Yevtushenko, G Bochmann
Formal Description Techniques IX, 163-178, 1996
Conformance tests as checking experiments for partial nondeterministic FSM
A Petrenko, N Yevtushenko
International Workshop on Formal Approaches to Software Testing, 118-133, 2005
FSM-based incremental conformance testing methods
K Ei-Fakih, N Yevtushenko, GV Bochmann
IEEE Transactions on Software Engineering 30 (7), 425-436, 2004
Testing in context: framework and test derivation
A Petrenko, N Yevtushenko, G Bochmann, R Dssouli
Computer communications 19 (14), 1236-1249, 1996
Test suite generation for a FSM with a given type of implementation errors
A Petrenko, N Yevtushenko
Protocol Specification, Testing and Verification, XII, 229-243, 1992
The unknown component problem: theory and applications
T Villa, N Yevtushenko, RK Brayton, A Mishchenko, A Petrenko, ...
Springer Science & Business Media, 2011
Generating reduced tests for FSMs with extra states
A Simão, A Petrenko, N Yevtushenko
Testing of Software and Communication Systems, 129-145, 2009
Deterministic timed finite state machines: Equivalence checking and expressive power
D Bresolin, K El-Fakih, T Villa, N Yevtushenko
arXiv preprint arXiv:1408.5967, 2014
Adaptive testing of deterministic implementations specified by nondeterministic FSMs
A Petrenko, N Yevtushenko
IFIP International Conference on Testing Software and Systems, 162-178, 2011
Testing transition systems with input and output testers
A Petrenko, N Yevtushenko, JL Huo
IFIP International Conference on Testing of Software and Communicating …, 2003
Solution of parallel language equations for logic synthesis
N Yevtushenko, T Villa, RK Brayton, A Petrenko
IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE …, 2001
FSM-based test derivation strategies for systems with time-outs
M Zhigulin, N Yevtushenko, S Maag, A Cavalli
2011 11th International Conference on Quality Software, 141-149, 2011
Experimental evaluation of FSM-based testing methods
R Dorofeeva, K El-Fakih, S Maag, AR Cavalli, N Yevtushenko
Third IEEE International Conference on Software Engineering and Formal …, 2005
On adaptive experiments for nondeterministic finite state machines
N Kushik, K El-Fakih, N Yevtushenko, AR Cavalli
International Journal on Software Tools for Technology Transfer 18 (3), 251-264, 2016
Solving asynchronous equations
A Petrenko, N Yevtushenko
Formal Description Techniques and Protocol Specification, Testing and …, 1998
The system can't perform the operation now. Try again later.
Articles 1–20