Summary

I am a Ph.D. student working in the Test Formel et Exploration de Systèmes (ForTesSE) team at the LRI - Paris-Sud XI.

My research is focus on Symbolic testing of a composite Web services using Business Process Engineering Language (WS-BPEL) orchestration. I am under supervision of Marie-Claude Gaudel, Pascal Poizat and Fatiha Zaïdi.

Research

Research Areas

Web services, composed services, verification, formal methods.

Research Project

I was involved in the WebMov project. This project aims to contribute to the design, composition and validation of Web Services through a high level of abstraction view and a SOA based logical architecture vision. More information about WebMov can be found here

Technical Interests

Web services: WS-BPEL, WSDL, SOAP, XPath
Testing Web services tools: SoapUI, BPELUnit
Other tools: UMLtoCSP, Z3 solver.