-
Quiescence Management improves Interoperability Testing
At any level of computer networks, interoperability testing generally deals with several components that communicate while trying to provide a designated service. When... -
A symbolic approach for the verification and the test of service choreographies
Service-oriented engineering is an emerging software development paradigm for distributed collaborative applications. Such an application is made up of several... -
Informations complémentaires nécessaires aux essais de conformité
Rapport de contrat. -
Déclaration de conformité d'une mise en oeuvre de protocole
Rapport de contrat. -
Test generation for interworking systems
Article dans revue scientifique avec comité de lecture.
