{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:01:31Z","timestamp":1762459291274,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/icstw.2015.7107455","type":"proceedings-article","created":{"date-parts":[[2015,5,14]],"date-time":"2015-05-14T20:37:48Z","timestamp":1431635868000},"page":"1-10","source":"Crossref","is-referenced-by-count":17,"title":["Towards systematic mutations for and with ATL model transformations"],"prefix":"10.1109","author":[{"given":"Javier","family":"Troya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Bergmayr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Loli","family":"Burgueno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Wimmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/MODEVA.2004.1425846"},{"key":"ref12","article-title":"Towards an Automation of the Mutation Analysis Dedicated to Model Transformation","author":"aranega","year":"2014","journal-title":"Software Testing Verification and Reliability"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/11787044_28"},{"key":"ref14","first-page":"145","article-title":"Mutation Analysis for Model Transformations in ATL","author":"fraternali","year":"2009","journal-title":"MtATL LSM"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2013.13"},{"key":"ref16","article-title":"Loosely Coupled Traceability for ATL","author":"jouault","year":"2005","journal-title":"Workshop Proceedings of ECMDA"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.002"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2008.10.001"},{"key":"ref19","first-page":"18","article-title":"On the Use of Higher-Order Model Transformations","volume":"5562","author":"tisi","year":"2009","journal-title":"Proc ECMDA-FA Ser LNCS"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.11"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-011-0211-2"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2013.30"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1743546.1743583"},{"key":"ref6","article-title":"Static Fault Localization in Model Transformations","author":"burgue\u00f1o","year":"2015","journal-title":"IEEE Trans Soft Eng"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2014.10"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21470-7_16"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.197"},{"key":"ref2","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":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30982-3_11"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231150"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642946"},{"article-title":"ATL\/EMFTVM","year":"2014","author":"wagelaar","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24485-8_46"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CVSM.2009.5071714"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2011.10.1.a5"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1522"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1109\/SCCC.1999.810159","article-title":"Proteum\/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing","author":"fabbri","year":"1999","journal-title":"Proceedings of the 19th International Conference of the Chilean Computer Science Society (SCCC'99)"}],"event":{"name":"2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","start":{"date-parts":[[2015,4,13]]},"location":"Graz, Austria","end":{"date-parts":[[2015,4,17]]}},"container-title":["2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7100633\/7107396\/07107455.pdf?arnumber=7107455","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,10]],"date-time":"2023-08-10T14:49:16Z","timestamp":1691678956000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7107455\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/icstw.2015.7107455","relation":{},"subject":[],"published":{"date-parts":[[2015,4]]}}}