Timed Extended Invariants for the Passive Testing of Web Services

  title={Timed Extended Invariants for the Passive Testing of Web Services},
  author={Gerardo Morales and St{\'e}phane Maag and Ana R. Cavalli and Wissam Mallouli and Edgardo Montes de Oca and Bachar Wehbi},
  journal={2010 IEEE International Conference on Web Services},
The service-oriented approach is becoming more and more popular to integrate highly heterogeneous systems. Web services are the natural evolution of conventional middleware technologies to support Web-based and enterprise level integration. Formal testing of such Web-based technology is a key point to guarantee its reliability. In this paper, we choose a non-intrusive approach based on monitoring to propose a conformance passive testing methodology to check that a composed Web service respects… CONTINUE READING
Highly Cited
This paper has 35 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 21 extracted citations


Publications referenced by this paper.
Showing 1-8 of 8 references


  • A. R. Cavalli
  • Montes De Oca, W. Mallouli, and M. Lallali. Two…
  • 2008
1 Excerpt

Monitoring and Diagnosing Orchestrated Web Service Processes

  • Y. Yan, P. Drague
  • Proceedings of the 2007 IEEE International…
  • 2007
1 Excerpt


  • G.M.E. Christensen
  • Curbera and S. Weerawarana, 15 March
  • 2001
1 Excerpt

Similar Papers

Loading similar papers…