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 × Germany
1 × Italy
1 × Norway
1 × Switzerland
1 × The Netherlands
1 × United Kingdom
2 × USA
Collaborated with:
P.Poizat S.Conchon A.R.Cavalli L.Bentakouk A.Mebsout H.N.Nguyen E.Bayse D.Declerck C.Besse M.Kim A.Goel S.Krstic A.Mederreg P.Combes W.Monin R.Castanet M.MacKaya P.Laurençot
Talks about:
test (6) servic (4) parameter (3) model (3) check (3) base (3) interoper (2) protocol (2) conform (2) system (2)

Person: Fatiha Zaïdi

DBLP DBLP: Za=iuml=di:Fatiha

Facilitated 1 volumes:

ICTSS 2011Ed

Contributed to:

FM 20152015
CAV 20122012
SAC 20122012
TAP 20112011
SAC 20092009
TestCom/FATES 20092009
TestCom 20042004
TestCom 20022002
IJCAR 20182018

Wrote 9 papers:

FM-2015-ConchonMZ #model checking
Certificates for Parameterized Model Checking (SC, AM, FZ), pp. 126–142.
CAV-2012-ConchonGKMZ #model checking #named #parallel #smt
Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems — Tool Paper (SC, AG, SK, AM, FZ), pp. 718–724.
SAC-2012-NguyenPZ #consistency #testing
Passive conformance testing of service choreographies (HNN, PP, FZ), pp. 1528–1535.
TAP-2011-BentakoukPZ #behaviour #consistency #smt #testing #web #web service
Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver (LB, PP, FZ), pp. 33–50.
SAC-2009-ZaidiBC #network #protocol #testing
Network protocol interoperability testing based on contextual signatures and passive testing (FZ, EB, ARC), pp. 2–7.
TestCom-FATES-2009-BentakoukPZ #distributed #framework #testing
A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems (LB, PP, FZ), pp. 16–32.
TestCom-2004-CavalliMZCMCML #multi #platform #validation
A Multi-service and Multi-protocol Validation Platform-Experimentation Results (ARC, AM, FZ, PC, WM, RC, MM, PL), pp. 17–32.
TestCom-2002-BesseCKZ #automation #generative #testing
Automated Generation of Interoperability Tests (CB, ARC, MK, FZ), p. 169–?.
IJCAR-2018-ConchonDZ #memory management #model checking
Cubicle- W : Parameterized Model Checking on Weak Memory (SC, DD, FZ), pp. 152–160.

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.