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: El-Fakih:Khaled
Contributed to:
20142013
2011
20092008
200820072006
2005200420032002
2000Wrote 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.
- TestCom-2002-El-FakihYB
- 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.