{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:32:19Z","timestamp":1750221139564,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,5,27]],"date-time":"2018-05-27T00:00:00Z","timestamp":1527379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Ministerio de Econom\u00eda y Competitividad","award":["TIN2015-73968-JIN (AEI\/FEDER\/UE)"],"award-info":[{"award-number":["TIN2015-73968-JIN (AEI\/FEDER\/UE)"]}]},{"name":"R&D programme of Madrid","award":["S2013\/ICE-3006"],"award-info":[{"award-number":["S2013\/ICE-3006"]}]},{"name":"Spanish MINECO","award":["TIN2014-52129-R"],"award-info":[{"award-number":["TIN2014-52129-R"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,5,27]]},"DOI":"10.1145\/3183440.3183479","type":"proceedings-article","created":{"date-parts":[[2018,6,18]],"date-time":"2018-06-18T12:28:18Z","timestamp":1529324898000},"page":"85-88","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["AnATLyzer"],"prefix":"10.1145","author":[{"given":"Jes\u00fas S\u00e1nchez","family":"Cuadrado","sequence":"first","affiliation":[{"name":"Universidad de Murcia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Esther","family":"Guerra","sequence":"additional","affiliation":[{"name":"Universidad Aut\u00f3noma de Madrid"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan","family":"de Lara","sequence":"additional","affiliation":[{"name":"Universidad Aut\u00f3noma de Madrid"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,5,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/11880240_31"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.04.007"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2375201"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34281-3_16"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.08.012"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54494-5_17"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","unstructured":"H. Ehrig K. Ehrig U. Prange and G. Taentzer. 2006. Fundamentals of algebraic graph transformation. Springer-Verlag.","DOI":"10.5555\/1121741"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"D. Jeffrey M. Feng N. Gupta and R. Gupta. 2009. BugFix: A learning-based tool to assist developers in fixing bugs. In ICPC. IEEE Computer Society 70--79.","DOI":"10.1109\/ICPC.2009.5090029"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.002"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","unstructured":"S. Kaleeswaran V. Tulsian A. Kanade and A. Orso. 2014. MintHint: automated synthesis of repair hints. In ICSE. ACM 266--276. 10.1145\/2568225.2568258","DOI":"10.1145\/2568225.2568258"},{"key":"e_1_3_2_1_11_1","unstructured":"KDM. 2016. http:\/\/www.omg.org\/spec\/KDM\/About-KDM\/. (2016)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69927-9_4"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24255-2_32"},{"key":"e_1_3_2_1_14_1","unstructured":"QVT. 2016. http:\/\/www.omg.org\/spec\/QVT\/. (2016)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0358-0"},{"key":"e_1_3_2_1_16_1","volume-title":"Quick fixing ATL transformations with speculative analysis. SoSyM in press","author":"S\u00e1nchez Cuadrado J.","year":"2016","unstructured":"J. S\u00e1nchez Cuadrado, E. Guerra, and J. de Lara. 2016. Quick fixing ATL transformations with speculative analysis. SoSyM in press (2016)."},{"key":"e_1_3_2_1_17_1","first-page":"868","article-title":"Static analysis of model transformations","volume":"43","author":"S\u00e1nchez Cuadrado J.","year":"2017","unstructured":"J. S\u00e1nchez Cuadrado, E. Guerra, and J. de Lara. 2017. Static analysis of model transformations. IEEE TSE 43, 9 (2017), 868--897.","journal-title":"IEEE TSE"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"J. S\u00e1nchez Cuadrado E. Guerra J. de Lara R. Claris\u00f3 and J. Cabot. 2017. Translating target to source constraints in model-to-model transformations. In MODELS. IEEE Comp. Soc. 12--22.","DOI":"10.1109\/MODELS.2017.12"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231150"},{"key":"e_1_3_2_1_20_1","unstructured":"SysML-Modelica transformation. 2012. http:\/\/www.omg.org\/spec\/SyM. (2012)."},{"key":"e_1_3_2_1_21_1","unstructured":"Z. Ujhelyi \u00c1. Horv\u00e1th and D. Varr\u00f3. 2011. Static type checking of model transformation programs. ECEASST 38 (2011)."},{"key":"e_1_3_2_1_22_1","unstructured":"A. Vieira and F. Ramalho. 2011. A static analyzer for model transformations. In MtATL'11."}],"event":{"name":"ICSE '18: 40th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"],"location":"Gothenburg Sweden","acronym":"ICSE '18"},"container-title":["Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3183440.3183479","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3183440.3183479","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:06Z","timestamp":1750208886000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3183440.3183479"}},"subtitle":["an advanced IDE for ATL model transformations"],"short-title":[],"issued":{"date-parts":[[2018,5,27]]},"references-count":22,"alternative-id":["10.1145\/3183440.3183479","10.1145\/3183440"],"URL":"https:\/\/doi.org\/10.1145\/3183440.3183479","relation":{},"subject":[],"published":{"date-parts":[[2018,5,27]]},"assertion":[{"value":"2018-05-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}