{"id":"https://openalex.org/W2067251265","doi":"https://doi.org/10.1145/1743546.1743583","title":"Barriers to systematic model transformation testing","display_name":"Barriers to systematic model transformation testing","publication_year":2010,"publication_date":"2010-06-01","ids":{"openalex":"https://openalex.org/W2067251265","doi":"https://doi.org/10.1145/1743546.1743583","mag":"2067251265"},"language":"en","primary_location":{"id":"doi:10.1145/1743546.1743583","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1743546.1743583","pdf_url":null,"source":{"id":"https://openalex.org/S103482838","display_name":"Communications of the ACM","issn_l":"0001-0782","issn":["0001-0782","1557-7317"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications of the ACM","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/inria-00542747","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086536054","display_name":"Beno\u00eet Baudry","orcid":"https://orcid.org/0000-0002-4015-4640"},"institutions":[{"id":"https://openalex.org/I4210133778","display_name":"Inria Rennes - Bretagne Atlantique Research Centre","ror":"https://ror.org/04040yw90","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210133778"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Benoit Baudry","raw_affiliation_strings":["INRIA Rennes Bretagne Atlantique, France"],"affiliations":[{"raw_affiliation_string":"INRIA Rennes Bretagne Atlantique, France","institution_ids":["https://openalex.org/I4210133778","https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056525200","display_name":"Sudipto Ghosh","orcid":"https://orcid.org/0000-0001-6000-9646"},"institutions":[{"id":"https://openalex.org/I92446798","display_name":"Colorado State University","ror":"https://ror.org/03k1gpj17","country_code":"US","type":"education","lineage":["https://openalex.org/I92446798"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sudipto Ghosh","raw_affiliation_strings":["Colorado State University, CO"],"affiliations":[{"raw_affiliation_string":"Colorado State University, CO","institution_ids":["https://openalex.org/I92446798"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085449737","display_name":"Franck Fleurey","orcid":null},"institutions":[{"id":"https://openalex.org/I173888879","display_name":"SINTEF","ror":"https://ror.org/01f677e56","country_code":"NO","type":"facility","lineage":["https://openalex.org/I173888879"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Franck Fleurey","raw_affiliation_strings":["SINTEF, Oslo, Norway"],"affiliations":[{"raw_affiliation_string":"SINTEF, Oslo, Norway","institution_ids":["https://openalex.org/I173888879"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048942832","display_name":"Robert France","orcid":"https://orcid.org/0000-0002-9171-8426"},"institutions":[{"id":"https://openalex.org/I92446798","display_name":"Colorado State University","ror":"https://ror.org/03k1gpj17","country_code":"US","type":"education","lineage":["https://openalex.org/I92446798"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Robert France","raw_affiliation_strings":["Colorado State University, CO"],"affiliations":[{"raw_affiliation_string":"Colorado State University, CO","institution_ids":["https://openalex.org/I92446798"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040574362","display_name":"Yves Le Traon","orcid":"https://orcid.org/0000-0002-1045-4861"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Yves Le Traon","raw_affiliation_strings":["University of Luxembourg"],"affiliations":[{"raw_affiliation_string":"University of Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078971495","display_name":"Jean\u2010Marie Mottu","orcid":"https://orcid.org/0000-0002-5245-4261"},"institutions":[{"id":"https://openalex.org/I97188460","display_name":"Nantes Universit\u00e9","ror":"https://ror.org/03gnr7b55","country_code":"FR","type":"education","lineage":["https://openalex.org/I97188460"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Marie Mottu","raw_affiliation_strings":["University of Nantes, France"],"affiliations":[{"raw_affiliation_string":"University of Nantes, France","institution_ids":["https://openalex.org/I97188460"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5086536054"],"corresponding_institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4210133778"],"apc_list":null,"apc_paid":null,"fwci":23.0755,"has_fulltext":false,"cited_by_count":129,"citation_normalized_percentile":{"value":0.99649705,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":"53","issue":"6","first_page":"139","last_page":"143"},"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.9998999834060669,"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.9998999834060669,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9987999796867371,"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.9987000226974487,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8043055534362793},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.733905553817749},{"id":"https://openalex.org/keywords/code-refactoring","display_name":"Code refactoring","score":0.712531328201294},{"id":"https://openalex.org/keywords/model-driven-architecture","display_name":"Model-driven architecture","score":0.5946422815322876},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.5776652097702026},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4880942106246948},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4739242494106293},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.46105754375457764},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.4544260501861572},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4489176571369171},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.44207850098609924},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.43879082798957825},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.43773406744003296},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.15680015087127686},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.11097031831741333}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8043055534362793},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.733905553817749},{"id":"https://openalex.org/C152752567","wikidata":"https://www.wikidata.org/wiki/Q116877","display_name":"Code refactoring","level":3,"score":0.712531328201294},{"id":"https://openalex.org/C509989072","wikidata":"https://www.wikidata.org/wiki/Q15188241","display_name":"Model-driven architecture","level":4,"score":0.5946422815322876},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.5776652097702026},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4880942106246948},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4739242494106293},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.46105754375457764},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.4544260501861572},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4489176571369171},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.44207850098609924},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.43879082798957825},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.43773406744003296},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15680015087127686},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.11097031831741333},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","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/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/1743546.1743583","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1743546.1743583","pdf_url":null,"source":{"id":"https://openalex.org/S103482838","display_name":"Communications of the ACM","issn_l":"0001-0782","issn":["0001-0782","1557-7317"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications of the ACM","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.188.7601","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.7601","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.irisa.fr/triskell/publis/2009/Baudry09a.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.533.272","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.533.272","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://pagesperso.lina.univ-nantes.fr/~mottu-jm/publications/baudry09x.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.920.1302","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.920.1302","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://hal.inria.fr/inria-00542747/document/","raw_type":"text"},{"id":"pmh:oai:HAL:inria-00542747v1","is_oa":true,"landing_page_url":"https://inria.hal.science/inria-00542747","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Communications of the ACM, 2010, 53 (6), pp.0-0","raw_type":"Journal articles"}],"best_oa_location":{"id":"pmh:oai:HAL:inria-00542747v1","is_oa":true,"landing_page_url":"https://inria.hal.science/inria-00542747","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Communications of the ACM, 2010, 53 (6), pp.0-0","raw_type":"Journal articles"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.41999998688697815,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1526993786","https://openalex.org/W1560286168","https://openalex.org/W1877369453","https://openalex.org/W1985779099","https://openalex.org/W1987549499","https://openalex.org/W1998437683","https://openalex.org/W2026586559","https://openalex.org/W2107061559","https://openalex.org/W2112533109","https://openalex.org/W2138464849","https://openalex.org/W2139872812","https://openalex.org/W2155693950","https://openalex.org/W2165203881","https://openalex.org/W2554039113","https://openalex.org/W2990016870","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2420853400","https://openalex.org/W3123446289","https://openalex.org/W2122751318","https://openalex.org/W2006834218","https://openalex.org/W1612578519","https://openalex.org/W2736527880","https://openalex.org/W2168532110","https://openalex.org/W1506663069","https://openalex.org/W2067251265","https://openalex.org/W1505600029"],"abstract_inverted_index":{"Introduction":[0],"Model":[1,234],"Driven":[2],"Engineering":[3],"(MDE)":[4],"techniques":[5],"support":[6],"extensive":[7],"use":[8],"of":[9,18,23,37,120,124,239,251,257,264,272,288],"models":[10,69,197],"in":[11,39,49,77,100,176,183,198,226,230],"order":[12],"to":[13,70,132,144,152,195,212,221,270,285,300],"manage":[14],"the":[15,35,72,78,165,184,262,286],"increasing":[16],"complexity":[17,250],"software":[19,24,59,158],"systems.":[20,41,117],"Appropriate":[21],"abstractions":[22],"system":[25],"elements":[26],"can":[27,95,179,193],"ease":[28],"reasoning":[29],"and":[30,32,57,88,163,190,214,253,261,296],"understanding":[31],"thus":[33,164],"limit":[34],"risk":[36],"errors":[38],"large":[40],"Automatic":[42],"model":[43,84,127,139,166,217,258,280],"transformations":[44,85,121,167,218,235],"play":[45],"a":[46,101,108,125,133,138,177,181,203,237],"critical":[47,116,162],"role":[48],"MDE":[50],"since":[51],"they":[52],"automate":[53,169],"complex,":[54],"tedious,":[55],"error-prone,":[56],"recurrent":[58],"development":[60,159,200],"tasks.":[61],"Airbus":[62,79],"uses":[63],"automatic":[64,111],"code":[65,73,112,151],"synthesis":[66,113],"from":[67,90],"SCADE":[68],"generate":[71],"for":[74,83,110,114],"embedded":[75],"controllers":[76],"A380.":[80],"Commercial":[81],"tools":[82,93],"exist.":[86],"Objecteering":[87],"Together":[89],"Borland":[91],"are":[92,122,161,219],"that":[94,168,244,283],"automatically":[96],"add":[97],"design":[98,126,146],"patterns":[99],"UML":[102],"class":[103,238],"model.":[104,156],"Esterel":[105],"Technologies":[106],"have":[107],"tool":[109],"safety":[115],"Other":[118],"examples":[119],"refinement":[123],"by":[128,140],"adding":[129],"details":[130],"pertaining":[131],"particular":[134],"target":[135],"platform,":[136],"refactoring":[137],"changing":[141],"its":[142],"structure":[143],"enhance":[145],"quality,":[147],"or":[148],"reverse":[149],"engineering":[150],"obtain":[153],"an":[154],"abstract":[155],"These":[157],"tasks":[160],"them":[170,227,247],"must":[171],"be":[172,222],"validated.":[173],"A":[174],"fault":[175,182,204],"transformation":[178,265,281],"introduce":[180],"transformed":[185],"model,":[186],"which":[187],"if":[188],"undetected":[189],"not":[191],"removed,":[192],"propagate":[194],"other":[196],"successive":[199],"steps.":[201],"As":[202],"propagates":[205],"across":[206],"transformations,":[207],"it":[208],"becomes":[209],"more":[210],"difficult":[211],"detect":[213],"isolate.":[215],"Since":[216],"meant":[220],"reused,":[223],"faults":[224],"present":[225,293],"may":[228],"result":[229],"many":[231],"faulty":[232],"models.":[233],"constitute":[236],"programs":[240],"with":[241],"unique":[242],"characteristics":[243,282],"make":[245],"testing":[246,290],"challenging.":[248],"The":[249],"input":[252],"output":[254],"data,":[255],"lack":[256],"management":[259],"tools,":[260],"heterogeneity":[263],"languages":[266],"pose":[267],"special":[268],"problems":[269],"testers":[271],"transformations.":[273,291],"In":[274],"this":[275],"paper":[276],"we":[277],"identify":[278],"current":[279],"contribute":[284],"difficulty":[287],"systematically":[289],"We":[292],"promising":[294],"solutions":[295],"propose":[297],"possible":[298],"ways":[299],"overcome":[301],"these":[302],"barriers.":[303]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":9},{"year":2015,"cited_by_count":14},{"year":2014,"cited_by_count":13},{"year":2013,"cited_by_count":18},{"year":2012,"cited_by_count":23}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}