|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 26 occurrences of 26 keywords
|
|
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Aline Carneiro Viana, Stephane Maag, Fatiha Zaïdi |
One step forward: Linking wireless self-organizing network validation techniques with formal testing approaches.  |
ACM Comput. Surv.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mazen El Maarabani, Ana R. Cavalli, Iksoon Hwang, Fatiha Zaïdi |
Verification of Interoperability Security Policies by Model Checking. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi |
Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver. |
TAP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Burkhart Wolff, Fatiha Zaïdi (eds.) |
Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings |
ICTSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatiha Zaïdi, Mounir Lallali, Stéphane Maag |
A component based testing technique for a MANET routing protocol. |
AICCSA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Aline Carneiro Viana, Thomas Hérault, Thomas Largillier, Sylvain Peyronnet, Fatiha Zaïdi |
Supple: a flexible probabilistic data dissemination protocol for wireless sensor networks. |
MSWiM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana R. Cavalli, Tien-Dung Cao, Wissam Mallouli, Eliane Martins, Andrey Sadovykh, Sébastien Salva, Fatiha Zaïdi |
WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition. |
ICWS |
2010 |
DBLP DOI BibTeX RDF |
Web Service, BPEL, Unit Testing, Testing framework, Test Case Generation, Test Purposes |
| 1 | Fatiha Zaïdi, Emmanuel Bayse, Ana R. Cavalli |
Network protocol interoperability testing based on contextual signatures and passive testing. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
contextual signatures, communication protocols, WAP, interoperability testing, passive testing |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi |
A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems. |
TestCom/FATES |
2009 |
DBLP DOI BibTeX RDF |
Service composition, symbolic execution, test-case generation, orchestration, transition systems, WS-BPEL, formal testing |
| 1 | Mounir Lallali, Fatiha Zaïdi, Ana R. Cavalli, Iksoon Hwang |
Automatic Timed Test Case Generation for Web Services Composition. |
ECOWS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Maag, Fatiha Zaïdi |
Testing methodology for an ad hoc routing protocol. |
PM2HW2N |
2006 |
DBLP DOI BibTeX RDF |
PLTL, ad hoc network protocols, simulations, model checking, verification, testing, SPIN |
| 1 | Emmanuel Bayse, Ana R. Cavalli, Manuel Núñez, Fatiha Zaïdi |
A passive testing approach based on invariants: application to the WAP |
Computer Networks |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana R. Cavalli, Amel Mederreg, Fatiha Zaïdi |
Application of a Formal Testing Methodology to Wireless Telephony Networks. |
J. Braz. Comp. Soc. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Cédric Besse, Ana R. Cavalli, Myungchul Kim, Fatiha Zaïdi |
Automated Generation of Interoperability Tests. |
TestCom |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ana R. Cavalli, Bruno Defude, Christian Rinderknecht, Fatiha Zaïdi |
A Service-Component Testing Method and a Suitable CORBA Architecture. |
ISCC |
2001 |
DBLP DOI BibTeX RDF |
CORBA, test generation, test architecture, Components testing |
| 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 |
DBLP BibTeX RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")