{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T15:35:53Z","timestamp":1791128153389,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540254201","type":"print"},{"value":"9783540319849","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31984-9_4","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T10:26:18Z","timestamp":1279016778000},"page":"34-48","source":"Crossref","is-referenced-by-count":59,"title":["Automatic Conformance Testing of Web Services"],"prefix":"10.1007","author":[{"given":"Reiko","family":"Heckel","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Leonardo","family":"Mariani","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1038\/scientificamerican0501-34","volume":"284","author":"T. Berners-Lee","year":"2001","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American\u00a0284, 34\u201343 (2001)","journal-title":"Scientific American"},{"key":"4_CR2","unstructured":"W3C Web Services Architecture Working Group: Web Services architecture requirements. W3C working draft, World Wide Web Consortium (2002)"},{"key":"4_CR3","unstructured":"Booth, D., Haas, H., McCabe, F., Newcomer, E., Champion, M., Ferris, C., Orchard, D.: Web Services architecture. In: W3C working group note, W3C (2004)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Hausmann, J.H., Heckel, R., Lohmann, M.: Model-based discovery of Web Services. In: Intl. Conference on Web Services (2004)","DOI":"10.1109\/ICWS.2004.1314754"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45832-8_30","volume-title":"Graph Transformation","author":"L. Baresi","year":"2002","unstructured":"Baresi, L., Heckel, R.: Tutorial introduction to graph transformation: a software engineering perspective. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505. Springer, Heidelberg (2002)"},{"key":"4_CR6","volume-title":"The Unified Software Development Process","author":"I. Jacobson","year":"1999","unstructured":"Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison-Wesley, Reading (1999)"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/BFb0017407","volume-title":"Graph Grammars and Their Application to Computer Science","author":"S. Kaplan","year":"1991","unstructured":"Kaplan, S., Loyall, J., Goering, S.: Specifying concurrent languages and systems with \u03b4-grammars. In: Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) Graph Grammars 1990. LNCS, vol.\u00a0532, pp. 475\u2013489. Springer, Heidelberg (1991)"},{"key":"4_CR8","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511663079","volume-title":"Data Refinement: Model-Oriented Proof Methods and Their Comparison","author":"W.P. Roever de","year":"1998","unstructured":"de Roever, W.P., Engelhardt, K.: Data Refinement: Model-Oriented Proof Methods and Their Comparison. Cambridge Tracts in Theoretical Computer Science, vol.\u00a047. Cambridge University Press, Cambridge (1998)"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1109\/TSE.1980.234486","volume":"6","author":"L. White","year":"1980","unstructured":"White, L., Cohen, E.J.: A domain strategy for computer program testing. IEEE Transactions on Software Engineering\u00a06, 247\u2013257 (1980)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1109\/32.83906","volume":"17","author":"E. Weyuker","year":"1991","unstructured":"Weyuker, E., Jeng, B.: Analyzing partition testing strategies. IEEE Transactions on Software Engineering\u00a017, 703\u2013711 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1145\/196092.193171","volume":"3","author":"B. Jeng","year":"1994","unstructured":"Jeng, B., Weyuker, E.J.: A simplified domain-testing strategy. ACM Transactions on Software Engineering Methodology\u00a03, 254\u2013270 (1994)","journal-title":"ACM Transactions on Software Engineering Methodology"},{"key":"4_CR12","unstructured":"Rapps, S., Wejuker, E.: Data flow analysis techniques for program test data selection. In: 6th Intl. Conference on Software Engineering, pp. 272\u2013278 (1982)"},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"1483","DOI":"10.1109\/32.6194","volume":"14","author":"P.G. Frankl","year":"1988","unstructured":"Frankl, P.G., Weyuker, E.J.: An applicable family of data flow testing criteria. IEEE Transactions on Software Engineering\u00a014, 1483\u20131498 (1988)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1109\/32.286418","volume":"20","author":"H.D. Pande","year":"1994","unstructured":"Pande, H.D., Landi, W.A., Ryder, B.G.: Interprocedural def-use associations for C systems with single level pointers. IEEE Transactions on Software Engineering\u00a020, 385\u2013403 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Hausmann, J., Heckel, R., Taentzer, G.: Detecting conflicting functional requirements in a use case driven approach: a static analysis technique based on graph transformation. In: Intl. Conference on Software Engineering, pp. 105\u2013155 (2002)","DOI":"10.1145\/581352.581355"},{"key":"4_CR16","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","year":"1997","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation, vol.\u00a01 - Foundations. World Scientific, Singapore (1997)"},{"key":"4_CR17","unstructured":"Technical University Berlin: The attributed graph grammar system (AGG) (Visited in 2004), http:\/\/tfs.cs.tu-berlin.de\/agg\/"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Baldan, P., K\u00f6nig, B., St\u00fcrmer, I.: Generating test cases for code generators by unfolding graph transformation systems. In: Proc. 2nd Intl. Conference on Graph Transformation, Rome, Italy (2004)","DOI":"10.1007\/978-3-540-30203-2_15"},{"key":"4_CR19","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/186258.187153","volume-title":"Proceedings of the 1994 ACM SIGSOFT Intl. Symposium on Software Testing and Analysis","author":"G.V. Bochmann","year":"1994","unstructured":"Bochmann, G.V., Petrenko, A.: Protocol testing: review of methods and relevance for software testing. In: Proceedings of the 1994 ACM SIGSOFT Intl. Symposium on Software Testing and Analysis, pp. 109\u2013124. ACM Press, New York (1994)"},{"key":"4_CR20","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1142\/9789812815149_0013","volume-title":"Handbook of graph grammars and computing by graph transformation: applications, languages, and tools","author":"A. Sch\u00fcrr","year":"1999","unstructured":"Sch\u00fcrr, A., Winter, A.J., Z\u00fcndorf, A.: The PROGRES approach: language and environment. In: Handbook of graph grammars and computing by graph transformation: applications, languages, and tools, vol.\u00a02, pp. 487\u2013550. World Scientific, Singapore (1999)"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/978-3-540-25959-6_40","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"A. Rensink","year":"2004","unstructured":"Rensink, A.: The GROOVE simulator: A\u00a0tool for state space generation. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol.\u00a03062, pp. 479\u2013485. Springer, Heidelberg (2004)"},{"key":"4_CR22","volume-title":"Enterprise Team: Designing Enterprise Applications with the J2EE Platform","author":"I. Singh","year":"2002","unstructured":"Singh, I., Stearns, B., Johnson, M.: Enterprise Team: Designing Enterprise Applications with the J2EE Platform, 2nd edn. Addison-Wesley, Reading (2002)","edition":"2"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Fraikin, F., Leonhardt, T.: SeDiTeC - testing based on sequence diagram. In: IEEE Intl. Conference on Automated Software Engineering (2002)","DOI":"10.1109\/ASE.2002.1115026"},{"key":"4_CR24","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1145\/347324.348872","volume-title":"Intl. Symposium on Software Testing and Analysis","author":"J. Hartmann","year":"2000","unstructured":"Hartmann, J., Imoberdorf, C., Meisinger, M.: Uml-based integration testing. In: Intl. Symposium on Software Testing and Analysis, pp. 60\u201370. ACM Press, New York (2000)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31984-9_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:33:05Z","timestamp":1605742385000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31984-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540254201","9783540319849"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31984-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}