Nina Yevtushenko
National Research University Higher School of Economics(RU)Institute for System Programming(RU)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Formal Methods in Verification, VLSI and Analog Circuit Testing, Software Reliability and Analysis Research, semigroups and automata theory
Most-Cited Works
- → FSM-based conformance testing methods: A survey annotated with experimental evaluation(2010)148 cited
- → Testing from Partial Deterministic FSM Specifications(2005)136 cited
- → Testing deterministic implementations from nondeterministic FSM specifications(1996)100 cited
- Nondeterministic State Machines in Protocol Conformance Testing(1993)
- → An Improved Conformance Testing Method(2005)76 cited
- → Testing in context: framework and test derivation(1996)68 cited
- → Fault models for testing in context(1996)64 cited