Author of the publication

Automated Generation of Interoperability Tests.

, , , and . TestCom, volume 210 of IFIP Conference Proceedings, page 169-. Kluwer, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Testing Methodology for an Open Software E-learning Platform., , , , and . EDUTECH, volume 151 of IFIP, page 165-174. Kluwer/Springer, (2004)Parameterized Model Checking Modulo Explicit Weak Memory Models., , and . IMPEX/FM&MDD, volume 271 of EPTCS, page 48-63. (2017)Une plate-forme de validation multi-protocoles et multi-services - résultats d'expérimentation., , , , , , , and . Ann. des Télécommunications, 60 (5-6): 588-609 (2005)One step forward: Linking wireless self-organizing network validation techniques with formal testing approaches., , and . ACM Comput. Surv., 43 (2): 7:1-7:36 (2011)A Formal Approach for Complex Attacks Generation based on Mutation of 5G Network Traffic., , , , , and . ICSOFT, page 234-241. SCITEPRESS, (2022)Verification of Interoperability Security Policies by Model Checking., , , and . HASE, page 376-381. IEEE Computer Society, (2011)How Web Services Can Be Tolerant to Intruders through Diversification., , , and . ICWS, page 436-443. IEEE, (2017)Supple: a flexible probabilistic data dissemination protocol for wireless sensor networks., , , , and . MSWiM, page 385-392. ACM, (2010)A passive testing approach based on invariants: application to the WAP, , , and . Comput. Networks, 48 (2): 235-245 (2005)Design of a Secure Shield for Internet and Web-Based Services Using Software Reflection., , , , and . ICWS, volume 10966 of Lecture Notes in Computer Science, page 472-486. Springer, (2018)