1. García-Fanjul, J., Tuya, J., de la Riva, C.: Generating test cases specifications for compositions of web services. In: Bertolino, A., Polini, A. (eds.) Proceedings of International Workshop on Web Services Modeling and Testing (WS-MaTe 2006), Palermo, Sicily, Italy, pp. 83–94 (2006)
2. Frantzen, L., Tretmans, J., de Vries, R.: Towards model-based testing of web services. In: Bertolino, A., Polini, A. (eds.) Proceedings of International Workshop on Web Services Modeling and Testing (WS-MaTe 2006), Palermo, Sicily, Italy, pp. 67–82 (2006)
3. Lallali, M., Zaidi, F., Cavalli, A., Hwang, I.: Automatic timed test case generation for web services composition. In: The 6th IEEE European Conference on Web Services (ECOWS 2008), Dublin, pp. 53–63. IEEE Computer Society Press, Los Alamitos (2008)
4. Lecture Notes in Computer Science;J.P. Escobedo,2009
5. Cao, T.D., Felix, P., Castanet, R.: Wsotf: An automatic testing tool for web services composition. In: Proceedings of the 2010 Fifth International Conference on Internet and Web Applications and Services ICIW 2010, pp. 7–12. IEEE Computer Society, Washington, DC, USA (2010)