B. T. Ladani, B. Alcalde, A. Cavalli, and B. T. Landi, Passive Testing ??? A Constrained Invariant Checking Approach, Proc. of TESTCOM'05, pp.9-22, 2005.
DOI : 10.1007/978-3-540-30232-2_10

E. Bayse, A. R. Cavalli, M. Núñez, and F. Za¨?diza¨?di, A passive testing approach based on invariants: application to the WAP, Computer Networks, vol.48, issue.2, pp.235-245, 2005.
DOI : 10.1016/j.comnet.2004.09.009

L. Zhou, J. Ping, H. Xiao, Z. Wang, G. Pu et al., Automatically Testing Web Services Choreography with Assertions, Proc. of ICFEM'10, 2010.
DOI : 10.1007/978-3-642-16901-4_11

H. N. Nguyen, P. Poizat, and F. Za¨?diza¨?di, Passive conformance testing of service choreographies, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, 2012.
DOI : 10.1145/2245276.2232020

C. Andrés, M. E. Cambronero, and M. Núñez, Passive Testing of Web Services, Proc. of WS-FM'10, 2010.
DOI : 10.1007/978-3-642-01364-5_9

S. Hallé and R. Villemaire, Runtime monitoring of web service choreographies using streaming XML, Proceedings of the 2009 ACM symposium on Applied Computing, SAC '09, 2009.
DOI : 10.1145/1529282.1529752

C. Andrés, M. G. Merayo, and M. Núñez, Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009.
DOI : 10.1109/SEFM.2009.21

Z. Li and H. Chen, Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes, Proc. of TACAS99, 1999.
DOI : 10.1007/3-540-49059-0_21

S. Li, J. Wang, W. Dong, and Z. Qi, Property-Oriented Testing of Teal-Time Systems, Proc. of APSEC'04, 2004.

F. Za¨?diza¨?di, E. Bayse, and A. Cavalli, Network Protocol Interoperability Testing based on Contextual Signatures and Passive Testing, SAC '09, 2009.

O. Moser, F. Rosenberg, and S. Dustdar, VieDAME - flexible and robust BPEL processes through monitoring and adaptation, Companion of the 13th international conference on Software engineering , ICSE Companion '08, 2008.
DOI : 10.1145/1370175.1370186

J. Simmonds, Y. Gan, M. Chechik, S. Nejati, B. O. Farrell et al., Runtime Monitoring of Web Service Conversations, IEEE Transactions on Services Computing, vol.2, issue.3, pp.223-244, 2009.
DOI : 10.1109/TSC.2009.16

G. Wu, J. Wei, and T. Huang, Flexible Pattern Monitoring for WS-BPEL through Stateful Aspect Extension, 2008 IEEE International Conference on Web Services, 2008.
DOI : 10.1109/ICWS.2008.27