{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:46:43Z","timestamp":1782866803257,"version":"3.54.5"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030819149","type":"print"},{"value":"9783030819156","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-81915-6_12","type":"book-chapter","created":{"date-parts":[[2021,12,2]],"date-time":"2021-12-02T13:05:50Z","timestamp":1638450350000},"page":"259-281","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["AnATLyzer: Static Analysis of ATL Model Transformations"],"prefix":"10.1007","author":[{"given":"Jes\u00fas S\u00e1nchez","family":"Cuadrado","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Esther","family":"Guerra","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Juan de","family":"Lara","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,7,18]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Jean B\u00e9zivin, Fabian B\u00fcttner, Martin Gogolla, Fr\u00e9d\u00e9ric Jouault, Ivan Kurtev, and Arne Lindow. \u201cModel Transformations? Transformation Models!\u201d In: 9th International Conference on Model Driven Engineering Languages and Systems. Vol. 4199. 2006, pp. 440\u2013453.","DOI":"10.1007\/11880240_31"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Yuriy Brun, Reid Holmes, Michael D. Ernst, and David Notkin. \u201cSpeculative analysis: exploring future development states of software\u201d. In: Workshop on Future of Software Engineering Research, FoSER. 2010, pp. 59\u201364.","DOI":"10.1145\/1882362.1882375"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Hugo Bruneli\u00e8re, Jordi Cabot, Gr\u00e9goire Dup\u00e9, and Fr\u00e9d\u00e9ric Madiot. \u201cMoDisco: A model driven reverse engineering framework\u201d. In: Inf. Softw. Technol. 56.8 (2014), pp. 1012\u20131032.","DOI":"10.1016\/j.infsof.2014.04.007"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Jean-Michel Bruel, Beno\u00eet Combemale, Esther Guerra, Jean-Marc J\u00e9z\u00e9quel, J\u00f6rg Kienzle, Juan de Lara, Gunter Mussbacher, Eugene Syriani, and Hans Vangheluwe. \u201cComparing and classifying model transformation reuse approaches across metamodels\u201d. In: Software and Systems Modeling 19.2 (2020), pp. 441\u2013465.","DOI":"10.1007\/s10270-019-00762-9"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Fabian B\u00fcttner, Marina Egea, Jordi Cabot, and Martin Gogolla. \u201cVerification of ATL Transformations Using Transformation Models and Model Finders\u201d. In: 14th International Conference on Formal Engineering Methods, ICFEM. Vol. 7635. 2012, pp. 198\u2013213.","DOI":"10.1007\/978-3-642-34281-3_16"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Jordi Cabot, Robert Claris\u00f3, Esther Guerra, and Juan de Lara. \u201cSynthesis of OCL Pre-conditions for Graph Transformation Rules\u201d. In: 3rd International Conference on Theory and Practice of Model Transformations, ICMT. Vol. 6142. 2010, pp. 45\u201360.","DOI":"10.1007\/978-3-642-13688-7_4"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Jordi Cabot, Robert Claris\u00f3, Esther Guerra, and Juan de Lara. \u201cVerification and validation of declarative model-to-model transformations through invariants\u201d. In: J. Syst. Softw. 83.2 (2010), pp. 283\u2013302.","DOI":"10.1016\/j.jss.2009.08.012"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Zheng Cheng and Massimo Tisi. \u201cA Deductive Approach for Fault Localization in ATL Model Transformations\u201d. In: 20th International Conference on Fundamental Approaches to Software Engineering, FASE. Vol. 10202. 2017, pp. 300\u2013317.","DOI":"10.1007\/978-3-662-54494-5_17"},{"key":"12_CR9","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"Hartmut Ehrig","year":"2006","unstructured":"Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, and Gabriele Taentzer. Fundamentals of Algebraic Graph Transformation. Springer, 2006."},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Jeanne Ferrante, Karl J. Ottenstein, and Joe D. Warren. \u201cThe Program Dependence Graph and Its Use in Optimization\u201d. In: ACM Trans. Program. Lang. Syst. 9.3 (1987), pp. 319\u2013349.","DOI":"10.1145\/24039.24041"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Pablo G\u00f3mez-Abajo, Esther Guerra, Juan de Lara, and Mercedes G. Merayo. \u201cWodel- Test: A model-based framework for language-independent mutation testing\u201d. In: Software and Systems Modeling (2020). https:\/\/doi.org\/10.1007\/s10270-020-00827-0.","DOI":"10.1007\/s10270-020-00827-0"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Esther Guerra, Jes\u00fas S\u00e1nchez Cuadrado, and Juan de Lara. \u201cTowards Effective Mutation Testing for ATL\u201d. In: 22nd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS. 2019, pp. 78\u201388.","DOI":"10.1109\/MODELS.2019.00-13"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Regina Hebig, Christoph Seidl, Thorsten Berger, John Kook Pedersen, and Andrzej Wasowski. \u201cModel transformation languages under a magnifying glass: a controlled experiment with Xtend, ATL, and QVT\u201d. In: 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 2018, pp. 445\u2013455.","DOI":"10.1145\/3236024.3236046"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"\u00c1bel Heged\u00fcs, \u00e1kos Horv\u00e1th, Istv\u00e1n R\u00e1th, Mois\u00e9s Castelo Branco, and D\u00e1niel Varr\u00f3. \u201cQuick fix generation for DSMLs\u201d. In: IEEE Symposium on Visual Languages and Human-Centric Computing, VL\/HCC. 2011, pp. 17\u201324.","DOI":"10.1109\/VLHCC.2011.6070373"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Robert Heinrich, Francisco Dur\u00e1n, Carolyn L. Talcott, and Steffen Zschaler (eds.) Composing Model-Based Analysis Tools. Springer, 2021. https:\/\/doi.org\/10.1007\/978-3-030-81915-6.","DOI":"10.1007\/978-3-030-81915-6"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Dennis Jeffrey, Min Feng, Neelam Gupta, and Rajiv Gupta. \u201cBugFix: A learningbased tool to assist developers in fixing bugs\u201d. In: 17th IEEE International Conference on Program Comprehension, ICPC. 2009, pp. 70\u201379.","DOI":"10.1109\/ICPC.2009.5090029"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Fr\u00e9d\u00e9ric Jouault, Freddy Allilaire, Jean B\u00e9zivin, and Ivan Kurtev. \u201cATL: A model transformation tool\u201d. In: Sci. Comput. Program. 72.1-2 (2008), pp. 31\u201339.","DOI":"10.1016\/j.scico.2007.08.002"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Nafiseh Kahani, Mojtaba Bagherzadeh, James R. Cordy, Juergen Dingel, and D\u00e1niel Varr\u00f3. \u201cSurvey and classification of model transformation tools\u201d. In: Software and Systems Modeling 18.4 (2019), pp. 2361\u20132397.","DOI":"10.1007\/s10270-018-0665-6"},{"key":"12_CR19","unstructured":"Christian K\u00f6hler, Holger Lewin, and Gabriele Taentzer. \u201cEnsuring Containment Constraints in Graph-based Model Transformation Approaches\u201d. In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 6 (2007)."},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Leen Lambers, Daniel Str\u00fcber, Gabriele Taentzer, Kristopher Born, and Jevgenij Huebert. \u201cMulti-granular conflict and dependency analysis in software engineering based on graph transformation\u201d. In: 40th International Conference on Software Engineering, ICSE. 2018, pp. 716\u2013727.","DOI":"10.1145\/3180155.3180258"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Jean-Marie Mottu, Sagar Sen, Massimo Tisi, and Jordi Cabot. \u201cStatic Analysis of Model Transformations for Effective Test Generation\u201d. In: 23rd IEEE International Symposium on Software Reliability Engineering, ISSRE. 2012, pp. 291\u2013300.","DOI":"10.1109\/ISSRE.2012.7"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Kivan\u00e7 Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, and David Notkin. \u201cSpeculative analysis of integrated development environment recommendations\u201d. In: 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA. 2012, pp. 669\u2013682.","DOI":"10.1145\/2384616.2384665"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Bentley James Oakes, Javier Troya, Levi L\u00facio, and Manuel Wimmer. \u201cFull contract verification for ATL using symbolic execution\u201d. In: Software and Systems Modeling 17.3 (2018), pp. 815\u2013849.","DOI":"10.1007\/s10270-016-0548-7"},{"key":"12_CR24","unstructured":"Object Management Group. UML 2.5. Tech. rep. formal\/2015-03-01. Object Management Group, 2015."},{"key":"12_CR25","unstructured":"Object Management Group. UML 2.5.1 OMG specification. http:\/\/www.omg.org\/spec\/UML\/2.5.1\/.2017."},{"key":"12_CR26","doi-asserted-by":"crossref","unstructured":"Lukman Ab. Rahim and Jon Whittle. \u201cA survey of approaches for verifying model transformations\u201d. In: Software and Systems Modeling 14.2 (2015), pp. 1003\u20131028.","DOI":"10.1007\/s10270-013-0358-0"},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"Jes\u00fas S\u00e1nchez Cuadrado, Loli Burgueno, Manuel Wimmer, and Antonio Vallecillo. \u201cEfficient execution of ATL model transformations using static analysis and parallelism\u201d. In: IEEE Transactions on Software Engineering (2020).","DOI":"10.1109\/TSE.2020.3011388"},{"key":"12_CR28","doi-asserted-by":"crossref","unstructured":"Jes\u00fas S\u00e1nchez Cuadrado, Esther Guerra, and Juan de Lara. \u201cStatic analysis of model transformations\u201d. In: IEEE Transactions on Software Engineering 43.9 (2017), pp. 868\u2013897.","DOI":"10.1109\/TSE.2016.2635137"},{"key":"12_CR29","doi-asserted-by":"crossref","unstructured":"Jes\u00fas S\u00e1nchez Cuadrado, Esther Guerra, and Juan de Lara. \u201cAnATLyzer: an advanced IDE for ATL model transformations\u201d. In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceedings, (ICSE\u2019). 2018, pp. 85\u201388. https:\/\/doi.org\/10.1145\/3183440.3183479","DOI":"10.1145\/3183440.3183479"},{"key":"12_CR30","doi-asserted-by":"crossref","unstructured":"Jes\u00fas S\u00e1nchez Cuadrado, Esther Guerra, and Juan de Lara. \u201cQuick fixing ATL transformations with speculative analysis\u201d. In: Software and System Modeling 17.3 (2018), pp. 779\u2013813.","DOI":"10.1007\/s10270-016-0541-1"},{"key":"12_CR31","doi-asserted-by":"crossref","unstructured":"Shane Sendall and Wojtek Kozaczynski. \u201cModel Transformation: The Heart and Soul of Model-Driven Software Development\u201d. In: IEEE Softw. 20.5 (2003), pp. 42\u201345.","DOI":"10.1109\/MS.2003.1231150"},{"key":"12_CR32","doi-asserted-by":"crossref","unstructured":"Javier Troya, Sergio Segura, Jos\u00e9 Antonio Parejo, and Antonio Ruiz Cort\u00e9s. \u201cSpectrum- Based Fault Localization in Model Transformations\u201d. In: ACM Trans. Softw. Eng. Methodol. 27.3 (2018), 13:1\u201313:50.","DOI":"10.1145\/3241744"}],"container-title":["Composing Model-Based Analysis Tools"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-81915-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,7]],"date-time":"2021-12-07T15:22:20Z","timestamp":1638890540000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-81915-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030819149","9783030819156"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-81915-6_12","relation":{},"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"18 July 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}