A. Bucchiarone, H. Melgratti, and F. Severoni, Testing Service Composition, Proceedings of ASSE07, 2007.

A. Gill, Introduction to the Theory of Finite-State Machines, 1962.

R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

R. Alur and D. L. Dill, Automata-theoretic Verification of Real-Time Systems, Formal Methods for Real-Time Computing, 1995.

J. Garcia-fanjul, J. Tuya, C. , and R. , Generating Test Cases Specifications for BPEL Compositions of Web Services Using SPIN, International Workshop on Web Services Modeling and Testing, 2006.

Y. Zheng and P. Krause, Automata Semantics and Analysis of BPEL, 2007 Inaugural IEEE-IES Digital EcoSystems and Technologies Conference, 2007.
DOI : 10.1109/DEST.2007.371961

Y. Zheng, J. Zhou, and P. Krause, Analysis of BPEL Data Dependencies, 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO 2007), 2007.
DOI : 10.1109/EUROMICRO.2007.17

Y. Zheng, J. Zhou, and P. Krause, A Model Checking based Test Case Generation Framework for Web Services, International Conference on Information Technology, 2007.

X. Fu, T. Bultan, and J. Su, Analysis of interacting BPEL web services, Proceedings of the 13th conference on World Wide Web , WWW '04, 2004.
DOI : 10.1145/988672.988756

A. Wombacher, P. Fankhauser, and E. Neuhold, Transforming BPEL into annotated deterministic finite state automata for service discovery, Proceedings. IEEE International Conference on Web Services, 2004., 2004.
DOI : 10.1109/ICWS.2004.1314753

R. Kazhamiakin, P. Pandya, and M. Pistore, Timed modeling and analysis in web service compositions, The First International Conference on Availability, Reliability and Security, pp.840-846, 2006.

E. Bayse, A. Cavalli, M. Nunez, and F. Zaidi, A passive testing approach based on invariants: application to the WAP, Computer Networks, vol.48, issue.2, pp.247-266, 2005.
DOI : 10.1016/j.comnet.2004.09.009

A. Cavalli, E. Montes-de-oca, W. Mallouli, and M. Lallali, Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints, 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 2008.
DOI : 10.1109/DS-RT.2008.43

M. Lallali, F. Zaidi, and A. Cavalli, Timed Modeling of Web Services Composition for Automatic Testing, 2007 Third International IEEE Conference on Signal-Image Technologies and Internet-Based System, pp.16-19, 2007.
DOI : 10.1109/SITIS.2007.110

M. Lallali, F. Zaidi, and A. Cavalli, Transforming BPEL into Intermediate Format Language for Web Services Composition Testing, 2008 4th International Conference on Next Generation Web Services Practices, 2008.
DOI : 10.1109/NWeSP.2008.14

M. Lallali, F. Zaidi, A. Cavalli, and I. Hwang, Automatic Timed Test Case Generation for Web Services Composition, 2008 Sixth European Conference on Web Services, 2008.
DOI : 10.1109/ECOWS.2008.14

T. Higashino, A. Nakata, K. Taniguchi, and A. Cavalli, Generating Test Cases for a Timed I/O Automaton Model, International Workshop on Testing of Communicating Systems, 1999.
DOI : 10.1007/978-0-387-35567-2_13

A. Hessel and P. Pettersson, A Global Algorithm for Model-Based Test Suite Generation, Electronic Notes in Theoretical Computer Science, vol.190, issue.2, 2007.
DOI : 10.1016/j.entcs.2007.08.005

T. D. Cao, P. Felix, and R. Castanet, Generating Test Cases for BPEL Web Services Based on Extended Finite State Machine Model, The 1st International Workshop on Advanced Techniques for Web Services, 2009.

T. D. Cao, P. Felix, and R. Castanet, Generating Timed Test Case Suites for BPEL Web Services, 1st IEEE Workshop on Performance Evaluation of Communications in Distributed Systems and Web based Service Architectures, pp.5-8, 2009.

I. Berrada and P. Félix, TGSE : Un outil générique pour le test, Proc. of CFIP'2005, 2005.

I. Berrada, Modélisation, Analyse et Test des systems communicants contraintes temporelles : Vers une approche ouverte du test, 2005.

Y. Yan, Y. Pencole, M. O. Cordier, and A. Grastien, Monitoring Web Service Networks in a Model-based Approach, 3rd European Conference on Web Services (ECOWS), pp.14-16, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000533

Y. Yan and P. Dague, Monitoring and Diagnosing Orchestrated Web Service Processes, Proceedings of the 2007 IEEE International Conference on Web Services, 2007.

R. Heckel and L. Mariani, Automatic Conformance Testing of Web Services, Fundamental Approaches to Software Engineering, pp.34-48, 2005.
DOI : 10.1007/978-3-540-31984-9_4

P. Mayer, Design and Implementation of a Framework for Testing BPEL Compositions, 2006.

Z. Li, W. Sun, Z. B. Jiang, and X. Zhang, BPEL4WS unit testing: framework and implementation, Proc of the IEEE International Conference on Web Service (ICWS'05), pp.103-110, 2005.
DOI : 10.1504/IJBPIM.2008.020976