{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:14:20Z","timestamp":1742386460829},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540735502"},{"type":"electronic","value":"9783540735519"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73551-9_18","type":"book-chapter","created":{"date-parts":[[2007,8,13]],"date-time":"2007-08-13T14:28:02Z","timestamp":1187015282000},"page":"258-273","source":"Crossref","is-referenced-by-count":16,"title":["A Framework for Contract-Based Collaborative Verification and Validation of Web Services"],"prefix":"10.1007","author":[{"given":"Xiaoying","family":"Bai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yongbo","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guilan","family":"Dai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei-Tek","family":"Tsai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yinong","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Bai, X., Cao, Z., Chen, Y.: Design of a Trustworthy Service Broker and Dependence-Based Progressive Group Testing. The International Journal of High Performance Computing and Networking (to appear, 2007)","DOI":"10.1504\/IJSPM.2007.014716"},{"key":"18_CR2","unstructured":"Bai, X., Dai, G., Xu, D., Tsai, W.T.: A Multi-Agent Based Framework for Collaborative Testing on Web Services. In: Proc. of WCCIA, pp. 205\u2013210 (2006)"},{"key":"18_CR3","unstructured":"Bai, X., Dong, W., Tsai, W.T., Chen, Y.: WSDL-Based Automatic Test Case Generation for Web Services Testing. In: Proc. of IEEE SOSE 2005, pp. 207\u2013212 (2005)"},{"key":"18_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/b13225","volume-title":"Formal Methods at the Crossroads. From Panacea to Foundational Support","author":"K.A. Bernhard","year":"2003","unstructured":"Bernhard, K.A.: Contract-Based Testing. In: Aichernig, B.K., Maibaum, T.S.E. (eds.) Formal Methods at the Crossroads. From Panacea to Foundational Support. LNCS, vol.\u00a02757, pp. 34\u201348. Springer, Heidelberg (2003)"},{"key":"18_CR5","first-page":"123","volume-title":"ACM SIGSOFT Software Engineering Notes","author":"C. Boyapati","year":"2002","unstructured":"Boyapati, C., Khurshid, S., Marinov, D.: Korat: Automated Testing Based on Java Predicates. In: ACM SIGSOFT Software Engineering Notes, vol.\u00a027(4), pp. 123\u2013133. ACM Press, New York (2002)"},{"key":"18_CR6","unstructured":"Bloomberg, J.: Web Services Testing: Beyond SOAP, ZapThink LLC (2002), at http:\/\/www.zapthink.com"},{"key":"18_CR7","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1145\/566172.566183","volume-title":"Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis","author":"L.C. Briand","year":"2002","unstructured":"Briand, L.C., Labiche, Y., Sun, H.: Investigating the Use of Analysis Contracts to Support Fault Isolation in Object Oriented Code. In: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, pp. 70\u201380. ACM Press, New York (2002)"},{"key":"18_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/11596141_8","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"M. Bruno","year":"2005","unstructured":"Bruno, M., Canfora, G., et al.: Using Test Cases as Contract to Ensure Service Compliance across Releases. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 87\u2013100. Springer, Heidelberg (2005)"},{"issue":"2","key":"18_CR9","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/MITP.2006.51","volume":"8","author":"G. Canfora","year":"2006","unstructured":"Canfora, G., Di Penta, M.: Testing Services and Service-Centric Systems: Challenges and Opportunities. IT Professional\u00a08(2), 10\u201317 (2006)","journal-title":"IT Professional"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Canfora, G.: User-Side Testing of Web Services, keynote address at CSMR (2005)","DOI":"10.1109\/CSMR.2005.57"},{"key":"18_CR11","unstructured":"Ciupa, I., Leitner, A.: Automatic Testing Based on Design by Contract. In: Proceedings of Net.ObjectDays, pp. 545\u2013557 (2005)"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based verification of web service compositions. In: Proc. ASE (2003)","DOI":"10.1109\/ASE.2003.1240303"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Heckel, R., Lohmann, M.: Towards Contract-Based Testing of Web Services. Electronic Notes in Theoretical Computer Science, vol.\u00a082(6) (2004)","DOI":"10.1016\/S1571-0661(04)81023-5"},{"key":"18_CR14","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1145\/1007512.1007532","volume-title":"ISSTA 2004","author":"K. Meinke","year":"2004","unstructured":"Meinke, K.: Automated Black-Box Testing of Functional Correctness Using Function Approximation. In: ISSTA 2004. Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, pp. 143\u2013153. ACM Press, New York (2004)"},{"key":"18_CR15","unstructured":"Nakajima, S.: Model-checking verification for reliable web service. In: Proc.OOPSLA 2002 Workshop on Web Services (2002)"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Narayanan, S., Mcllraith, S.: Simulation, verification and automated composition of web services. In: Proc. WWW (2002)","DOI":"10.1145\/511446.511457"},{"issue":"10","key":"18_CR17","first-page":"2130","volume":"E86-D","author":"W.T. Tsai","year":"2003","unstructured":"Tsai, W.T., Paul, R., Yu, L., Saimi, A., Cao, Z.: Scenario-Based Web Service Testing with Distributed Agents. IEICE Transaction on Information and System\u00a0E86-D(10), 2130\u20132144 (2003)","journal-title":"IEICE Transaction on Information and System"},{"key":"18_CR18","first-page":"1","volume-title":"Proc. IEEE COMPSAC","author":"W.T. Tsai","year":"2001","unstructured":"Tsai, W.T., Chen, Y., Paul, R., Liao, N., Huang, H.: Cooperative and Group Tesitng in Verification of Dynamic Composite Web Services. In: Proc. IEEE COMPSAC, pp. 1\u20134. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"18_CR19","first-page":"131","volume-title":"Proc. of IEEE WORDS","author":"W.T. Tsai","year":"2003","unstructured":"Tsai, W.T., Paul, R., Cao, Z., Yu, L., Saimi, A., Xiao, B.: Verification of Web Services Using an Enhanced UDDI Server. In: Proc. of IEEE WORDS, pp. 131\u2013138. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"18_CR20","first-page":"756","volume-title":"Proceedings of the IEEE International Conference on Web Services","author":"X. Yi","year":"2004","unstructured":"Yi, X., Kochut, K.J.: A CP-nets-based Design and Verification Framework for Web Services Composition. In: Proceedings of the IEEE International Conference on Web Services, March 2004, pp. 756\u2013760. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"18_CR21","unstructured":"Web Services Architecture[s], W3C Working Draft (November 14, 2002), http:\/\/www.w3.org\/TR\/ws-arch\/"},{"key":"18_CR22","unstructured":"OWL-S, at: http:\/\/www.daml.org\/services\/owl-s"},{"key":"18_CR23","unstructured":"XML Schema Part 2: Datatypes (May 2001), http:\/\/www.w3.org\/TR\/xmlschema-2\/"}],"container-title":["Lecture Notes in Computer Science","Component-Based Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73551-9_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T19:32:35Z","timestamp":1684006355000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73551-9_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540735502","9783540735519"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73551-9_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}