Model‐based security testing relies on models to test whether a software system meets its
security requirements. It is an active research field of high relevance for industrial …

Due to the importance of web application testing techniques for detecting faults and
assessing quality attributes, many research papers were published in this field. For this …

This paper presents a methodology and a set of tools for the modelling, validation and
testing of Web service composition, conceived and developed within the French national …

Web applications are complex and face complex attacks, as well. Thus, security
vulnerabilities are hard to find. To tackle this complexity we analyze abstract models of these …

Ces dernières années ont vu l'émergence d'architectures orientées services (SOA) conçues
pour faciliter la création, l'exposition, l'interconnexion et la réutilisation d'applications à base …

In recent years Web-based systems have become extremely popular and, nowadays, they
are used in critical environments such as financial, medical, and military systems. As the use …

Cette thèse s' est attaquée sous diverses formes au test automatique des services Web: une
première partie est consacrée au test fonctionnel à travers le test de robustesse. La seconde …

We propose a system that allows multiple groups of users at remote locations to naturally
share a 3D image of real objects. All users can interactively observe a 3D stereoscopic …

SHIELDS D4.3 Final report on inspection methods and prototype vulnerability recognition tools
Page 1 D4.3 Final report on inspection methods and prototype vulnerability recognition tools …

TestGen (TEG) suite is a testing environment for Web applications developed by Montimage.
It includes:(1) an automated model driven testing tool that allows detecting functional and …