{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,3]],"date-time":"2025-04-03T04:19:01Z","timestamp":1743653941257,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":55,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642309816"},{"type":"electronic","value":"9783642309823"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-30982-3_11","type":"book-chapter","created":{"date-parts":[[2012,6,26]],"date-time":"2012-06-26T02:04:30Z","timestamp":1340676270000},"page":"399-437","source":"Crossref","is-referenced-by-count":30,"title":["Formal Specification and Testing of Model Transformations"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Vallecillo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Gogolla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Loli","family":"Burgue\u00f1o","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Wimmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lars","family":"Hamann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Lin, Y., Zhang, J., Gray, J.: Model comparison: A key challenge for transformation testing and version control in model driven software development. In: Control in Model Driven Software Development. OOPSLA\/GPCE: Best Practices for Model-Driven Software Development, pp. 219\u2013236. Springer (2004)"},{"key":"11_CR2","unstructured":"Baudry, B., Dinh-Trong, T., Mottu, J.M., Simmonds, D., France, R., Ghosh, S., Fleurey, F., Traon, Y.L.: Model transformation testing challenges. In: Proc. of IMDD-MDT 2006 (2006)"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1007\/978-3-540-88643-3_10","volume-title":"Generative and Transformational Techniques in Software Engineering II","author":"P. Stevens","year":"2008","unstructured":"Stevens, P.: A Landscape of Bidirectional Model Transformations. In: L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2008. LNCS, vol.\u00a05235, pp. 408\u2013424. Springer, Heidelberg (2008)"},{"issue":"6","key":"11_CR4","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1145\/1743546.1743583","volume":"53","author":"B. Baudry","year":"2010","unstructured":"Baudry, B., Ghosh, S., Fleurey, F., France, R., Traon, Y.L., Mottu, J.M.: Barriers to systematic model transformation testing. Communications of the ACM\u00a053(6), 139\u2013143 (2010)","journal-title":"Communications of the ACM"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-540-75336-0_12","volume-title":"Trustworthy Global Computing","author":"L. Baresi","year":"2007","unstructured":"Baresi, L., Ehrig, K., Heckel, R.: Verification of Model Transformations: A Case Study with BPEL. In: Montanari, U., Sannella, D., Bruni, R. (eds.) TGC 2006. LNCS, vol.\u00a04661, pp. 183\u2013199. Springer, Heidelberg (2007)"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-540-31984-9_5","volume-title":"Fundamental Approaches to Software Engineering","author":"H. Ehrig","year":"2005","unstructured":"Ehrig, H., Ehrig, K., de Lara, J., Taentzer, G., Varr\u00f3, D., Varr\u00f3-Gyapay, S.: Termination Criteria for Model Transformation. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 49\u201363. Springer, Heidelberg (2005)"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/s10270-008-0095-y","volume":"8","author":"K. Ehrig","year":"2009","unstructured":"Ehrig, K., K\u00fcster, J.M., Taentzer, G.: Generating instance models from meta models. Software and Systems Modeling\u00a08, 479\u2013500 (2009)","journal-title":"Software and Systems Modeling"},{"issue":"3","key":"11_CR8","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/s10270-006-0018-8","volume":"5","author":"J.M. K\u00fcster","year":"2006","unstructured":"K\u00fcster, J.M.: Definition and validation of model transformations. Software and Systems Modeling\u00a05(3), 233\u2013259 (2006)","journal-title":"Software and Systems Modeling"},{"issue":"2","key":"11_CR9","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/j.jss.2009.08.012","volume":"83","author":"J. Cabot","year":"2010","unstructured":"Cabot, J., Claris\u00f3, R., Guerra, E., de Lara, J.: Verification and validation of declarative model-to-model transformations through invariants. Journal of Systems and Software\u00a083(2), 283\u2013302 (2010)","journal-title":"Journal of Systems and Software"},{"key":"11_CR10","unstructured":"Anastasakis, K., Bordbar, B., K\u00fcster, J.M.: Analysis of model transformations via Alloy. In: Proc. of MODEVVA (2007), http:\/\/www.cs.bham.ac.uk\/~bxb\/Papres\/Modevva07.pdf"},{"issue":"5","key":"11_CR11","first-page":"1","volume":"10","author":"J. Troya","year":"2011","unstructured":"Troya, J., Vallecillo, A.: A rewriting logic semantics for ATL. Journal of Object Technology\u00a010(5), 1\u201329 (2011)","journal-title":"Journal of Object Technology"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Brottier, E., Fleurey, F., Steel, J., Baudry, B., Traon, Y.L.: Metamodel-based test generation for model transformations: an algorithm and a tool. In: Proc. of ISSRE 2006, pp. 85\u201394 (2006)","DOI":"10.1109\/ISSRE.2006.27"},{"issue":"4","key":"11_CR13","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1142\/S0218843006001487","volume":"15","author":"A. Solberg","year":"2006","unstructured":"Solberg, A., Reddy, R., Simmonds, D., France, R., Ghosh, S.: Developing distributed services using an aspect-oriented model driven framework. International Journal of Cooperative Information Systems\u00a015(4), 535\u2013564 (2006)","journal-title":"International Journal of Cooperative Information Systems"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1007\/11880240_41","volume-title":"Model Driven Engineering Languages and Systems","author":"J.-M. Mottu","year":"2006","unstructured":"Mottu, J.-M., Baudry, B., Le Traon, Y.: Reusable MDA Components: A Testing-for-Trust Approach. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 589\u2013603. Springer, Heidelberg (2006)"},{"issue":"2","key":"11_CR15","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/s10270-007-0074-8","volume":"8","author":"F. Fleurey","year":"2009","unstructured":"Fleurey, F., Baudry, B., Muller, P.A., Traon, Y.L.: Qualifying input test data for model transformations. Software and Systems Modeling\u00a08(2), 185\u2013203 (2009)","journal-title":"Software and Systems Modeling"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-642-13977-2_5","volume-title":"Tests and Proofs","author":"M. Gogolla","year":"2010","unstructured":"Gogolla, M., Hamann, L., Kuhlmann, M.: Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases. In: Fraser, G., Gargantini, A. (eds.) TAP 2010. LNCS, vol.\u00a06143, pp. 38\u201354. Springer, Heidelberg (2010)"},{"key":"11_CR17","unstructured":"Cariou, E., Marvie, R., Seinturier, L., Duchien, L.: OCL for the specification of model transformation contracts. In: Proc. of the OCL and Model Driven Engineering Workshop (2004)"},{"issue":"4","key":"11_CR18","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/s10270-005-0089-y","volume":"4","author":"M. Gogolla","year":"2005","unstructured":"Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL Models in USE by Automatic Snapshot Generation. Software and Systems Modeling\u00a04(4), 386\u2013398 (2005)","journal-title":"Software and Systems Modeling"},{"key":"11_CR19","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.scico.2007.01.013","volume":"69","author":"M. Gogolla","year":"2007","unstructured":"Gogolla, M., B\u00fcttner, F., Richters, M.: USE: A UML-based specification environment for validating UML and OCL. Science of Computer Programming\u00a069, 27\u201334 (2007)","journal-title":"Science of Computer Programming"},{"issue":"10","key":"11_CR20","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"},{"key":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/978-3-642-30982-3_2","volume-title":"SFM 2012","author":"S. Andova","year":"2012","unstructured":"Andova, S., van den Brand, M.G.J., Engelen, L.J.P., Verhoeff, T.: MDE Basics with a DSL Focus. In: Bernardo, M., Cortellessa, V., Pierantonio, A. (eds.) SFM 2012. LNCS, vol.\u00a07320, pp. 21\u201357. Springer, Heidelberg (2012)"},{"key":"11_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-642-30982-3_3","volume-title":"Formal Methods for Model-Driven Engineering","author":"J. Cabot","year":"2012","unstructured":"Cabot, J., Gogolla, M.: Object Constraint Language (OCL): A Definitive Guide. In: Bernardo, M., Cortellessa, V., Pierantonio, A. (eds.) SFM 2012. LNCS, vol.\u00a07320, pp. 58\u201390. Springer, Heidelberg (2012)"},{"key":"11_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/978-3-642-30982-3_4","volume-title":"SFM 2012","author":"D. Ruscio Di","year":"2012","unstructured":"Di Ruscio, D., Eramo, R., Pierantonio, A.: Model Transformations. In: Bernardo, M., Cortellessa, V., Pierantonio, A. (eds.) SFM 2012. LNCS, vol.\u00a07320, pp. 91\u2013136. Springer, Heidelberg (2012)"},{"key":"11_CR24","unstructured":"Eclipse: ATL Tutorials \u2013 A simple ATL transformation (2007), http:\/\/wiki.eclipse.org\/ATL\/Tutorials_Create_a_simple_ATL_transformation"},{"key":"11_CR25","unstructured":"Eclipse: Basic ATL examples (2007), http:\/\/www.eclipse.org\/m2m\/atl\/basicExamples_Patterns\/"},{"key":"11_CR26","unstructured":"Object Management Group: Object Constraint Language (OCL) Specification. Version 2.2. OMG Document formal\/2010-02-01 (2010)"},{"issue":"1-2","key":"11_CR27","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F. Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: A model transformation tool. Science of Computer Programming\u00a072(1-2), 31\u201339 (2008)","journal-title":"Science of Computer Programming"},{"key":"11_CR28","unstructured":"OMG: MOF QVT Final Adopted Specification. Object Management Group. OMG doc. ptc\/05-11-01 (2005)"},{"key":"11_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/11787044_13","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"J.S. Cuadrado","year":"2006","unstructured":"Cuadrado, J.S., Molina, J.G., Tortosa, M.M.: RubyTL: A Practical, Extensible Transformation Language. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol.\u00a04066, pp. 158\u2013172. Springer, Heidelberg (2006), http:\/\/rubytl.rubyforge.org\/"},{"key":"11_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-642-19440-5_11","volume-title":"Software Language Engineering","author":"A. Cicchetti","year":"2011","unstructured":"Cicchetti, A., Di Ruscio, D., Eramo, R., Pierantonio, A.: JTL: A Bidirectional and Change Propagating Transformation Language. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol.\u00a06563, pp. 183\u2013202. Springer, Heidelberg (2011), http:\/\/jtl.di.univaq.it\/"},{"key":"11_CR31","unstructured":"Baudry, B., Dinh-Trong, T., Mottu, J., Simmonds, D., France, R., Ghosh, S., Fleurey, F., Le Traon, Y.: Model transformation testing challenges. In: ECMDA Workshop on Integration of MDD and Model Driven Testing (2006)"},{"key":"11_CR32","doi-asserted-by":"crossref","unstructured":"France, R.B., Rumpe, B.: Model-driven development of complex software: A research roadmap. In: Proc. of ISCE 2007, pp. 37\u201354 (2007)","DOI":"10.1109\/FOSE.2007.14"},{"key":"11_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-642-01648-6_4","volume-title":"Models in Software Engineering","author":"R. Straeten Van Der","year":"2009","unstructured":"Van Der Straeten, R., Mens, T., Van Baelen, S.: Challenges in Model-Driven Software Engineering. In: Chaudron, M.R.V. (ed.) MoDELS 2008. LNCS, vol.\u00a05421, pp. 35\u201347. Springer, Heidelberg (2009)"},{"key":"11_CR34","doi-asserted-by":"crossref","unstructured":"Amrani, M., L\u00facio, L., Selim, G., Combemale, B., Dingel, J., Vangheluwe, H., Traon, Y.L., Cordy, J.R.: A tridimensional approach for studying the formal verification of model transformations. In: Proc. of the 1st International Workshop on Verification and Validation of Model Transformations, VOLT 2012 (2012)","DOI":"10.1109\/ICST.2012.197"},{"issue":"3","key":"11_CR35","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1147\/sj.453.0621","volume":"45","author":"K. Czarnecki","year":"2006","unstructured":"Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal\u00a045(3), 621\u2013646 (2006)","journal-title":"IBM Systems Journal"},{"key":"11_CR36","unstructured":"K\u00fchne, T., Mezei, G., Syriani, E., Vangheluwe, H., Wimmer, M.: Systematic transformation development. ECEASST\u00a021 (2009)"},{"key":"11_CR37","unstructured":"Weisemoeller, I., Rumpe, B.: A domain specific transformation language. In: Models and Evolution Workshop @ MoDELS 2011 (2011)"},{"key":"11_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-540-87875-9_3","volume-title":"Model Driven Engineering Languages and Systems","author":"J. Cabot","year":"2008","unstructured":"Cabot, J., Claris\u00f3, R., Guerra, E., de Lara, J.: An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 37\u201352. Springer, Heidelberg (2008)"},{"key":"11_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/11841883_19","volume-title":"Graph Transformations","author":"D. Varr\u00f3","year":"2006","unstructured":"Varr\u00f3, D., Varr\u00f3\u2013Gyapay, S., Ehrig, H., Prange, U., Taentzer, G.: Termination Analysis of Model Transformations by Petri Nets. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 260\u2013274. Springer, Heidelberg (2006)"},{"key":"11_CR40","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/j.entcs.2008.04.041","volume":"211","author":"A. Narayanan","year":"2008","unstructured":"Narayanan, A., Karsai, G.: Towards verifying model transformations. Electr. Notes Theor. Comput. Sci.\u00a0211, 191\u2013200 (2008)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"2","key":"11_CR41","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s10270-003-0050-x","volume":"3","author":"D. Varr\u00f3","year":"2004","unstructured":"Varr\u00f3, D.: Automated formal verification of visual modeling languages by model checking. Software and System Modeling\u00a03(2), 85\u2013113 (2004)","journal-title":"Software and System Modeling"},{"key":"11_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-642-22655-7_12","volume-title":"ECOOP 2011 \u2013 Object-Oriented Programming","author":"S. Maoz","year":"2011","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: CDDiff: Semantic Differencing for Class Diagrams. In: Mezini, M. (ed.) ECOOP 2011. LNCS, vol.\u00a06813, pp. 230\u2013254. Springer, Heidelberg (2011)"},{"key":"11_CR43","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.: Model comparison: a foundation for model composition and model transformation testing. In: GaMMa 2006, pp. 13\u201320. ACM (2006)","DOI":"10.1145\/1138304.1138308"},{"key":"11_CR44","doi-asserted-by":"crossref","unstructured":"Lin, Y., Zhang, J., Gray, J.: A testing framework for model transformations. Model-Driven Software Development, 219\u2013236 (2005)","DOI":"10.1007\/3-540-28554-7_10"},{"key":"11_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/978-3-642-24485-8_29","volume-title":"Model Driven Engineering Languages and Systems","author":"A. Garc\u00eda-Dom\u00ednguez","year":"2011","unstructured":"Garc\u00eda-Dom\u00ednguez, A., Kolovos, D.S., Rose, L.M., Paige, R.F., Medina-Bulo, I.: EUnit: A Unit Testing Framework for Model Management Tasks. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MoDELS 2011. LNCS, vol.\u00a06981, pp. 395\u2013409. Springer, Heidelberg (2011)"},{"key":"11_CR46","doi-asserted-by":"crossref","unstructured":"Mottu, J.M., Baudry, B., Traon, Y.L.: Model transformation testing: oracle issue. In: ICSTW 2008, pp. 105\u2013112. IEEE (2008)","DOI":"10.1109\/ICSTW.2008.27"},{"key":"11_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-540-75209-7_9","volume-title":"Model Driven Engineering Languages and Systems","author":"R. Ramos","year":"2007","unstructured":"Ramos, R., Barais, O., J\u00e9z\u00e9quel, J.-M.: Matching Model-Snippets. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MoDELS 2007. LNCS, vol.\u00a04735, pp. 121\u2013135. Springer, Heidelberg (2007)"},{"key":"11_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/978-3-642-17322-6_11","volume-title":"Graph Transformations and Model-Driven Engineering","author":"A. Balogh","year":"2010","unstructured":"Balogh, A., Bergmann, G., Csert\u00e1n, G., G\u00f6nczy, L., Horv\u00e1th, \u00c1., Majzik, I., Pataricza, A., Polg\u00e1r, B., R\u00e1th, I., Varr\u00f3, D., Varr\u00f3, G.: Workflow-Driven Tool Integration Using Model Transformations. In: Engels, G., Lewerentz, C., Sch\u00e4fer, W., Sch\u00fcrr, A., Westfechtel, B. (eds.) Nagl Festschrift. LNCS, vol.\u00a05765, pp. 224\u2013248. Springer, Heidelberg (2010)"},{"key":"11_CR49","doi-asserted-by":"crossref","unstructured":"Guerra, E., de\u00a0Lara, J., Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Sch\u00f6nb\u00f6ck, J., Schwinger, W.: Automated verification of model transformations based on visual contracts. Autom. Softw. Eng. (accepted for publication) (2012)","DOI":"10.1007\/s10515-012-0102-y"},{"key":"11_CR50","unstructured":"Cariou, E., Belloir, N., Barbier, F., Djemam, N.: OCL contracts for the verification of model transformations. ECEASST\u00a024 (2009)"},{"key":"11_CR51","doi-asserted-by":"crossref","unstructured":"Kolovos, D., Paige, R., Rose, L., Polack, F.: Unit testing model management operations. In: ICSTW 2008, pp. 97\u2013104. IEEE (2008)","DOI":"10.1109\/ICSTW.2008.50"},{"key":"11_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"748","DOI":"10.1007\/978-3-642-04425-0_61","volume-title":"Model Driven Engineering Languages and Systems","author":"P. Giner","year":"2009","unstructured":"Giner, P., Pelechano, V.: Test-Driven Development of Model Transformations. In: Sch\u00fcrr, A., Selic, B. (eds.) MoDELS 2009. LNCS, vol.\u00a05795, pp. 748\u2013752. Springer, Heidelberg (2009)"},{"key":"11_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-3-642-21470-7_16","volume-title":"Modelling Foundations and Applications","author":"M. Gogolla","year":"2011","unstructured":"Gogolla, M., Vallecillo, A.: Tractable Model Transformation Testing. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) ECMFA 2011. LNCS, vol.\u00a06698, pp. 221\u2013235. Springer, Heidelberg (2011)"},{"key":"11_CR54","unstructured":"Heim, M.: Exploring Indiana Highways: Trip Trivia. Exploring America\u2019s Highway. Travel Organization Network (2007), http:\/\/en.wikipedia.org\/wiki\/Duck_test"},{"issue":"4","key":"11_CR55","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/s10270-006-0036-6","volume":"6","author":"J. Steel","year":"2007","unstructured":"Steel, J., J\u00e9z\u00e9quel, J.M.: On model typing. Software and Systems Modeling\u00a06(4), 401\u2013413 (2007)","journal-title":"Software and Systems Modeling"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Model-Driven Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30982-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T16:46:22Z","timestamp":1743612382000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30982-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642309816","9783642309823"],"references-count":55,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30982-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}