{"id":"https://openalex.org/W2979412565","doi":"https://doi.org/10.1145/3357766.3359546","title":"Detecting and exploring side effects when repairing model inconsistencies","display_name":"Detecting and exploring side effects when repairing model inconsistencies","publication_year":2019,"publication_date":"2019-10-10","ids":{"openalex":"https://openalex.org/W2979412565","doi":"https://doi.org/10.1145/3357766.3359546","mag":"2979412565"},"language":"en","primary_location":{"id":"doi:10.1145/3357766.3359546","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3357766.3359546","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-02326034","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103021471","display_name":"Djamel Eddine Khelladi","orcid":"https://orcid.org/0000-0002-2218-650X"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Djamel Eddine Khelladi","raw_affiliation_strings":["CNRS, France / IRISA, France"],"affiliations":[{"raw_affiliation_string":"CNRS, France / IRISA, France","institution_ids":["https://openalex.org/I2802519937","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016832700","display_name":"Roland Kretschmer","orcid":"https://orcid.org/0000-0002-5710-5554"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Roland Kretschmer","raw_affiliation_strings":["JKU Linz, Austria"],"affiliations":[{"raw_affiliation_string":"JKU Linz, Austria","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057561309","display_name":"Alexander Egyed","orcid":"https://orcid.org/0000-0003-3128-5427"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alexander Egyed","raw_affiliation_strings":["JKU Linz, Austria"],"affiliations":[{"raw_affiliation_string":"JKU Linz, Austria","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5103021471"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I2802519937"],"apc_list":null,"apc_paid":null,"fwci":4.2317,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.9489041,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"113","last_page":"126"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9998000264167786,"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"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9988999962806702,"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/ranking","display_name":"Ranking (information retrieval)","score":0.7030218839645386},{"id":"https://openalex.org/keywords/side-effect","display_name":"Side effect (computer science)","score":0.6666356325149536},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6532988548278809},{"id":"https://openalex.org/keywords/great-rift","display_name":"Great Rift","score":0.5744805335998535},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.23093348741531372}],"concepts":[{"id":"https://openalex.org/C189430467","wikidata":"https://www.wikidata.org/wiki/Q7293293","display_name":"Ranking (information retrieval)","level":2,"score":0.7030218839645386},{"id":"https://openalex.org/C3454156","wikidata":"https://www.wikidata.org/wiki/Q1144241","display_name":"Side effect (computer science)","level":2,"score":0.6666356325149536},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6532988548278809},{"id":"https://openalex.org/C99394141","wikidata":"https://www.wikidata.org/wiki/Q1085203","display_name":"Great Rift","level":2,"score":0.5744805335998535},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.23093348741531372},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3357766.3359546","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3357766.3359546","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-02326034v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-02326034","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":"SLE 2019 - 12th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2019, Ath\u00e8nes, Greece. pp.103-126, ⟨10.1145/3357766.3359546⟩","raw_type":"Conference papers"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-02326034v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-02326034","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":"SLE 2019 - 12th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2019, Ath\u00e8nes, Greece. pp.103-126, ⟨10.1145/3357766.3359546⟩","raw_type":"Conference papers"},"sustainable_development_goals":[{"score":0.6000000238418579,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":49,"referenced_works":["https://openalex.org/W1592640009","https://openalex.org/W1905213001","https://openalex.org/W1931440072","https://openalex.org/W1970178969","https://openalex.org/W1971702813","https://openalex.org/W1983160424","https://openalex.org/W1985804037","https://openalex.org/W1991222280","https://openalex.org/W1991633729","https://openalex.org/W2016915664","https://openalex.org/W2052987299","https://openalex.org/W2054332523","https://openalex.org/W2058145265","https://openalex.org/W2060440626","https://openalex.org/W2072524792","https://openalex.org/W2081938064","https://openalex.org/W2094489875","https://openalex.org/W2094691937","https://openalex.org/W2095741627","https://openalex.org/W2103260577","https://openalex.org/W2107344568","https://openalex.org/W2116759993","https://openalex.org/W2119284483","https://openalex.org/W2127685229","https://openalex.org/W2139872812","https://openalex.org/W2153323751","https://openalex.org/W2157198435","https://openalex.org/W2158209101","https://openalex.org/W2159090554","https://openalex.org/W2160930909","https://openalex.org/W2167736435","https://openalex.org/W2169123208","https://openalex.org/W2181002748","https://openalex.org/W2203711655","https://openalex.org/W2401819632","https://openalex.org/W2417062495","https://openalex.org/W2483766565","https://openalex.org/W2518794401","https://openalex.org/W2576187963","https://openalex.org/W2752923063","https://openalex.org/W2890508658","https://openalex.org/W2895270741","https://openalex.org/W2895777645","https://openalex.org/W3124976376","https://openalex.org/W4229977739","https://openalex.org/W4231619189","https://openalex.org/W4239191916","https://openalex.org/W6646283905","https://openalex.org/W7073843381"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W3044357648","https://openalex.org/W630280895","https://openalex.org/W3203871998","https://openalex.org/W4280531227","https://openalex.org/W2841057185","https://openalex.org/W2155812076","https://openalex.org/W2326083215","https://openalex.org/W2330690864"],"abstract_inverted_index":{"When":[0],"software":[1],"models":[2,174],"change,":[3],"developers":[4,24,132,197,251],"often":[5],"fail":[6],"in":[7,13,57,73,83,106,248],"keeping":[8],"them":[9],"consistent.":[10],"Automated":[11],"support":[12],"repairing":[14,52,84],"inconsistencies":[15,38,44],"is":[16,25],"widely":[17],"addressed.":[18],"Yet,":[19],"merely":[20],"enumerating":[21],"repairs":[22,124,193,220,232],"for":[23,92],"not":[26,66,254],"enough.":[27],"A":[28,169,201],"repair":[29],"can":[30,56,76],"as":[31,45],"a":[32],"side":[33,54,61,71,101,111,127,165,184,213,226,235,242,256],"effect":[34,128,227,257],"cause":[35,59],"new":[36],"unexpected":[37],"(negative)":[39],"or":[40],"even":[41],"fix":[42],"other":[43],"well":[46],"(positive).":[47],"To":[48],"make":[49],"matters":[50],"worse,":[51],"negative":[53,110,164,241],"effects":[55,72,112,166,214,236],"turn":[58],"further":[60,122,207],"effects.":[62,102,185],"Current":[63],"approaches":[64],"do":[65],"detect":[67],"and":[68,80,94,109,113,116,141,156,163,215,237],"track":[69],"such":[70],"depth,":[74],"which":[75],"increase":[77],"developers'":[78],"effort":[79],"time":[81],"spent":[82],"inconsistencies.":[85],"This":[86,120],"paper":[87,121],"presents":[88],"an":[89],"automated":[90],"approach":[91,140],"detecting":[93],"tracking":[95],"the":[96,136,176,209],"consequences":[97],"of":[98,118,178,212,216,219],"repairs,":[99],"i.e.":[100],"It":[103,186],"recursively":[104],"explores":[105],"depth":[107],"positive":[108,162,234],"identifies":[114],"paths":[115],"cycles":[117],"repairs.":[119],"ranks":[123],"based":[125,182],"on":[126,149,183,221],"knowledge":[129,228],"so":[130],"that":[131,160,188,196],"may":[133],"quickly":[134],"find":[135],"relevant":[137],"ones.":[138],"Our":[139],"its":[142],"tool":[143],"implementation":[144],"have":[145],"been":[146],"empirically":[147],"assessed":[148],"14":[150],"case":[151],"studies":[152],"from":[153],"industry,":[154],"academia,":[155],"GitHub.":[157],"Results":[158],"show":[159],"both":[161],"occur":[167],"frequently.":[168],"comparison":[170],"with":[171,204,233,240],"three":[172],"versioned":[173],"showed":[175,187],"usefulness":[177],"our":[179,189,217],"ranking":[180,218],"strategy":[181],"approach's":[190],"top":[191],"prioritized":[192],"are":[194],"those":[195],"would":[198],"indeed":[199],"choose.":[200],"controlled":[202],"experiment":[203],"24":[205],"participants":[206],"highlights":[208],"significant":[210],"influence":[211],"developers.":[222],"Developers":[223],"who":[224,252],"received":[225],"chose":[229],"far":[230,238],"more":[231],"less":[239],"effects,":[243],"while":[244],"being":[245],"12.3%":[246],"faster,":[247],"contrast":[249],"to":[250],"did":[253],"receive":[255],"knowledge.":[258]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":3}],"updated_date":"2026-04-03T22:45:19.894376","created_date":"2025-10-10T00:00:00"}