{"id":"https://openalex.org/W2963786844","doi":"https://doi.org/10.1145/3313789","title":"Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software","display_name":"Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software","publication_year":2019,"publication_date":"2019-07-18","ids":{"openalex":"https://openalex.org/W2963786844","doi":"https://doi.org/10.1145/3313789","mag":"2963786844"},"language":"en","primary_location":{"id":"doi:10.1145/3313789","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3313789","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"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":"ACM Transactions on Software Engineering and Methodology","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/A5023917899","display_name":"Dennis Reuling","orcid":"https://orcid.org/0000-0003-4218-5333"},"institutions":[{"id":"https://openalex.org/I206895457","display_name":"University of Siegen","ror":"https://ror.org/02azyry73","country_code":"DE","type":"education","lineage":["https://openalex.org/I206895457"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Dennis Reuling","raw_affiliation_strings":["Software Engineering Group, University of Siegen, Siegen, Germany"],"raw_orcid":"https://orcid.org/0000-0003-4218-5333","affiliations":[{"raw_affiliation_string":"Software Engineering Group, University of Siegen, Siegen, Germany","institution_ids":["https://openalex.org/I206895457"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012762940","display_name":"Udo Kelter","orcid":"https://orcid.org/0000-0003-2052-4912"},"institutions":[{"id":"https://openalex.org/I206895457","display_name":"University of Siegen","ror":"https://ror.org/02azyry73","country_code":"DE","type":"education","lineage":["https://openalex.org/I206895457"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Udo Kelter","raw_affiliation_strings":["Software Engineering Group, University of Siegen, Siegen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Software Engineering Group, University of Siegen, Siegen, Germany","institution_ids":["https://openalex.org/I206895457"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086925162","display_name":"Johannes B\u00fcrdek","orcid":null},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Johannes B\u00fcrdek","raw_affiliation_strings":["Real-Time Systems Lab, TU Darmstadt, Darmstadt, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Real-Time Systems Lab, TU Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056787798","display_name":"Malte Lochau","orcid":"https://orcid.org/0000-0002-8404-753X"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Malte Lochau","raw_affiliation_strings":["Real-Time Systems Lab, TU Darmstadt, Darmstadt, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Real-Time Systems Lab, TU Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.7532,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.92140897,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"28","issue":"3","first_page":"1","last_page":"59"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9995999932289124,"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.9995999932289124,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9983999729156494,"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.9952999949455261,"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.8239174485206604},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5452303886413574},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.5288071632385254},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.495961993932724},{"id":"https://openalex.org/keywords/codebase","display_name":"Codebase","score":0.42071789503097534},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4149585962295532},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.40217357873916626},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3952588737010956},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.31730395555496216}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8239174485206604},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5452303886413574},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5288071632385254},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.495961993932724},{"id":"https://openalex.org/C51929080","wikidata":"https://www.wikidata.org/wiki/Q2425187","display_name":"Codebase","level":3,"score":0.42071789503097534},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4149585962295532},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.40217357873916626},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3952588737010956},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31730395555496216}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3313789","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3313789","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"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":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},{"id":"pmh:oai:tubiblio.ulb.tu-darmstadt.de:115580","is_oa":false,"landing_page_url":"http://tubiblio.ulb.tu-darmstadt.de/115580/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196390","display_name":"TUbilio (Technical University of Darmstadt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I31512782","host_organization_name":"Technische Universit\u00e4t Darmstadt","host_organization_lineage":["https://openalex.org/I31512782"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Artikel"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17","score":0.4399999976158142}],"awards":[{"id":"https://openalex.org/G7344962855","display_name":null,"funder_award_id":"330452222,284512969","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":67,"referenced_works":["https://openalex.org/W11840263","https://openalex.org/W95161029","https://openalex.org/W116291049","https://openalex.org/W776719359","https://openalex.org/W1273632282","https://openalex.org/W1500250067","https://openalex.org/W1501652040","https://openalex.org/W1504271833","https://openalex.org/W1505131313","https://openalex.org/W1529563380","https://openalex.org/W1548817078","https://openalex.org/W1811280172","https://openalex.org/W1838431648","https://openalex.org/W1967185446","https://openalex.org/W2001640876","https://openalex.org/W2007820106","https://openalex.org/W2014294357","https://openalex.org/W2022728067","https://openalex.org/W2022970768","https://openalex.org/W2023349464","https://openalex.org/W2033903049","https://openalex.org/W2036417954","https://openalex.org/W2041713059","https://openalex.org/W2048064553","https://openalex.org/W2048342307","https://openalex.org/W2049599421","https://openalex.org/W2055888212","https://openalex.org/W2057432538","https://openalex.org/W2069920427","https://openalex.org/W2071336243","https://openalex.org/W2080849400","https://openalex.org/W2089247684","https://openalex.org/W2094810043","https://openalex.org/W2096491586","https://openalex.org/W2099213660","https://openalex.org/W2103779463","https://openalex.org/W2109640930","https://openalex.org/W2121668868","https://openalex.org/W2124659400","https://openalex.org/W2125260159","https://openalex.org/W2137175751","https://openalex.org/W2146078104","https://openalex.org/W2148576927","https://openalex.org/W2149864282","https://openalex.org/W2151951885","https://openalex.org/W2156543375","https://openalex.org/W2157532207","https://openalex.org/W2161253570","https://openalex.org/W2161488870","https://openalex.org/W2161565163","https://openalex.org/W2163809353","https://openalex.org/W2164024695","https://openalex.org/W2164521341","https://openalex.org/W2182864832","https://openalex.org/W2192020386","https://openalex.org/W2259857035","https://openalex.org/W2408786559","https://openalex.org/W2472185775","https://openalex.org/W2511206070","https://openalex.org/W2529269666","https://openalex.org/W2532962075","https://openalex.org/W2561675875","https://openalex.org/W2749008552","https://openalex.org/W2911468826","https://openalex.org/W3105926539","https://openalex.org/W4236543541","https://openalex.org/W4237946187"],"related_works":["https://openalex.org/W4210714572","https://openalex.org/W236697550","https://openalex.org/W2966393348","https://openalex.org/W2603924900","https://openalex.org/W4233135075","https://openalex.org/W2024584766","https://openalex.org/W4291746025","https://openalex.org/W1907942343","https://openalex.org/W2064613179","https://openalex.org/W2558944328"],"abstract_inverted_index":{"Nowadays":[0],"software":[1],"tends":[2],"to":[3,35,41,73,97,114,166,178,189,207,267,273,282],"come":[4],"in":[5,31,56,75,238,306,334],"many":[6,142],"different,":[7],"yet":[8],"similar":[9],"variants,":[10],"often":[11],"derived":[12],"from":[13,195],"a":[14,48,57,82,109,126,136,180,208],"common":[15],"code":[16],"base":[17],"via":[18],"clone-and-own.":[19],"Family-based-analysis":[20],"strategies":[21,46],"have":[22],"recently":[23],"shown":[24],"very":[25,257],"promising":[26],"potential":[27,171],"for":[28,89,146,216,269,275,291],"improving":[29],"efficiency":[30,259],"applying":[32,234],"quality-assurance":[33],"techniques":[34,327],"such":[36],"variant-rich":[37,102],"programs,":[38,213],"as":[39,245,247,249,280],"compared":[40,281],"variant-by-variant":[42,283],"approaches.":[43],"Unfortunately,":[44],"these":[45],"require":[47],"single":[49],"program":[50,54,95,128,138],"representation":[51],"superimposing":[52],"all":[53,300,308],"variants":[55,96,124,184,302],"syntactically":[58],"well-formed,":[59],"semantically":[60],"sound,":[61],"and":[62,70,174,188,227,271],"variant-preserving":[63],"manner,":[64],"which":[65],"is":[66],"usually":[67],"not":[68],"available":[69],"manually":[71],"hard":[72],"obtain":[74],"practice.":[76],"In":[77,222,293],"this":[78,105],"article,":[79],"we":[80,107,224],"present":[81],"novel":[83,110],"methodology,":[84],"called":[85],"S":[86,204,235,330],"i":[87,205,236,331],"MPOSE,":[88],"automatically":[90],"generating":[91],"superimpositions":[92],"of":[93,101,121,125,156,164,170,182,203,210,219,230,241,265],"existing":[94,324],"facilitate":[98],"family-based":[99,242],"analyses":[100],"software.":[103],"To":[104,150],"end,":[106],"propose":[108],"N-way":[111,157,172,193,325],"model-merging":[112],"methodology":[113],"integrate":[115],"the":[116,153,168,239,287,337],"control-flow":[117],"automaton":[118],"(CFA)":[119],"representations":[120],"N":[122,183,301],"given":[123],"C":[127,212],"into":[129,185],"one":[130],"unified":[131,137],"CFA":[132,134],"representation.":[133],"constitute":[135],"abstraction":[139],"used":[140],"by":[141,233,261],"recent":[143],"software-analysis":[144],"tools":[145],"automated":[147],"quality":[148],"assurance.":[149],"cope":[151],"with":[152,322],"inherent":[154],"complexity":[155],"model-merging,":[158],"our":[159,200,231,295,320],"approach":[160,232],"(1)":[161],"utilizes":[162],"principles":[163],"similarity-propagation":[165],"reduce":[167],"number":[169],"matches,":[173],"(2)":[175],"enables":[176],"us":[177],"decompose":[179],"set":[181],"arbitrary":[186],"subsets":[187],"incrementally":[190],"derive":[191],"an":[192,262],"superimposition":[194],"partial":[196],"superimpositions.":[197],"We":[198],"apply":[199],"tool":[201],"implementation":[202],"MPOSE":[206,237,332],"selection":[209],"realistic":[211],"frequently":[214],"considered":[215],"experimental":[217,254],"evaluation":[218],"program-analysis":[220,251],"techniques.":[221,252],"particular,":[223],"investigate":[225],"applicability":[226],"efficiency/effectiveness":[228,339],"trade-offs":[229],"context":[240],"unit-test":[243],"generation":[244],"well":[246],"model-checking":[248,276],"sample":[250],"Our":[253],"results":[255,296,313],"reveal":[256],"impressive":[258],"improvements":[260],"average":[263],"factor":[264],"up":[266,272],"2.6":[268],"test-generation":[270],"2.4":[274],"under":[277],"stable":[278],"effectiveness,":[279],"approaches,":[284],"thus":[285],"amortizing":[286],"additional":[288],"effort":[289],"required":[290],"merging.":[292,318],"addition,":[294],"show":[297],"that":[298,329],"merging":[299,326],"at":[303],"once":[304],"produces,":[305],"almost":[307],"cases,":[309,336],"clearly":[310],"more":[311],"precise":[312],"than":[314],"incremental":[315],"step-wise":[316],"2-way":[317],"Finally,":[319],"comparison":[321],"major":[323],"shows":[328],"constitutes,":[333],"most":[335],"best":[338],"trade-off.":[340]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3}],"updated_date":"2026-07-02T09:51:11.867554","created_date":"2025-10-10T00:00:00"}