{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:12:58Z","timestamp":1725570778359},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642173578"},{"type":"electronic","value":"9783642173585"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45005-1_37","type":"book-chapter","created":{"date-parts":[[2013,11,27]],"date-time":"2013-11-27T09:53:14Z","timestamp":1385545994000},"page":"483-490","source":"Crossref","is-referenced-by-count":3,"title":["Automatic Generation of Test Models for Web Services Using WSDL and OCL"],"prefix":"10.1007","author":[{"given":"Mac\u00edas","family":"L\u00f3pez","sequence":"first","affiliation":[]},{"given":"Henrique","family":"Ferreiro","sequence":"additional","affiliation":[]},{"given":"Miguel A.","family":"Francisco","sequence":"additional","affiliation":[]},{"given":"Laura M.","family":"Castro","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"37_CR1","unstructured":"BNFC, \n                    \n                      http:\/\/bnfc.digitalgrammars.com\/"},{"key":"37_CR2","unstructured":"Object Constraint Language (OCL), \n                    \n                      http:\/\/www.omg.org\/spec\/OCL\/2.3.1\/"},{"key":"37_CR3","unstructured":"OCLNL, \n                    \n                      http:\/\/www.key-project.org\/oclnl\/"},{"key":"37_CR4","unstructured":"Semantic Web Rule Language (SWRL), \n                    \n                      http:\/\/www.w3.org\/Submission\/SWRL\/"},{"key":"37_CR5","unstructured":"Web Services Description Language (WSDL), \n                    \n                      http:\/\/www.w3.org\/TR\/wsdl\/"},{"key":"37_CR6","unstructured":"Web Services Semantics (WSDL-S), \n                    \n                      http:\/\/www.w3.org\/Submission\/WSDL-S\/"},{"key":"37_CR7","doi-asserted-by":"crossref","unstructured":"Arts, T., Hughes, J., Johansson, J., Wiger, U.: Testing telecoms software with Quviq QuickCheck. In: ACM SIGPLAN Workshop on Erlang., pp. 2\u201310 (2006)","DOI":"10.1145\/1159789.1159792"},{"key":"37_CR8","doi-asserted-by":"crossref","unstructured":"Askarunisa, A., Abirami, A., Mohan, S.: A test case reduction method for semantic based web services. In: International Conference on Computing, Communication and Networking Technologies, pp. 1\u20137 (2010)","DOI":"10.1109\/ICCCNT.2010.5591616"},{"key":"37_CR9","doi-asserted-by":"crossref","unstructured":"Bai, X., Lee, S., Tsai, W., Chen, Y.: Ontology-based test modeling and partition testing of web services. In: IEEE International Conference on Web Services, pp. 465\u2013472 (2008)","DOI":"10.1109\/ICWS.2008.111"},{"key":"37_CR10","doi-asserted-by":"crossref","unstructured":"Bartolini, C., Bertolino, A., Marchetti, E., Polini, A.: WS-TAXI: A WSDL-based testing tool for web services. In: International Conference on Software Testing, Verification, and Validation, pp. 326\u2013335 (2009)","DOI":"10.1109\/ICST.2009.28"},{"key":"37_CR11","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Inverardi, P., Pelliccione, P., Tivoli, M.: Automatic synthesis of behavior protocols for composable web-services. In: ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 141\u2013150 (2009)","DOI":"10.1145\/1595696.1595719"},{"key":"37_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-642-17071-3_13","volume-title":"Formal Methods for Components and Objects","author":"J. Derrick","year":"2010","unstructured":"Derrick, J., Walkinshaw, N., Arts, T., Benac Earle, C., Cesarini, F., Fredlund, L.-A., Gulias, V., Hughes, J., Thompson, S.: Property-based testing - the ProTest project. In: de Boer, F.S., Bonsangue, M.M., Hallerstede, S., Leuschel, M. (eds.) FMCO 2009. LNCS, vol.\u00a06286, pp. 250\u2013271. Springer, Heidelberg (2010)"},{"key":"37_CR13","doi-asserted-by":"crossref","unstructured":"Emmerich, W.: Managing web service quality. In: International Workshop on Software Engineering and Middleware, pp. 1\u20131 (2006)","DOI":"10.1145\/1210525.1210527"},{"issue":"4","key":"37_CR14","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/263244.263267","volume":"22","author":"G. Fink","year":"1997","unstructured":"Fink, G., Bishop, M.: Property-based testing: a new approach to testing for assurance. SIGSOFT Software Engineering Notes\u00a022(4), 74\u201380 (1997)","journal-title":"SIGSOFT Software Engineering Notes"},{"key":"37_CR15","first-page":"356","volume":"52","author":"M. Forsberg","year":"2003","unstructured":"Forsberg, M., Ranta, A.: Labelled BNF: a highlevel formalism for defining well-behaved programming languages. Estonian Academy of Sciences: Physics and Mathematics\u00a052, 356\u2013377 (2003)","journal-title":"Estonian Academy of Sciences: Physics and Mathematics"},{"key":"37_CR16","doi-asserted-by":"crossref","unstructured":"Francisco, M.A., Castro, L.M.: Automatic generation of test models and properties from UML models with OCL constraints. In: International Workshop on OCL and Textual Modelling, pp. 49\u201354 (2012)","DOI":"10.1145\/2428516.2428525"},{"key":"37_CR17","doi-asserted-by":"crossref","unstructured":"Lampropoulos, L., Sagonas, K.F.: Automatic WSDL-guided test case generation for proper testing of web services. In: International Workshop on Automated Specification and Verification of Web Systems, vol.\u00a098, pp. 3\u201316 (2012)","DOI":"10.4204\/EPTCS.98.3"},{"issue":"2","key":"37_CR18","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1109\/TSE.2010.32","volume":"37","author":"S. Mouchawrab","year":"2011","unstructured":"Mouchawrab, S., Briand, L.C., Labiche, Y., Di Penta, M.: Assessing, comparing, and combining state machine-based testing and structural testing: A series of experiments. IEEE Transactions Software Engineering\u00a037(2), 161\u2013187 (2011)","journal-title":"IEEE Transactions Software Engineering"},{"key":"37_CR19","doi-asserted-by":"crossref","unstructured":"Noikajana, S., Suwannasart, T.: An improved test case generation method for web service testing from WSDL-S and OCL with pair-wise testing technique. In: International Computer Software and Applications Conference, pp. 115\u2013123 (2009)","DOI":"10.1109\/COMPSAC.2009.25"},{"key":"37_CR20","doi-asserted-by":"crossref","unstructured":"Farrell-Vinay, P.: Managing Software Testing. Auerbach Publishers (2008)","DOI":"10.1201\/9781420013849"},{"key":"37_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-540-70881-0_5","volume-title":"Perspectives of Systems Informatics","author":"A. Petrenko","year":"2007","unstructured":"Petrenko, A.: Why automata models are sexy for testers (Invited talk). In: Virbitskaite, I., Voronkov, A. (eds.) PSI 2006. LNCS, vol.\u00a04378, pp. 26\u201326. Springer, Heidelberg (2007)"},{"key":"37_CR22","doi-asserted-by":"crossref","unstructured":"Timm, J., Gannod, G.: Specifying semantic web service compositions using UML and OCL. In: IEEE International Conference on Web Services, pp. 521\u2013528 (2007)","DOI":"10.1109\/ICWS.2007.168"},{"issue":"2","key":"37_CR23","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1109\/32.988498","volume":"28","author":"A. Zeller","year":"2002","unstructured":"Zeller, A., Hildebrandt, R.: Simplifying and isolating failure-inducing input. IEEE Trans. Softw. Eng.\u00a028(2), 183\u2013200 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"37_CR24","doi-asserted-by":"publisher","first-page":"64","DOI":"10.4304\/jsw.2.3.64-77","volume":"2","author":"Y. Zheng","year":"2007","unstructured":"Zheng, Y., Zhou, J., Krause, P.: An automatic test case generation framework for web services. Journal of Software\u00a02(3), 64\u201377 (2007)","journal-title":"Journal of Software"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45005-1_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T21:36:16Z","timestamp":1558733776000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45005-1_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642173578","9783642173585"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45005-1_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}