{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T06:55:10Z","timestamp":1763535310387,"version":"3.37.3"},"reference-count":67,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2015,5,1]],"date-time":"2015-05-01T00:00:00Z","timestamp":1430438400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"Spanish Project","award":["TIN2011-23795"],"award-info":[{"award-number":["TIN2011-23795"]}]},{"DOI":"10.13039\/501100004955","name":"Austrian Research Promotion Agency","doi-asserted-by":"publisher","award":["832160"],"award-info":[{"award-number":["832160"]}],"id":[{"id":"10.13039\/501100004955","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000780","name":"EC","doi-asserted-by":"publisher","award":["317859"],"award-info":[{"award-number":["317859"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2015,5,1]]},"DOI":"10.1109\/tse.2014.2375201","type":"journal-article","created":{"date-parts":[[2014,11,26]],"date-time":"2014-11-26T20:56:10Z","timestamp":1417035370000},"page":"490-506","source":"Crossref","is-referenced-by-count":45,"title":["Static Fault Localization in Model Transformations"],"prefix":"10.1109","volume":"41","author":[{"given":"Loli","family":"Burgueno","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier","family":"Troya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Wimmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Vallecillo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","first-page":"647","article-title":"From out-place transformation evolution to in-place model patching","author":"bergmayr","year":"0","journal-title":"Proc 29th ACM\/IEEE Int Conf Automated Softw Eng"},{"key":"ref38","first-page":"376","article-title":"Mutation analysis testing for model transformations","author":"mottu","year":"0","journal-title":"Proc 2nd Eur Conf Model Driven Archit Found Appl"},{"article-title":"Building DSLs with AMMA\/ATL, a case study on SPL and CPL telephony languages","year":"2006","author":"jouault","key":"ref33"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2006.254980"},{"year":"0","author":"lennox","key":"ref31"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-008-9102-8"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809071"},{"key":"ref35","volume":"4350","author":"clavel","year":"2007","journal-title":"All About Maude-A High-Performance Logical Framework How to Specify Program and Verify Systems in Rewriting Logic"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2009.5295300"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69489-2_24"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2006.27"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2014.10"},{"key":"ref63","first-page":"148","article-title":"Automatic model generation strategies for model transformation testing","author":"sen","year":"0","journal-title":"Proc 2nd Int Conf Theory Practice Model Transformations"},{"year":"0","author":"troya","key":"ref28"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30476-7_3"},{"key":"ref27","first-page":"290","article-title":"Generic and meta-transformations for model transformation engineering","author":"varr\u00f3","year":"0","journal-title":"Proc Conf Unified Modeling Language"},{"key":"ref65","first-page":"24","article-title":"Using models of partial knowledge to test model transformations","author":"sen","year":"0","journal-title":"Proc 5th Int Conf Theory Practice Model Transformations"},{"key":"ref66","first-page":"601","article-title":"Estimating footprints of model operations","author":"jeanneret","year":"0","journal-title":"Proc 3rd Int Conf Software Engineering"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.2307\/248698"},{"key":"ref67","first-page":"291","article-title":"Static analysis of model transformations for effective test generation","author":"mottu","year":"0","journal-title":"Proc IEEE Int Symp Softw Rel Eng"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1743546.1743583"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-02546-4","author":"brambilla","year":"2012","journal-title":"Model-Driven Software Engineering in Practice"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41533-3_13"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1141277.1141562"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1007\/s10270-005-0089-y","article-title":"Validating UML and OCL Models in USE by Automatic snapshot generation","volume":"4","author":"gogolla","year":"2005","journal-title":"Softw Syst Model"},{"key":"ref24","first-page":"399","article-title":"Formal specification and testing of model transformations","author":"vallecillo","year":"0","journal-title":"Proc 12th Int Conf Formal Methods Model-Driven Eng"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2012.11.2.a2"},{"key":"ref26","first-page":"18","article-title":"On the use of higher-order model transformations","author":"tisi","year":"0","journal-title":"Proc 5th Eur Conf Model Driven Archit —Found Appl"},{"key":"ref25","first-page":"42","article-title":"OCL: Syntax, semantics, and tools","author":"richters","year":"0","journal-title":"Proc Conf Object Modeling OCL"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-010-0079-3"},{"key":"ref51","article-title":"OCL contracts for the verification of model transformations","volume":"24","author":"cariou","year":"2009","journal-title":"Electron Commun EASST"},{"key":"ref59","first-page":"395","article-title":"EUnit: A unit testing framework for model management tasks","author":"garc\u00eda-dom\u00ednguez","year":"0","journal-title":"Proc MODELS"},{"key":"ref58","first-page":"219","article-title":"A testing framework for model transformations","author":"lin","year":"0","journal-title":"Model-Driven Software Development—Research and Practice in Software Engineering"},{"key":"ref57","first-page":"97","article-title":"MANTra: Towards model transformation testing","author":"ciancone","year":"0","journal-title":"Proc 7th Int Conf Quality Inf Commun Technol"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04425-0_61"},{"journal-title":"Meta Object Facility (MOF) 2 0 Query\/View\/Transformation Version 1 1","year":"0","key":"ref55"},{"key":"ref54","first-page":"46","article-title":"The epsilon transformation language","author":"kolovos","year":"0","journal-title":"1st Int Conf on Theory and Practice of Model Transformations"},{"key":"ref53","first-page":"158","article-title":"RubyTL: A practical, extensible transformation language","author":"cuadrado","year":"0","journal-title":"Proc 2nd Eur Conf Model Driven Archit Found Appl"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-012-0102-y"},{"key":"ref10","first-page":"27","article-title":"Towards tracking ‘guilty’ transformation rules: A requirements perspective","author":"burgue\u00f1o","year":"0","journal-title":"Proc 1st Workshop Anal Model Transformations MoDELS"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.38"},{"year":"0","author":"troya","key":"ref40"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75336-0_12"},{"key":"ref13","first-page":"49","article-title":"Termination criteria for model transformation","author":"ehrig","year":"0","journal-title":"Proc FASEB"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-008-0095-y"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s10270-006-0018-8","article-title":"Definition and validation of model transformations","volume":"5","author":"k\u00fcster","year":"2006","journal-title":"Software & Systems Modeling"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.08.012"},{"key":"ref17","first-page":"47","article-title":"Analysis of model transformations via Alloy","author":"anastasakis","year":"0","journal-title":"4th International Workshop on Model Driven Engineering Verification and Validation"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.002"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(83)90016-X"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-011-0211-2"},{"key":"ref6","article-title":"Model transformation testing challenges","author":"baudry","year":"0","journal-title":"Proc IMDD-MDT"},{"key":"ref5","first-page":"221","article-title":"Tractable model transformation testing","author":"gogolla","year":"0","journal-title":"Proc 7th Eur Conf Model Found Appl"},{"year":"0","author":"burgue\u00f1o","key":"ref8"},{"key":"ref7","article-title":"OCL for the specification of model transformation contracts","author":"cariou","year":"0","journal-title":"Workshop OCL and Model Driven Engineering"},{"key":"ref49","first-page":"449","article-title":"ATLTest: A white-box test generation approach for ATL transformations","author":"gonz\u00e1lez","year":"0","journal-title":"Proc 15th Int'l Conf Model Driven Eng Languages and Systems"},{"key":"ref9","first-page":"589","article-title":"Forensic debugging of model transformations","author":"hibberd","year":"0","journal-title":"Proc 10th Int'l Conf Model Driven Eng Languages and Systems"},{"key":"ref46","first-page":"3","article-title":"A Petri Net based debugging environment for QVT relations","author":"wimmer","year":"0","journal-title":"Proceedings of the IEEE\/ACM Int Conf Autom Softw Eng"},{"key":"ref45","first-page":"313","article-title":"Survey of traceability approaches in model-driven engineering","author":"galv\u00e3o","year":"0","journal-title":"Proc IEEE 11th Int Enterprise Distrib Object Comput Conf"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.80"},{"key":"ref47","first-page":"66","article-title":"Traceability mechanism for error localization in model transformation","author":"aranega","year":"0","journal-title":"Procs 1st Int Conf Softw Data Technol"},{"journal-title":"Standard Glossary of Software Engineering Terminology","year":"0","key":"ref42"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69927-9_14"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/52.506462"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/32.142872"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/7106034\/06967841.pdf?arnumber=6967841","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,30]],"date-time":"2023-07-30T08:48:09Z","timestamp":1690706889000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6967841\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5,1]]},"references-count":67,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tse.2014.2375201","relation":{},"ISSN":["0098-5589","1939-3520"],"issn-type":[{"type":"print","value":"0098-5589"},{"type":"electronic","value":"1939-3520"}],"subject":[],"published":{"date-parts":[[2015,5,1]]}}}