BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
1 × Norway
Collaborated with:
N.Yevtushenko A.R.Cavalli K.El-Fakih A.Kolomeez G.v.Bochmann
Talks about:
fault (4) communic (2) system (2) machin (2) extend (2) detect (2) state (2) finit (2) test (2) fsms (2)

Person: Svetlana Prokopenko

DBLP DBLP: Prokopenko:Svetlana

Contributed to:

ICST 20082008
TestCom 20032003
TestCom 20022002
TestCom 20002000

Wrote 4 papers:

ICST-2008-El-FakihKPY #fault #finite #state machine
Extended Finite State Machine Based Test Derivation Driven by User Defined Faults (KEF, AK, SP, NY), pp. 308–317.
TestCom-2003-El-FakihPYB #fault #finite #state machine
Fault Diagnosis in Extended Finite State Machines (KEF, SP, NY, GvB), pp. 197–210.
TestCom-2002-CavalliPY #communication #component #detection #fault
Fault Detection within a Component of a System of Communicating FSMs (ARC, SP, NY), p. 317–?.
TestCom-2000-CavalliPY #communication #detection #fault #power of #testing
Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs (ARC, SP, NY), p. 35–?.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.