{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:34:32Z","timestamp":1725701672879},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/sose.2011.6139107","type":"proceedings-article","created":{"date-parts":[[2012,1,31]],"date-time":"2012-01-31T21:50:17Z","timestamp":1328046617000},"page":"181-192","source":"Crossref","is-referenced-by-count":8,"title":["Model-based testing of web service compositions"],"prefix":"10.1109","author":[{"given":"Fevzi","family":"Belli","sequence":"first","affiliation":[]},{"given":"Andre Takeshi","family":"Endo","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Linschulte","sequence":"additional","affiliation":[]},{"given":"Adenilso","family":"Simao","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/QUATIC.2010.49"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.427"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.335"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s11761-010-0056-5"},{"article-title":"OASIS web services business process execution language (WSBPEL) v2.0","year":"2007","author":"jordan","key":"ref14"},{"article-title":"Web services choreography description language version 1.0","year":"2005","author":"kavantzas","key":"ref15"},{"article-title":"Web service choreography interface (WSCI) 1.0","year":"2002","author":"arkin","key":"ref16"},{"journal-title":"The Art of Software Testing","year":"2004","author":"myers","key":"ref17"},{"key":"ref18","first-page":"220","article-title":"Minimal spanning set for coverage testing of interactive systems","author":"belli","year":"2004","journal-title":"International Colloquium on Theoretical Aspects and Computing (ICTAC)"},{"key":"ref19","first-page":"137","author":"russell","year":"2003","journal-title":"Artificial Intelligence A Modern Approach"},{"key":"ref4","first-page":"78","article-title":"Service-oriented architectures testing: A survey","author":"canfora","year":"2009","journal-title":"Software Engineering International Summer Schools (ISSSE)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-007-0044-3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/11754008_8"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595720"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/978-3-642-05031-2_2","article-title":"A formal framework for service orchestration testing based on symbolic transition systems","author":"bentakouk","year":"2009","journal-title":"International Conference on Testing of Software and Communication Systems (TESTCOM)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2009.50"},{"journal-title":"SOA in Practice The Art of Distributed System Design","year":"2007","author":"josuttis","key":"ref2"},{"key":"ref9","first-page":"179","article-title":"Applying model checking to generate model-based integration tests from choreography models","author":"wieczorek","year":"2009","journal-title":"TESTCOM"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.444.0781"},{"journal-title":"Communicating Sequential Processes","year":"2004","author":"hoare","key":"ref20"},{"key":"ref22","article-title":"Testing web services: A survey","author":"bozkurt","year":"2010","journal-title":"Tech Rep TR-10-01"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.56"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/SSIRI-C.2010.26"},{"key":"ref23","first-page":"89","article-title":"A systematic review on formal testing approaches for web services","author":"endo","year":"2010","journal-title":"2nd Brazilian Workshop on Systematic and Automated Software Testing"},{"journal-title":"Practical Model-Based Testing A Tools Approach","year":"2006","author":"utting","key":"ref25"}],"event":{"name":"2011 IEEE 6th International Symposium on Service Oriented System Engineering (SOSE)","start":{"date-parts":[[2011,12,12]]},"location":"Irvine, CA, USA","end":{"date-parts":[[2011,12,14]]}},"container-title":["Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6132474\/6139076\/06139107.pdf?arnumber=6139107","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T13:37:15Z","timestamp":1497965835000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6139107\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/sose.2011.6139107","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}