 | 2009 |
|---|
| 12 |       | Ana R. Cavalli,
Stéphane Maag,
Edgardo Montes de Oca,
Fatiha Zaïdi:
A Formal Passive Testing Approach to test a MANET Routing Protocol.
PerCom Workshops 2009: 1-6 |
| 11 | | Fatiha Zaïdi,
Emmanuel Bayse,
Ana R. Cavalli:
Network protocol interoperability testing based on contextual signatures and passive testing.
SAC 2009: 2-7 |
| 10 | | Lina Bentakouk,
Pascal Poizat,
Fatiha Zaïdi:
A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems.
TestCom/FATES 2009: 16-32 |
| 2008 |
|---|
| 9 | | Mounir Lallali,
Fatiha Zaïdi,
Ana R. Cavalli,
Iksoon Hwang:
Automatic Timed Test Case Generation for Web Services Composition.
ECOWS 2008: 53-62 |
| 2006 |
|---|
| 8 | | Stéphane Maag,
Fatiha Zaïdi:
Testing methodology for an ad hoc routing protocol.
PM2HW2N 2006: 48-55 |
| 2005 |
|---|
| 7 |  | Pierre Combes,
Wei Monin,
Ana R. Cavalli,
Amel Mederreg,
Fatiha Zaïdi,
Richard Castanet,
Marcien MacKaya,
Patrice Laurençot:
Une plate-forme de validation multi-protocoles et multi-services - résultats d'expérimentation.
Annales des Télécommunications 60(5-6): 588-609 (2005) |
| 6 | | Emmanuel Bayse,
Ana R. Cavalli,
Manuel Núñez,
Fatiha Zaïdi:
A passive testing approach based on invariants: application to the WAP
Computer Networks 48(2): 235-245 (2005) |
| 2004 |
|---|
| 5 | | Ana R. Cavalli,
Stéphane Maag,
Sofia Papagiannaki,
Georgios Verigakis,
Fatiha Zaïdi:
A Testing Methodology for an Open Software E-learning Platform.
EDUTECH 2004: 165-174 |
| 4 | | Ana R. Cavalli,
Amel Mederreg,
Fatiha Zaïdi,
Pierre Combes,
Wei Monin,
Richard Castanet,
Marcien MacKaya,
Patrice Laurençot:
A Multi-service and Multi-protocol Validation Platform-Experimentation Results.
TestCom 2004: 17-32 |
| 2002 |
|---|
| 3 | | Cédric Besse,
Ana R. Cavalli,
Myungchul Kim,
Fatiha Zaïdi:
Automated Generation of Interoperability Tests.
TestCom 2002: 169- |
| 2001 |
|---|
| 2 | | Ana R. Cavalli,
Bruno Defude,
Christian Rinderknecht,
Fatiha Zaïdi:
A Service-Component Testing Method and a Suitable CORBA Architecture.
ISCC 2001: 655-660 |
| 1999 |
|---|
| 1 | | Ana R. Cavalli,
David Lee,
Christian Rinderknecht,
Fatiha Zaïdi:
Hit-or-Jump: An algorithm for embedded testing with applications to IN services.
FORTE 1999: 41-56 |
