36
Publications
1.1K
Citations
17
H-Index
1993
Active since
Nina Yevtushenko is an author at National Research Tomsk State University specializing in engineering, formal methods, and computer science.
Top concepts
EngineeringComputer ScienceFormal MethodsSystems EngineeringFormal VerificationComputer EngineeringVerificationSoftware TestingSoftware AnalysisProgram Analysis
Publications per year
1993–2018
36
36
Nondeterministic State Machines in Protocol Conformance Testing
Alexandre Petrenko, Nina Yevtushenko, A. Lebedev et al. · 1993 · 95 citations
Testing in context: framework and test derivation
Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann et al. · Computer Communications · 1996 · 68 citations
Rows per page
1–5 of 36