{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T05:33:14Z","timestamp":1740720794702,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642169007"},{"type":"electronic","value":"9783642169014"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16901-4_11","type":"book-chapter","created":{"date-parts":[[2010,11,8]],"date-time":"2010-11-08T17:40:06Z","timestamp":1289238006000},"page":"138-154","source":"Crossref","is-referenced-by-count":10,"title":["Automatically Testing Web Services Choreography with Assertions"],"prefix":"10.1007","author":[{"given":"Lei","family":"Zhou","sequence":"first","affiliation":[]},{"given":"Jing","family":"Ping","sequence":"additional","affiliation":[]},{"given":"Hao","family":"Xiao","sequence":"additional","affiliation":[]},{"given":"Zheng","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Geguang","family":"Pu","sequence":"additional","affiliation":[]},{"given":"Zuohua","family":"Ding","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Bartolini, C., Bertolino, A., Marchetti, E., Polini, A.: WS-TAXI: A WSCDL-based Testing Tool for Web Services. In: ICST 2009, pp. 326\u2013335 (2009)","DOI":"10.1109\/ICST.2009.28"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Biere, A., Cimatti, A., Clarke, E.M., Strichman, O., Zhu, Y.: Bounded model checking. In: Advances in Computers, vol.\u00a058, pp. 118\u2013149 (2003)","DOI":"10.1016\/S0065-2458(03)58003-2"},{"key":"11_CR3","unstructured":"Business Process Modeling Language (BPML), http:\/\/www.ebpml.org\/bpml.htm"},{"key":"11_CR4","unstructured":"Business Process Execution Language for Web Services version 1.1 http:\/\/www.ibm.com\/developerworks\/library\/specification\/ws-bpel\/"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Chan, W.K., Cheung, S.C., Leung, K.R.P.H.: Towards a Metamorphic Testing Methodology for Service-oriented Software Applications. In: QSIC 2005, pp. 470\u2013476 (2005)","DOI":"10.1109\/QSIC.2005.67"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-Based Analysis of Obligations in Web Service Choreography. In: AICT\/ICIW 2006, p. 149 (2006)","DOI":"10.1109\/AICT-ICIW.2006.131"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: Dart: Directed Automated Random Testing. In: PLDI 2005, pp. 213\u2013223 (2005)","DOI":"10.1145\/1065010.1065036"},{"key":"11_CR8","unstructured":"Java Architecture for XML Binding (JAXB), https:\/\/jaxb.dev.java.net\/"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Li, Z., Sun, W., Jiang, Z.B., Zhang, X.: BPEL4WS Unit Testing: Framework and Implementation. In: ICWS 2005, pp. 103\u2013110 (2005)","DOI":"10.1109\/ICWS.2005.31"},{"key":"11_CR10","volume-title":"Principles of Program Analysis","author":"F. Nielson","year":"2004","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer, Heidelberg (2004)"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Mei, L., Chan, W.K., Tse, T.H.: Data Flow Testing of Service Choreography. In: ESEC\/FSE 2009, pp. 151\u2013160 (2009)","DOI":"10.1145\/1595696.1595720"},{"key":"11_CR12","unstructured":"OASIS. Universal Description Discovery and Integration (2004), http:\/\/www.uddi.org\/pubs\/uddi_v3.htm"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Pu, G., Shi, J., Wang, Z., Jin, L., Liu, J., He, J.: The Validaton and Verification of WSCDL. In: APSEC 2007, pp. 81\u201388 (2007)","DOI":"10.1109\/ASPEC.2007.79"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Yan, J., Li, Z., Yuan, Y., Sun, W., Zhang, J.: BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach. In: ISSRE 2006, pp. 75\u201384 (2006)","DOI":"10.1109\/ISSRE.2006.16"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Zhou, L., Zhang, H., Wang, T., Yang, C., Wang, Z., Sun, M., Pu, G.: Static Check of WS-CDL Documents. In: SOSE 2008, pp. 142\u2013147 (2008)","DOI":"10.1109\/SOSE.2008.36"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Distributed Computing and Internet Technology","author":"G. Pu","year":"2008","unstructured":"Pu, G., Zhao, Y., Wang, Z., Feng, L., Zhu, H., He, J.: A Denotational Model for Web Services Choreography. In: Parashar, M., Aggarwal, S.K. (eds.) ICDCIT 2008. LNCS, vol.\u00a05375, pp. 1\u201312. Springer, Heidelberg (2008)"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Sen, K., Marinov, D., Agha, G.: Cute: A Concolic Unit Testing Engine for C. In: ESEC\/FSE-13, pp. 263\u2013272 (2005)","DOI":"10.1145\/1081706.1081750"},{"key":"11_CR18","unstructured":"Monakova, G., Kopp, O., Leymann, F., Moser, S., Schafers, K.: Verifying Business Rules Using an SMT Solver for BPEL Processes. In: BPSC 2009, pp. 81\u201394 (2009)"},{"key":"11_CR19","first-page":"375","volume-title":"WS-CDL+ for web service collaboration Information Systems Frontiers","author":"Z. Kang","year":"2007","unstructured":"Kang, Z., Wang, H., Hung, P.C.: WS-CDL+ for web service collaboration Information Systems Frontiers, vol.\u00a09, pp. 375\u2013389. Kluwer Academic Publishers, Dordrecht (2007)"},{"key":"11_CR20","unstructured":"W3C Note. Simple Object Access Protocol (SOAP) 1.1 (2000), http:\/\/www.w3.org\/TR\/soap"},{"key":"11_CR21","unstructured":"W3C Note. Web Service Definition Language (WSDL) 1.1 (2001), http:\/\/www.w3.org\/TR\/wsdl"},{"key":"11_CR22","volume-title":"Web Services Platform Architecture : SOAP, WSDL, WS-Policy, WS-Addressing, WS-BPEL, WS-Reliable Messaging, and More","author":"S. Weerawarana","year":"2005","unstructured":"Weerawarana, S., Curbera, F., Leymann, F., Storey, T., Ferguson, D.F.: Web Services Platform Architecture: SOAP, WSDL, WS-Policy, WS-Addressing, WS-BPEL, WS-Reliable Messaging, and More. Prentice Hall PTR, Englewood Cliffs (2005)"},{"key":"11_CR23","unstructured":"Web Services Choreography Description Language (WS-CDL), Version 1.0 (November 2005), http:\/\/www.w3.org\/TR\/ws-cdl-10\/"},{"key":"11_CR24","unstructured":"Web Services Flow Language (WSFL), http:\/\/xml.coverpages.org\/wsfl.html"},{"key":"11_CR25","unstructured":"Web Service Choreography Interface (WSCI), Version 1.0 (January 2004), http:\/\/www.w3.org\/TR\/2002\/NOTE-wsci-20020808"},{"issue":"3","key":"11_CR26","first-page":"35","volume":"1","author":"P. Massuthe","year":"2005","unstructured":"Massuthe, P., Reisig, W., Schmidt, K.: An operating guideline approach to the SOA. Annals of Mathematics, Computing & Teleinformatics\u00a01(3), 35\u201343 (2005)","journal-title":"Annals of Mathematics, Computing & Teleinformatics"},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"Zhou, L., Xiao, H., Ping, J., Pu, G., Zhang, H.: Simulation and Validation of Web Services Choreography. In: SOCA 2009, Taipei, China (December 2009)","DOI":"10.1109\/SOCA.2009.5410262"},{"key":"11_CR28","doi-asserted-by":"crossref","unstructured":"Kaschner, K., Lohmann, N.: Automatic Test Case Generation for Interacting Services. In: ICSOC 2008. LNCS, vol.\u00a05472, pp. 66\u201378. Springer, Heidelberg (2009)","DOI":"10.1007\/978-3-642-01247-1_7"},{"key":"11_CR29","unstructured":"Z3: An Efficient SMT Solver, http:\/\/research.microsoft.com\/en-us\/um\/redmond\/projects\/z3\/"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16901-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T17:49:38Z","timestamp":1740678578000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16901-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642169007","9783642169014"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16901-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}