Testing Service Composition, Proceedings of ASSE07, 2007. ,
Introduction to the Theory of Finite-State Machines, 1962. ,
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
Automata-theoretic Verification of Real-Time Systems, Formal Methods for Real-Time Computing, 1995. ,
Generating Test Cases Specifications for BPEL Compositions of Web Services Using SPIN, International Workshop on Web Services Modeling and Testing, 2006. ,
Automata Semantics and Analysis of BPEL, 2007 Inaugural IEEE-IES Digital EcoSystems and Technologies Conference, 2007. ,
DOI : 10.1109/DEST.2007.371961
Analysis of BPEL Data Dependencies, 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO 2007), 2007. ,
DOI : 10.1109/EUROMICRO.2007.17
A Model Checking based Test Case Generation Framework for Web Services, International Conference on Information Technology, 2007. ,
Analysis of interacting BPEL web services, Proceedings of the 13th conference on World Wide Web , WWW '04, 2004. ,
DOI : 10.1145/988672.988756
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
Timed modeling and analysis in web service compositions, The First International Conference on Availability, Reliability and Security, pp.840-846, 2006. ,
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
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
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
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
Automatic Timed Test Case Generation for Web Services Composition, 2008 Sixth European Conference on Web Services, 2008. ,
DOI : 10.1109/ECOWS.2008.14
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 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
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. ,
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. ,
TGSE : Un outil générique pour le test, Proc. of CFIP'2005, 2005. ,
Modélisation, Analyse et Test des systems communicants contraintes temporelles : Vers une approche ouverte du test, 2005. ,
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
Monitoring and Diagnosing Orchestrated Web Service Processes, Proceedings of the 2007 IEEE International Conference on Web Services, 2007. ,
Automatic Conformance Testing of Web Services, Fundamental Approaches to Software Engineering, pp.34-48, 2005. ,
DOI : 10.1007/978-3-540-31984-9_4
Design and Implementation of a Framework for Testing BPEL Compositions, 2006. ,
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