| 2008 |
|---|
| 5 | EE | Khaled El-Fakih,
Anton Kolomeez,
Svetlana Prokopenko,
Nina Yevtushenko:
Extended Finite State Machine Based Test Derivation Driven by User Defined Faults.
ICST 2008: 308-317 |
| 2003 |
|---|
| 4 | EE | Khaled El-Fakih,
Svetlana Prokopenko,
Nina Yevtushenko,
Gregor von Bochmann:
Fault Diagnosis in Extended Finite State Machines.
TestCom 2003: 197-210 |
| 3 | EE | Ana R. Cavalli,
Caroline Gervy,
Svetlana Prokopenko:
New approaches for passive testing using an Extended Finite State Machine specification.
Information & Software Technology 45(12): 837-852 (2003) |
| 2002 |
|---|
| 2 | | Ana R. Cavalli,
Svetlana Prokopenko,
Nina Yevtushenko:
Fault Detection within a Component of a System of Communicating FSMs.
TestCom 2002: 317- |
| 2000 |
|---|
| 1 | | Ana R. Cavalli,
Svetlana Prokopenko,
Nina Yevtushenko:
Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs.
TestCom 2000: 35- |
