{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:11:20Z","timestamp":1747807880199},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540358008"},{"type":"electronic","value":"9783540358336"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11786160_1","type":"book-chapter","created":{"date-parts":[[2006,7,3]],"date-time":"2006-07-03T23:40:49Z","timestamp":1151970049000},"page":"1-25","source":"Crossref","is-referenced-by-count":38,"title":["Audition of Web Services for Testing Conformance to Open Specified Protocols"],"prefix":"10.1007","author":[{"given":"Antonia","family":"Bertolino","sequence":"first","affiliation":[]},{"given":"Lars","family":"Frantzen","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Polini","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Tretmans","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","volume-title":"Web Services \u2013 Concepts, Architectures and Applications","author":"G. Alonso","year":"2004","unstructured":"Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services \u2013 Concepts, Architectures and Applications. Springer, Heidelberg (2004)"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-0-387-35567-2_12","volume-title":"12 th Int. Workshop on Testing of Communicating Systems","author":"A. Belinfante","year":"1999","unstructured":"Belinfante, A., Feenstra, J., de Vries, R.G., Tretmans, J., Goga, N., Feijs, L., Mauw, S., Heerink, L.: Formal test automation: A simple experiment. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds.) 12th Int. Workshop on Testing of Communicating Systems, pp. 179\u2013196. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"1_CR3","volume-title":"Guide to the Software Engineering Body of Knowledge SWEBOK","author":"A. Bertolino","year":"2000","unstructured":"Bertolino, A.: Knowledge area description of software testing. In: Guide to the Software Engineering Body of Knowledge SWEBOK. IEEE Computer Society, Los Alamitos (2000)"},{"doi-asserted-by":"crossref","unstructured":"Bertolino, A., Polini, A.: The audition framework for testing web services interoperability. In: Proceedings of the 31st EUROMICRO International Conference on Software Engineering and Advanced Applications, Porto, Portugal, August 30th - September 3rd, 2005, pp. 134\u2013142 (2005)","key":"1_CR4","DOI":"10.1109\/EUROMICRO.2005.55"},{"unstructured":"Booth, D., et al.: Web Services Architecture (February 2004), http:\/\/www.w3.org\/TR\/ws-arch\/","key":"1_CR5"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/3-540-45510-8_9","volume-title":"Modeling and Verification of Parallel Processes","author":"E. Brinksma","year":"2001","unstructured":"Brinksma, E., Tretmans, J.: Testing transition systems: An annotated bibliography. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol.\u00a02067, pp. 187\u2013195. Springer, Heidelberg (2001)"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-31848-4_5","volume-title":"Formal Approaches to Software Testing","author":"L.B. Briones","year":"2005","unstructured":"Briones, L.B., Brinksma, E.: A test generation framework for quiescent real-time systems. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol.\u00a03395, pp. 64\u201378. Springer, Heidelberg (2005)"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Model-Based Testing of Reactive Systems","year":"2005","unstructured":"Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.): Model-Based Testing of Reactive Systems. LNCS, vol.\u00a03472. Springer, Heidelberg (2005)"},{"unstructured":"Christensen, E., et al.: Web Service Definition Language (WSDL) ver. 1.1 (March 2001) http:\/\/www.w3.org\/TR\/wsdl\/","key":"1_CR9"},{"unstructured":"Clement, L., et al.: Universal Description Discovery & Integration (UDDI) ver. 3.0 (October 2004), http:\/\/uddi.org\/pubs\/uddi_v3.htm","key":"1_CR10"},{"key":"1_CR11","volume-title":"UML 2 Toolkit","author":"H.E. Eriksson","year":"2004","unstructured":"Eriksson, H.E., et al.: UML 2 Toolkit. John Wiley and Sons, Chichester (2004)"},{"unstructured":"Bellinger, K., et al.: WS-I - basic profile, ver. 1.1 (August 2004), http:\/\/www.ws-i.org\/Profiles\/BasicProfile-1.1-2004-08-24.html","key":"1_CR12"},{"doi-asserted-by":"crossref","unstructured":"Foster, H., et al.: Model-based verification of web services compositions. In: Proc. ASE 2003, Montreal, Canada, October 6-10, 2003, pp. 152\u2013161 (2003)","key":"1_CR13","DOI":"10.1109\/ASE.2003.1240303"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-31848-4_1","volume-title":"Formal Approaches to Software Testing","author":"L. Frantzen","year":"2005","unstructured":"Frantzen, L., Tretmans, J., Willemse, T.A.C.: Test generation based on symbolic specifications. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol.\u00a03395, pp. 1\u201315. Springer, Heidelberg (2005)"},{"doi-asserted-by":"crossref","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: Proc. of WWW 2004, New York, USA, May 17-22, 2004 (2004)","key":"1_CR15","DOI":"10.1145\/988672.988756"},{"doi-asserted-by":"crossref","unstructured":"Garlan, D., Allen, R., Ockerbloom, J.: Architectural mismatch or why it\u2019s hard to build system out of existing parts. In: Proceedings 17th International Conference on Software Enginneering, pp. 179\u2013185 (April 1995)","key":"1_CR16","DOI":"10.1145\/225014.225031"},{"key":"1_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-27071-X_10","volume-title":"Modeling and Implementation of Built-In Contract Tests","author":"H.G. Gross","year":"2005","unstructured":"Gross, H.G., Schieferdecker, I., Din, G.: Testing Commercial-off-the-Shelf Components and Systems. In: Modeling and Implementation of Built-In Contract Tests. Springer, Heidelberg (2005)"},{"unstructured":"Gudgin, M., et al.: Simple Object Access Protocol (SOAP) ver. 1.2 (June 2003), http:\/\/www.w3.org\/TR\/soap12\/","key":"1_CR18"},{"doi-asserted-by":"crossref","unstructured":"Heckel, R., Lohman, M.: Towards contract-based testing of web services. In: Proc. TACOS, 2004. Electr. Notes Theor. Comput. Sci., vol.\u00a0116, pp. 145\u2013156 (2004)","key":"1_CR19","DOI":"10.1016\/j.entcs.2004.02.073"},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-31984-9_4","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Heckel","year":"2005","unstructured":"Heckel, R., Mariani, L.: Automatic conformance testing of web services. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 34\u201348. Springer, Heidelberg (2005)"},{"unstructured":"Jard, C., J\u00e9ron, T.: TGV: theory, principles and algorithms. In: IDPT 2002, Society for Design and Process Science, Pasadena, California, USA (June 2002)","key":"1_CR21"},{"issue":"10","key":"1_CR22","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying design by contract. IEEE Computer\u00a025(10), 40\u201351 (1992)","journal-title":"IEEE Computer"},{"unstructured":"Object Management Group. UML 2.0 Superstructure Specification, ptc\/03-08-02 edition. Adopted Specification","key":"1_CR23"},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/3-540-45254-0_12","volume-title":"Engineering Distributed Objects","author":"A. Orso","year":"2001","unstructured":"Orso, A., Harrold, M.J., Rosenblum, D.S.: Component metadata for software engineering tasks. In: Emmerich, W., Tai, S. (eds.) EDO 2000. LNCS, vol.\u00a01999, pp. 129\u2013144. Springer, Heidelberg (2001)"},{"key":"1_CR25","volume-title":"Testing Commercial-off-the-Shelf Components and Systems","author":"A. Polini","year":"2005","unstructured":"Polini, A., Bertolino, A.: A User-Oriented Framework for Component Deployment Testing. In: Testing Commercial-off-the-Shelf Components and Systems. Springer, Heidelberg (2005)"},{"issue":"3","key":"1_CR26","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test Generation with Inputs, Outputs and Repetitive Quiescence. Software \u2013 Concepts and Tools\u00a017(3), 103\u2013120 (1996)","journal-title":"Software \u2013 Concepts and Tools"},{"issue":"10","key":"1_CR27","first-page":"2130","volume":"E86-D","author":"W.T. Tsai","year":"2003","unstructured":"Tsai, W.T., et al.: 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"},{"doi-asserted-by":"crossref","unstructured":"Tsai, W.T., et al.: Verification of web services using an enhanced UDDI server. In: Proc. of WORDS 2003, Guadalajara, Mexico, January 15-17, 2003, pp. 131\u2013138 (2003)","key":"1_CR28","DOI":"10.1109\/WORDS.2003.1218075"},{"unstructured":"XML Metadata Interchange (XMI) Specification ver. 2.0 (May 2003), http:\/\/www.omg.org\/docs\/formal\/03-05-02.pdf","key":"1_CR29"}],"container-title":["Lecture Notes in Computer Science","Architecting Systems with Trustworthy Components"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11786160_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T19:25:55Z","timestamp":1555701955000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11786160_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540358008","9783540358336"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/11786160_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}