Fatiha Zaïdi
Fatiha Zaïdi
Verified email at lri.fr
Title
Cited by
Cited by
Year
A passive testing approach based on invariants: application to the WAP
E Bayse, A Cavalli, M Núñez, F Zaïdi
Computer networks 48 (2), 247-266, 2005
1412005
Hit-or-Jump: An algorithm for embedded testing with applications to IN services
A Cavalli, D Lee, C Rinderknecht, F Zaïdi
Formal Methods for Protocol Engineering And Distributed Systems, 41-56, 1999
961999
Cubicle: A parallel SMT-based model checker for parameterized systems
S Conchon, A Goel, S Krstić, A Mebsout, F Zaïdi
International Conference on Computer Aided Verification, 718-724, 2012
922012
Automatic timed test case generation for web services composition
M Lallali, F Zaidi, A Cavalli, I Hwang
2008 Sixth European Conference on Web Services, 53-62, 2008
692008
A formal framework for service orchestration testing based on symbolic transition systems
L Bentakouk, P Poizat, F Zaïdi
Testing of Software and Communication Systems, 16-32, 2009
602009
Invariants for finite instances and beyond
S Conchon, A Goel, S Krstić, A Mebsout, F Zaïdi
2013 Formal Methods in Computer-Aided Design, 61-68, 2013
402013
Timed modeling of web services composition for automatic testing
M Lallali, F Zaidi, A Cavalli
2007 Third International IEEE Conference on Signal-Image Technologies and …, 2007
382007
Webmov: A dedicated framework for the modelling and testing of web services composition
A Cavalli, TD Cao, W Mallouli, E Martins, A Sadovykh, S Salva, F Zaidi
2010 IEEE International Conference on Web Services, 377-384, 2010
312010
Checking the behavioral conformance of web services with symbolic testing and an SMT solver
L Bentakouk, P Poizat, F Zaïdi
International Conference on Tests and Proofs, 33-50, 2011
262011
Supple: a flexible probabilistic data dissemination protocol for wireless sensor networks
A Carneiro Viana, T Herault, T Largillier, S Peyronnet, F Zaïdi
Proceedings of the 13th ACM international conference on Modeling, analysis …, 2010
252010
Network protocol interoperability testing based on contextual signatures and passive testing
F Zaidi, E Bayse, A Cavalli
Proceedings of the 2009 ACM symposium on Applied Computing, 2-7, 2009
222009
Two methods for interoperability tests generation: An application to the tcp/ip protocol
C Besse, A Cavalli, M Kim, F Zaidi
22*2002
One step forward: Linking wireless self-organizing network validation techniques with formal testing approaches
AC Viana, S Maag, F Zaidi
ACM Computing Surveys (CSUR) 43 (2), 7, 2011
202011
Transforming bpel into intermediate format language for web services composition testing
M Lallali, F Zaidi, A Cavalli
2008 4th International Conference on Next Generation Web Services Practices …, 2008
202008
Online verification of value-passing choreographies through property-oriented passive testing
HN Nguyen, P Poizat, F Zaïdi
2012 IEEE 14th International Symposium on High-Assurance Systems Engineering …, 2012
192012
A symbolic framework for the conformance checking of value-passing choreographies
HN Nguyen, P Poizat, F Zaïdi
International Conference on Service-Oriented Computing, 525-532, 2012
182012
Testing methodology for an ad hoc routing protocol
S Maag, F Zaidi
Proceedings of the ACM international workshop on Performance monitoring …, 2006
162006
Automatic skeleton generation for data-aware service choreographies
HN Nguyen, P Poizat, F Zaïdi
2013 IEEE 24th International Symposium on Software Reliability Engineering …, 2013
132013
Passive conformance testing of service choreographies
HN Nguyen, P Poizat, F Zaïdi
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1528-1535, 2012
122012
A multi-service and multi-protocol validation platform–Experimentation results
A Cavalli, A Mederreg, F Zaïdi, P Combes, W Monin, R Castanet, ...
IFIP International Conference on Testing of Communicating Systems, 17-32, 2004
122004
The system can't perform the operation now. Try again later.
Articles 1–20