Patrice Laurençot

Learn More
Web Services are more and more used in designing and building systems in open and dynamic distributed environments. The security of these transactions is becoming a critical issue. This paper proposes a security testing method for stateful Web Services. We define some specific security rules with the Nomad language. Then, we construct test cases from a(More)
Asynchronous javascript and XML (AJAX) is a recent group of technologies used to develop dynamic web pages. Ajax applications are wisely used nowadays and need to be tested to ensure their reliability.  This paper introduces a method and an architecture for automatic AJAX application testing. We use STS automata for describing the application(More)
The intent mechanism is a powerful feature of the Android platform that helps compose existing components together to build a Mobile application. However, hackers can leverage the intent messaging to extract personal data or to call components without credentials by sending malicious intents to components. This paper tackles this issue by proposing a(More)
Advance in network technology leads to the design of new protocols and services. In order to assure successful communication among those new products, testing and validation activities for conformance and interoperability play an important role in the development and deployment of them. In this paper, we introduce the PLATONIS platform, a platform for(More)