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 × Estonia
1 × Norway
1 × Spain
1 × The Netherlands
1 × Turkey
1 × United Kingdom
2 × France
2 × Germany
2 × USA
Collaborated with:
N.Yevtushenko G.v.Bochmann N.Kushik S.Prokopenko T.Salameh H.Fouchal N.Shabaldina A.Petrenko A.Kolomeez R.Dorofeeva A.R.Cavalli V.Trenkaev N.Spitsyna H.Yamaguchi T.Higashino
Talks about:
test (8) machin (6) state (6) finit (6) base (6) fsm (6) nondeterminist (3) method (3) extend (3) fault (3)

Person: Khaled El-Fakih

DBLP DBLP: El-Fakih:Khaled

Contributed to:

ICTSS 20142014
ICTSS 20132013
CIAA 20112011
TestCom/FATES 20092009
CIAA 20082008
ICST 20082008
TestCom/FATES 20072007
TestCom 20062006
SEFM 20052005
TestCom 20042004
TestCom 20032003
TestCom 20022002
ASE 20002000

Wrote 13 papers:

ICTSS-2014-El-FakihSY #assessment #automaton #on the #test coverage #testing
On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment (KEF, TS, NY), pp. 198–204.
ICTSS-2013-KushikEY #adaptation #finite #nondeterminism #state machine
Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines (NK, KEF, NY), pp. 33–48.
CIAA-2011-KushikEY #adaptation #finite #nondeterminism #state machine
Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines (NK, KEF, NY), pp. 215–224.
TestCom-FATES-2009-El-FakihYF #fault #finite #state machine #testing
Testing Timed Finite State Machines with Guaranteed Fault Coverage (KEF, NY, HF), pp. 66–80.
CIAA-2008-El-FakihY #automaton #equation
Progressive Solutions to FSM Equations (KEF, NY), pp. 274–282.
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-FATES-2007-ShabaldinaEY #finite #nondeterminism #state machine #testing
Testing Nondeterministic Finite State Machines with Respect to the Separability Relation (NS, KEF, NY), pp. 305–318.
TestCom-2006-El-FakihPY #automaton
FSM Test Translation Through Context (KEF, AP, NY), pp. 245–258.
SEFM-2005-DorofeevaYEC #evaluation #testing
Experimental Evaluation of FSM-Based Testing Methods (RD, NY, KEF, ARC), pp. 23–32.
TestCom-2004-El-FakihTSY #automaton #multi #testing
FSM Based Interoperability Testing Methods for Multi Stimuli Model (KEF, VT, NS, NY), pp. 60–75.
TestCom-2003-El-FakihPYB #fault #finite #state machine
Fault Diagnosis in Extended Finite State Machines (KEF, SP, NY, GvB), pp. 197–210.
FSM-based Re-Testing Methods (KEF, NY, GvB), pp. 373–390.
ASE-2000-El-FakihYBH #automation #distributed #petri net #specification
Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources (KEF, HY, GvB, TH), pp. 305–308.

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.