S. Prokopenko

Extended Finite State Machine Based Test Derivation Driven by User Defined Faults

Svetlana Prokopenko, Khaled El-Fakih, Nina Yevtushenko, 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.

Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs

Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko, 2000, TestCom.

Detecting faults in TFTP implementations using Finite State Machines with timeouts

Svetlana Prokopenko, Maria Forostyanova, Maxim Zhigulin, 2012 .

On the design for testability of communication protocols

Nina Yevtushenko, Alexandre Petrenko, Rachida Dssouli, 1996 .