Macías López, Henrique Ferreiro, Miguel A. Francisco, Laura M. Castro. Automatic Generation of Test Models for Web Services Using WSDL and OCL. In Samik Basu, Cesare Pautasso, Liang Zhang, Xiang Fu, editors, Service-Oriented Computing - 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, Proceedings. Volume 8274 of Lecture Notes in Computer Science, pages 483-490, Springer, 2013. [doi]