• M. Lallali, F. Zaidi, and A. Cavalli. Transforming bpel into intermediate format language for web services composition testing. In 4th International Conference on Next Generation Web Services Practices, pages 191-197, October 2008, Seou l, IEEE Computer CS.

  • A. R. Cavalli, E. Montes De Oca, W. Mallouli, M. Lallali, Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints, The 12-th IEEE International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2008), pages 315-318, Vancouver, Canada, October 27-29.

  • S. Salva, A. Rollet, Automatic web service testing from WSDL descriptions, 8th International Conference on Innovative Internet Community Systems (I2CS), Martinique, juin 2008

  • S. Salva, A.Rollet, Testabilité des services web , revue française ISI, Article Vol 13/3 - 2008  - pp.35-58, Lavoisier

  • M. Lallali, F. Zaidi, A. Cavalli, and I. Hwang. Automatic Timed Test Case Generation for Web Services composition. In IEEE Computer Society Press, editor, The 6th IEEE European Conference on Web Services (ECOWS'08), pages 53-63, Dublin, November 2008.

  • S. Salva and I. Rabhi. Automatic web service robustness testing from WSDL descriptions. In 12th European Workshop on Dependable Computing, EWDC 2009, may 2009, Toulouse, France.

  • A. Cavalli, A. Benameur, W. Mallouli, K. Li, A Passive Testing Approach for Security Checking and its Pratical Usage for Web Services Monitoring, NOTERE 2009, 29-3 July, 2009, Montréal, Canada (invited Paper).

  • A. Rollet and S. Salva, Testing robustness of communicating systems using ioco-based approach. In 1st IEEE Workshop on Performance evaluation of communications in distributed systems and Web based service architectures, in conjunction with IEEE ISCC 2009, July 5-8,2009, Sousse, Tunisia. 6p.

  • D. Cao and P. Félix and R. Castanet and I. Berrada. Testing Web Services Composition using the TGSE tool. WS-Testing 2009, Los Angeles, July 6-10 2009. 

  • L. Bentakouk, P. Poizat and F. Zaïdi. A Formal Framework for Service Orchestration Testing based on Symbolic Transition Systems. In TESTCOM'2009 - 21th IFIP International Conference on Testing of Communicating Systems

  • Faycal Bessayah, Ana Cavalli and Eliane Martins. A Formal Approach for Specification and Verification of Fault Injection Process. In ACM Proceedings of ICIS'09, Seoul, Korea, November 2009.


  • The WebMov Project. F. Zaïdi. Tarot Summer School, Bath, 19 juin 2008.

  • Testing Web Services Orchestration. Pascal Poizat (travail commun, a représenté l’équipe du LRI travaillant sur WebMov, article soumis à une conférence internationale). Université de Malaga, Espagne, 20 mai 2009.

Livrables :

  • D1.2. Study of BPEL Formalism. F. Zaïdi, A. Cavalli and P. Félix.

  • D3.1. Definition of an active, passive and fault injection testing architecture. A. Cavalli, F. Bessayag, CAO Tien-Dung, F. Zaïdi.

  • D1.1 Logical architecture modeling language.  Antonin Abhervé, Andrey Sadovykh, F. Zaïd i, A. Cavalli, P. Félix, E. Montes de Oca.
  • D1.4a Implementation of the logical architecture version 2. (outil)
  • D2.3. Definition of the mapping from BPEL to TEFSM. Mounir Lallali, Fatiha Zaïdi, Ana Cavalli et Patrick Félix.
  • D2.4a. Automation of the mapping from BPEL to TESFSM v1 (outil BPEL2IF).
  • D4.1. Definition of a test generation method from BPEL-TEFSM. Ismail Berrada, Tien-Dung Cao, Richard Castanet, Patrick Félix, Mounir Lall ali, Fatiha Zaïdi et Ana Cavalli.
  • D4.2. Definition of a random testing methods for data and control parts.
  • D4.3. Design of complementary testing and fault injection. Faycal Bessayah, Ana Cavalli, Eliane Martins, Fatiha Zaïdi et Patrick Félix.
  • D4.4. Definition of monitoring testing techniques for Web services. Edgardo Montes de Oca, Wissam Mallouli, Gerardo Morales, Faycal Bessayah, Ana Cavalli, Fatiha Zaïdi et Patrick Félix.