Svetlana Prokopenko

According to our database, Svetlana Prokopenko authored at least 6 papers between 2000 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

FSM-based Sequential Circuits Optimization by Changing Initial State of Specification.

Maxim Gromov, Natalia Shabaldina, Aleksandr S. Tvardovskii, Svetlana Prokopenko

Proceedings of the IEEE East-West Design & Test Symposium, 2021

2008

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

Khaled El-Fakih, Anton Kolomeez, Svetlana Prokopenko, Nina Yevtushenko

Proceedings of the First International Conference on Software Testing, 2008

2003

New approaches for passive testing using an Extended Finite State Machine specification.

Ana R. Cavalli, Caroline Gervy, Svetlana Prokopenko

Inf. Softw. Technol., 2003

Fault Diagnosis in Extended Finite State Machines.

Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtushenko, Gregor von Bochmann

Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003

2002

Fault Detection within a Component of a System of Communicating FSMs.

Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko

Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002

2000

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

Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko

Proceedings of the Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13^th International Conference on Testing Communicating Systems (TestCom 2000), August 29, 2000