| 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 | 227 | 2010 |
| Testing from partial deterministic FSM specifications A Petrenko, N Yevtushenko IEEE Transactions on Computers 54 (9), 1154-1165, 2005 | 180 | 2005 |
| Testing deterministic implementations from nondeterministic FSM specifications A Petrenko, N Yevtushenko, G v. Bochmann Testing of Communicating Systems: IFIP TC6 9th International Workshop on …, 1996 | 162 | 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 | 153 | 1993 |
| An improved conformance testing method R Dorofeeva, K El-Fakih, N Yevtushenko International Conference on Formal Techniques for Networked and Distributed …, 2005 | 131 | 2005 |
| Conformance tests as checking experiments for partial nondeterministic FSM A Petrenko, N Yevtushenko International Workshop on Formal Approaches to Software Testing, 118-133, 2005 | 106 | 2005 |
| Testing in context: framework and test derivation A Petrenko, N Yevtushenko, G Bochmann, R Dssouli Computer communications 19 (14), 1236-1249, 1996 | 97 | 1996 |
| Fault models for testing in context A Petrenko, N Yevtushenko, G Bochmann Formal Description Techniques IX: Theory, Application and Tools, 163-178, 1996 | 96 | 1996 |
| FSM-based incremental conformance testing methods K Ei-Fakih, N Yevtushenko, GV Bochmann IEEE Transactions on Software Engineering 30 (7), 425-436, 2004 | 94 | 2004 |
| 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 | 68 | 2014 |
| The unknown component problem: theory and applications T Villa, N Yevtushenko, RK Brayton, A Mishchenko, A Petrenko, ... Springer Science & Business Media, 2011 | 68 | 2011 |
| Adaptive testing of deterministic implementations specified by nondeterministic FSMs A Petrenko, N Yevtushenko IFIP International Conference on Testing Software and Systems, 162-178, 2011 | 65 | 2011 |
| 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 | 64 | 2011 |
| 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 | 64 | 1992 |
| Generating reduced tests for FSMs with extra states A Simão, A Petrenko, N Yevtushenko International Workshop on Formal Approaches to Software Testing, 129-145, 2009 | 61 | 2009 |
| On reducing test length for FSMs with extra states A Simao, A Petrenko, N Yevtushenko Software testing, verification and reliability 22 (6), 435-454, 2012 | 57 | 2012 |
| Testing transition systems with input and output testers A Petrenko, N Yevtushenko, JL Huo IFIP International Conference on Testing of Software and Communicating …, 2003 | 56 | 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 | 52 | 2001 |
| 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 | 50 | 2016 |
| 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 | 49 | 2005 |
