Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs. - Ana R. Cavalli; Svetlana Prokopenko; Nina Yevtushenko 001 (TestCom, 2000)

Fault Detection within a Component of a System of Communicating FSMs. - Ana R. Cavalli; Svetlana Prokopenko; Nina Yevtushenko 001 (TestCom, 2002)

Fault Diagnosis in Extended Finite State Machines. - Khaled El-Fakih; Svetlana Prokopenko; Nina Yevtushenko 001; Gregor von Bochmann (TestCom, 2003)

New approaches for passive testing using an Extended Finite State Machine specification. - Ana R. Cavalli; Caroline Gervy; Svetlana Prokopenko (Inf. Softw. Technol., 2003)

Extended Finite State Machine Based Test Derivation Driven by User Defined Faults. - Khaled El-Fakih; Anton Kolomeez; Svetlana Prokopenko; Nina Yevtushenko 001 (ICST, 2008)

FSM-based Sequential Circuits Optimization by Changing Initial State of Specification. - Maxim Gromov; Natalia Shabaldina; Aleksandr S. Tvardovskii; Svetlana Prokopenko (EWDTS, 2021)