{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T08:33:07Z","timestamp":1794385987921,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642198106","type":"print"},{"value":"9783642198113","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-19811-3_24","type":"book-chapter","created":{"date-parts":[[2011,3,14]],"date-time":"2011-03-14T09:06:18Z","timestamp":1300093578000},"page":"341-355","source":"Crossref","is-referenced-by-count":8,"title":["On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual Contracts"],"prefix":"10.1007","author":[{"given":"Tamim Ahmed","family":"Khan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Reiko","family":"Heckel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/MITP.2006.51","volume":"8","author":"G. Canfora","year":"2006","unstructured":"Canfora, G., Penta, M.D.: Testing services and service-centric systems: Challenges and opportunities. IT Professional\u00a08, 10\u201317 (2006)","journal-title":"IT Professional"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"Penta, M., Bruno, M., Esposito, G., Mazza, V., Canfora, G.: Web services regression testing. Test and Analysis of Web Services, 205\u2013234 (2007)","DOI":"10.1007\/978-3-540-72912-9_8"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Rothermel, G., Harrold, M.J.: Analyzing regression test selection techniques. IEEE Transactions on Software Engineering\u00a022 (1996)","DOI":"10.1109\/32.536955"},{"key":"24_CR4","unstructured":"Leung, H., White, L.: Insights into regression testing [software testing]. In: Proc. Conference on Software Maintenance, pp. 60\u201369 (October 1989)"},{"key":"24_CR5","series-title":"Monographs in Theoretical Computer Science. An EATCS Series","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2006)"},{"key":"24_CR6","first-page":"187","volume-title":"Electr. Notes Theor. Comput. Sci.","author":"R. Heckel","year":"2006","unstructured":"Heckel, R.: Graph transformation in a nutshell. In: Electr. Notes Theor. Comput. Sci., pp. 187\u2013198. Elsevier, Amsterdam (2006)"},{"key":"24_CR7","first-page":"63","volume-title":"VLHCC 2005: Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing","author":"M. Lohmann","year":"2005","unstructured":"Lohmann, M., Sauer, S., Engels, G.: Executable visual contracts. In: VLHCC 2005: Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing, pp. 63\u201370. IEEE Computer Society, Washington, DC, USA (2005)"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Lohmann, M., Mariani, L., Heckel, R.: A model-driven approach to discovery, testing and monitoring of web services. Test and Analysis of Web Services, 173\u2013204 (2007)","DOI":"10.1007\/978-3-540-72912-9_7"},{"key":"24_CR9","unstructured":"Khan, T., Machado, R., Heckel, R.: On the observable behavior of graph transformation systems. Technical Report CS-10-003, Department of Computer Sciences (August 2010), http:\/\/www.cs.le.ac.uk\/people\/tak12\/observable.pdf"},{"issue":"1","key":"24_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.2001.3060","volume":"171","author":"P. Baldan","year":"2001","unstructured":"Baldan, P., Corradini, A., Montanari, U.: Contextual petri nets, asymmetric event structures, and processes. Information and Computation\u00a0171(1), 1\u201349 (2001)","journal-title":"Information and Computation"},{"key":"24_CR11","unstructured":"AGG: AGG - Attributed Graph Grammar System Environment (2007), http:\/\/tfs.cs.tu-berlin.de\/agg"},{"key":"24_CR12","doi-asserted-by":"publisher","DOI":"10.1142\/2563","volume-title":"The Book of Traces","author":"V. Diekert","year":"1995","unstructured":"Diekert, V., Rozenberg, G.: The Book of Traces. World Scientific Publishing Co., Inc., River Edge (1995)"},{"key":"24_CR13","volume-title":"Software Engineering: Theory and Practice","author":"S.L. Pfleeger","year":"2001","unstructured":"Pfleeger, S.L.: Software Engineering: Theory and Practice. Prentice Hall PTR, Upper Saddle River (2001)"},{"issue":"3","key":"24_CR14","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1109\/TSE.1976.233816","volume":"SE-2","author":"W. Howden","year":"1976","unstructured":"Howden, W.: Reliability of the path analysis testing strategy. IEEE Transactions on Software Engineering\u00a0SE-2(3), 208\u2013215 (1976)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"7","key":"24_CR15","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1016\/0967-0661(95)00082-6","volume":"3","author":"A. Pasquini","year":"1995","unstructured":"Pasquini, A., Agostino, E.D.: Fault seeding for software reliability model validation. Control Engineering Practice\u00a03(7), 993\u2013999 (1995)","journal-title":"Control Engineering Practice"},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"Korel, B., Tahat, L., Vaysburg, B.: Model based regression test reduction using dependence analysis. In: Proc. Conference on Software Maintenance, pp. 214\u2013223 (2002)","DOI":"10.1109\/ICSM.2002.1167768"},{"key":"24_CR17","first-page":"54","volume-title":"A-MOST 2007: Proc. of the 3rd Intl. Workshop on Advances in Model-based Testing","author":"Y. Chen","year":"2007","unstructured":"Chen, Y., Probert, R.L., Ural, H.: Model-based regression test suite generation using dependence analysis. In: A-MOST 2007: Proc. of the 3rd Intl. Workshop on Advances in Model-based Testing, pp. 54\u201362. ACM, New York (2007)"},{"issue":"1","key":"24_CR18","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1016\/j.infsof.2008.09.010","volume":"51","author":"L.C. Briand","year":"2009","unstructured":"Briand, L.C., Labiche, Y., He, S.: Automating regression test selection based on UML designs. Inf. Softw. Technol.\u00a051(1), 16\u201330 (2009)","journal-title":"Inf. Softw. Technol."},{"key":"24_CR19","first-page":"729","volume-title":"COMPSAC 2007: Proceedings of the 31st Annual International Computer Software and Applications Conference","author":"M. Ruth","year":"2007","unstructured":"Ruth, M., Oh, S., Loup, A., Horton, B., Gallet, O., Mata, M., Tu, S.: Towards automatic regression test selection for web services. In: COMPSAC 2007: Proceedings of the 31st Annual International Computer Software and Applications Conference, pp. 729\u2013736. IEEE Computer Society, Washington, DC, USA (2007)"}],"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-642-19811-3_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,4]],"date-time":"2025-03-04T02:12:41Z","timestamp":1741054361000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19811-3_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642198106","9783642198113"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19811-3_24","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-642-19811-3","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}