Travelled to:1 × Canada
1 × Estonia
1 × Russia
1 × The Netherlands
2 × USA
3 × France
Collaborated with:G.v.Bochmann A.En-Nouaary A.Ghedamsi A.Petrenko M.Dubuc A.Benharref M.A.Serhani R.H.Glitho G.Luo R.Mizouni A.Salah J.Hassine J.Rilling H.König C.Bourhfir E.M.Aboulhamid N.Rico A.Khoumsi M.Akalay L.Granger P.Venkataram A.Das
Talks about:test (11) protocol (3) generat (3) state (3) finit (3) case (3) base (3) use (3) increment (2) approach (2)
Person: Rachida Dssouli
DBLP: Dssouli:Rachida
Facilitated 2 volumes:
EdEdContributed to:
2007
20072006
2005200320001998199319921991Wrote 13 papers:
- SEKE-2007-MizouniSD #case study #composition #requirements #using
- Using Formal Composition of Use Cases in Requirements Engineering (RM, AS, RD), p. 238–?.
- TestCom-FATES-2007-BenharrefDSEG #approach #testing #web #web service
- New Approach for EFSM-Based Passive Testing of Web Services (AB, RD, MAS, AEN, RHG), pp. 13–27.
- TestCom-2006-BenharrefDGS #generative #network #testing #towards #web #web service
- Towards the Testing of Composed Web Services in 3rd Generation Networks (AB, RD, RHG, MAS), pp. 118–133.
- RE-2005-HassineRD #case study #semantics
- An ASM Operational Semantics for Use Case Maps (JH, JR, RD), pp. 467–468.
- TestCom-2003-En-NouaaryD #automaton #testing
- A Guided Method for Testing Timed Input Output Automata (AEN, RD), pp. 211–225.
- TestCom-2000-KhoumsiADEG #approach #protocol #realtime #testing
- An Approach for Testing Real Time Protocol Entities (AK, MA, RD, AEN, LG), pp. 281–300.
- IWTCS-1998-BourhfirDAR #consistency #generative #incremental #protocol #testing
- A Guided Incremental Test Case Generation Procedure for Conformance Testing for CEFSM Specified Protocols (CB, RD, EMA, NR), pp. 275–290.
- IWPTS-1993-LuoDBVG #distributed #finite #generative #sequence #state machine #testing
- Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports (GL, RD, GvB, PV, AG), pp. 139–153.
- IWPTS-1993-PetrenkoBD #consistency
- Conformance Relations and Test Derivation (AP, GvB, RD), pp. 157–178.
- IWPTS-1993-PetrenkoDK #evaluation #on the #protocol #testing
- On Evaluation of Testability of Protocol Structures (AP, RD, HK), pp. 111–124.
- IWPTS-1992-GhedamsiDB #fault #finite #nondeterminism #state machine #testing
- Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines (AG, RD, GvB), pp. 105–116.
- IWPTS-1991-BochmannDDDGL #fault #modelling #testing
- Fault Models in Testing (GvB, AD, RD, MD, AG, GL), pp. 17–30.
- IWPTS-1991-DubucDB #design #finite #incremental #modelling #named #testing
- TESTL: An Environment for Incremental Test Suite Design Based on Finite-State Models (MD, RD, GvB), pp. 195–206.