{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:16:43Z","timestamp":1759033003558},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214691"},{"type":"electronic","value":"9783642214707"}],"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-21470-7_16","type":"book-chapter","created":{"date-parts":[[2011,6,10]],"date-time":"2011-06-10T14:57:17Z","timestamp":1307717837000},"page":"221-235","source":"Crossref","is-referenced-by-count":28,"title":["Tractable Model Transformation Testing"],"prefix":"10.1007","author":[{"given":"Martin","family":"Gogolla","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Vallecillo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","first-page":"219","volume-title":"OOPSLA\/GPCE: Best Practices for Model-Driven Software Development, Control in Model Driven Software Development","author":"Y. Lin","year":"2004","unstructured":"Lin, Y., Zhang, J., Gray, J.: Model comparison: A key challenge for transformation testing and version control in model driven software development. In: OOPSLA\/GPCE: Best Practices for Model-Driven Software Development, Control in Model Driven Software Development, pp. 219\u2013236. Springer, Heidelberg (2004)"},{"key":"16_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 the ECMDA workshop on Integration of Model Driven Development and Model Driven Testing, Barcelona, Spain (2006), \n                    \n                      http:\/\/www.cs.colostate.edu\/~france\/publications\/TransTesting.pdf"},{"key":"16_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 II. LNCS, vol.\u00a05235, pp. 408\u2013424. Springer, Heidelberg (2008)"},{"issue":"6","key":"16_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":"16_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":"16_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., Lara, J.D., 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":"16_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":"16_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":"16_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":"16_CR10","unstructured":"Anastasakis, K., Bordbar, B., K\u00fcster, J.M.: Analysis of model transformations via Alloy. In: Proc. of MODEVVA (2007), \n                    \n                      http:\/\/www.cs.bham.ac.uk\/~bxb\/Papres\/Modevva07.pdf"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-642-13688-7_16","volume-title":"Theory and Practice of Model Transformations","author":"J. Troya","year":"2010","unstructured":"Troya, J., Vallecillo, A.: Towards a rewriting logic semantics for ATL. In: Tratt, L., Gogolla, M. (eds.) ICMT 2010. LNCS, vol.\u00a06142, pp. 230\u2013244. Springer, Heidelberg (2010)"},{"key":"16_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 the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), pp. 85\u201394 (2006)","DOI":"10.1109\/ISSRE.2006.27"},{"issue":"4","key":"16_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":"16_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., Traon, Y.L.: 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":"16_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":"16_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-540-69489-2_24","volume-title":"Models in Software Engineering","author":"J.M. K\u00fcster","year":"2007","unstructured":"K\u00fcster, J.M., Abd-El-Razik, M.: Validation of model transformations \u2013 first experiences using a white box approach. In: Auletta, V. (ed.) MoDELS 2006. LNCS, vol.\u00a04364, pp. 193\u2013204. Springer, Heidelberg (2007)"},{"key":"16_CR17","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":"16_CR18","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), \n                    \n                      http:\/\/web.univ-pau.fr\/~ecariou\/papers\/workshop-ocl-mde-uml2004-paper.pdf"},{"issue":"4","key":"16_CR19","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":"16_CR20","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"},{"key":"16_CR21","unstructured":"Object Management Group: Object Constraint Language (OCL) Specification. Version 2.2. (2010), OMG Document formal\/2010-02-01"},{"issue":"1-2","key":"16_CR22","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":"16_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-59071-4_45","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A. Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol.\u00a0903, pp. 151\u2013163. Springer, Heidelberg (1995)"},{"key":"16_CR24","unstructured":"Kolovos, D.S., Rose, L.M., Paige, R.F.: The Epsilon Book (2010), \n                    \n                      http:\/\/www.eclipse.org\/gmt\/epsilon\/doc\/book\/"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21470-7_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,28]],"date-time":"2019-03-28T15:44:43Z","timestamp":1553787883000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21470-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214691","9783642214707"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21470-7_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}