{"id":"https://openalex.org/W2131336207","doi":"https://doi.org/10.1109/tse.2014.2375201","title":"Static Fault Localization in Model Transformations","display_name":"Static Fault Localization in Model Transformations","publication_year":2014,"publication_date":"2014-11-26","ids":{"openalex":"https://openalex.org/W2131336207","doi":"https://doi.org/10.1109/tse.2014.2375201","mag":"2131336207"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2014.2375201","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2014.2375201","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037353994","display_name":"Loli Burgue\u00f1o","orcid":"https://orcid.org/0000-0002-7779-8810"},"institutions":[{"id":"https://openalex.org/I82767444","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28","country_code":"ES","type":"education","lineage":["https://openalex.org/I82767444"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Loli Burgueno","raw_affiliation_strings":["Dept. Lenguajes y Ciencias de la Computaci\u00f3n, Universidad de M\u00e1laga, Bulevar Louis Pasteur, 35, Malaga, Spain","[Dept. Lenguajes y Ciencias de la Computaci\u00f3n, Universidad de M\u00e1laga, Bulevar Louis Pasteur, 35, Malaga, Spain]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. Lenguajes y Ciencias de la Computaci\u00f3n, Universidad de M\u00e1laga, Bulevar Louis Pasteur, 35, Malaga, Spain","institution_ids":["https://openalex.org/I82767444"]},{"raw_affiliation_string":"[Dept. Lenguajes y Ciencias de la Computaci\u00f3n, Universidad de M\u00e1laga, Bulevar Louis Pasteur, 35, Malaga, Spain]","institution_ids":["https://openalex.org/I82767444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055078557","display_name":"Javier Troya","orcid":"https://orcid.org/0000-0002-1314-9694"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Javier Troya","raw_affiliation_strings":["Vienna University of Technology, Business Informatics Group, Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vienna University of Technology, Business Informatics Group, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023093639","display_name":"Manuel Wimmer","orcid":"https://orcid.org/0000-0002-1124-7098"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Manuel Wimmer","raw_affiliation_strings":["Vienna University of Technology, Business Informatics Group, Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vienna University of Technology, Business Informatics Group, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003199242","display_name":"Antonio Vallecillo","orcid":"https://orcid.org/0000-0002-8139-9986"},"institutions":[{"id":"https://openalex.org/I82767444","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28","country_code":"ES","type":"education","lineage":["https://openalex.org/I82767444"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Antonio Vallecillo","raw_affiliation_strings":["Dept. Lenguajes y Ciencias de la Computaci\u00f3n, Universidad de M\u00e1laga, Bulevar Louis Pasteur, 35, Malaga, Spain","[Dept. Lenguajes y Ciencias de la Computaci\u00f3n, Universidad de M\u00e1laga, Bulevar Louis Pasteur, 35, Malaga, Spain]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. Lenguajes y Ciencias de la Computaci\u00f3n, Universidad de M\u00e1laga, Bulevar Louis Pasteur, 35, Malaga, Spain","institution_ids":["https://openalex.org/I82767444"]},{"raw_affiliation_string":"[Dept. Lenguajes y Ciencias de la Computaci\u00f3n, Universidad de M\u00e1laga, Bulevar Louis Pasteur, 35, Malaga, Spain]","institution_ids":["https://openalex.org/I82767444"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":11.2678,"has_fulltext":false,"cited_by_count":61,"citation_normalized_percentile":{"value":0.98635648,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":"41","issue":"5","first_page":"490","last_page":"506"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8697794675827026},{"id":"https://openalex.org/keywords/metamodeling","display_name":"Metamodeling","score":0.8306757211685181},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7924734950065613},{"id":"https://openalex.org/keywords/eclipse","display_name":"Eclipse","score":0.7108210325241089},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5460077524185181},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.542768120765686},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.5309792160987854},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5066126585006714},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.5035669207572937},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.46646109223365784},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38181209564208984},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3752254545688629},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.19709378480911255}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8697794675827026},{"id":"https://openalex.org/C86610423","wikidata":"https://www.wikidata.org/wiki/Q1925081","display_name":"Metamodeling","level":2,"score":0.8306757211685181},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7924734950065613},{"id":"https://openalex.org/C2778505590","wikidata":"https://www.wikidata.org/wiki/Q141022","display_name":"Eclipse","level":2,"score":0.7108210325241089},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5460077524185181},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.542768120765686},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.5309792160987854},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5066126585006714},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5035669207572937},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.46646109223365784},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38181209564208984},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3752254545688629},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19709378480911255},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tse.2014.2375201","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2014.2375201","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:dnet:idus________::be2d98562e3d0472e93b30d232abf4d3","is_oa":false,"landing_page_url":"https://idus.us.es/handle//11441/73339","pdf_url":null,"source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2188594280","display_name":null,"funder_award_id":"832160","funder_id":"https://openalex.org/F4320323031","funder_display_name":"\u00d6sterreichische Forschungsf\u00f6rderungsgesellschaft"},{"id":"https://openalex.org/G3011086035","display_name":"Advanced software-based seRvice provisioning and migraTIon of legacy Software","funder_award_id":"317859","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320323031","display_name":"\u00d6sterreichische Forschungsf\u00f6rderungsgesellschaft","ror":"https://ror.org/028jc0449"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":93,"referenced_works":["https://openalex.org/W48413232","https://openalex.org/W58064672","https://openalex.org/W112718097","https://openalex.org/W127166526","https://openalex.org/W145421520","https://openalex.org/W193914031","https://openalex.org/W194574943","https://openalex.org/W1481362792","https://openalex.org/W1487851792","https://openalex.org/W1504007491","https://openalex.org/W1509087931","https://openalex.org/W1514397751","https://openalex.org/W1515552837","https://openalex.org/W1527353115","https://openalex.org/W1532325895","https://openalex.org/W1547552450","https://openalex.org/W1551827801","https://openalex.org/W1562798600","https://openalex.org/W1594569722","https://openalex.org/W1598157599","https://openalex.org/W1842194265","https://openalex.org/W1842505272","https://openalex.org/W1965979806","https://openalex.org/W1968344141","https://openalex.org/W1968812179","https://openalex.org/W1983129150","https://openalex.org/W1987534773","https://openalex.org/W1987549499","https://openalex.org/W1990181683","https://openalex.org/W1998400029","https://openalex.org/W2017114264","https://openalex.org/W2017861417","https://openalex.org/W2025196861","https://openalex.org/W2031256244","https://openalex.org/W2035883391","https://openalex.org/W2037211638","https://openalex.org/W2040238210","https://openalex.org/W2047213321","https://openalex.org/W2050660784","https://openalex.org/W2052363833","https://openalex.org/W2063318269","https://openalex.org/W2067251265","https://openalex.org/W2073125335","https://openalex.org/W2093604545","https://openalex.org/W2098874382","https://openalex.org/W2107024044","https://openalex.org/W2107061559","https://openalex.org/W2107465592","https://openalex.org/W2109573667","https://openalex.org/W2120978952","https://openalex.org/W2134573148","https://openalex.org/W2135841285","https://openalex.org/W2145068101","https://openalex.org/W2146289202","https://openalex.org/W2159420337","https://openalex.org/W2159696578","https://openalex.org/W2162739315","https://openalex.org/W2163730551","https://openalex.org/W2168076257","https://openalex.org/W2169424671","https://openalex.org/W2185674212","https://openalex.org/W2336539423","https://openalex.org/W2412353202","https://openalex.org/W2432561235","https://openalex.org/W2506313862","https://openalex.org/W3009856799","https://openalex.org/W4213009331","https://openalex.org/W4237007055","https://openalex.org/W4241787861","https://openalex.org/W4247675334","https://openalex.org/W4313205696","https://openalex.org/W6604615159","https://openalex.org/W6605221307","https://openalex.org/W6605979307","https://openalex.org/W6607703155","https://openalex.org/W6628767191","https://openalex.org/W6628930740","https://openalex.org/W6630621555","https://openalex.org/W6630690430","https://openalex.org/W6633061551","https://openalex.org/W6633603893","https://openalex.org/W6635586771","https://openalex.org/W6635827153","https://openalex.org/W6639196805","https://openalex.org/W6647902898","https://openalex.org/W6658002376","https://openalex.org/W6665977941","https://openalex.org/W6668929347","https://openalex.org/W6674835655","https://openalex.org/W6680073478","https://openalex.org/W6686678039","https://openalex.org/W6703233939","https://openalex.org/W6717808291"],"related_works":["https://openalex.org/W2101684415","https://openalex.org/W2392502101","https://openalex.org/W3146596127","https://openalex.org/W2164325773","https://openalex.org/W1510924005","https://openalex.org/W2225770667","https://openalex.org/W2107344568","https://openalex.org/W2154846447","https://openalex.org/W2127342803","https://openalex.org/W2928705737"],"abstract_inverted_index":{"As":[0],"the":[1,24,42,58,62,71,80,88,94,97,100,108,119],"complexity":[2],"of":[3,73,99,110],"model":[4,46],"transformations":[5,111],"grows,":[6],"there":[7],"is":[8,68,85,102],"an":[9],"increasing":[10],"need":[11],"to":[12,126],"count":[13],"on":[14,49],"methods,":[15],"mechanisms,":[16],"and":[17,28,37,75,84,96,122],"tools":[18],"for":[19,40,70,116],"checking":[20],"their":[21],"correctness,":[22],"i.e.,":[23,61],"alignment":[25],"between":[26],"specifications":[27],"implementations.":[29],"In":[30],"this":[31],"paper":[32],"we":[33,106],"present":[34],"a":[35],"light-weight":[36],"static":[38],"approach":[39,67,101,121],"locating":[41],"faulty":[43],"rules":[44],"in":[45,79],"transformations,":[47],"based":[48],"matching":[50],"functions":[51],"that":[52],"automatically":[53],"establish":[54],"these":[55],"alignments":[56],"using":[57],"metamodel":[59,63],"footprints,":[60],"elements":[64],"used.":[65],"The":[66],"implemented":[69],"combination":[72],"Tracts":[74],"ATL,":[76],"both":[77],"residing":[78],"Eclipse":[81],"Modeling":[82],"Framework,":[83],"supported":[86],"by":[87],"corresponding":[89],"toolkit.":[90],"An":[91],"evaluation":[92],"discussing":[93],"accuracy":[95],"limitations":[98],"also":[103],"provided.":[104],"Furthermore,":[105],"identify":[107],"kinds":[109],"which":[112],"are":[113],"most":[114],"suitable":[115],"validation":[117],"with":[118],"proposed":[120],"use":[123],"mutation":[124],"techniques":[125],"evaluate":[127],"its":[128],"effectiveness.":[129]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":8},{"year":2016,"cited_by_count":10},{"year":2015,"cited_by_count":8}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}