{"id":"https://openalex.org/W2581096492","doi":"https://doi.org/10.22152/programming-journal.org/2017/1/1","title":"Effective Analysis of C Programs by Rewriting Variability","display_name":"Effective Analysis of C Programs by Rewriting Variability","publication_year":2017,"publication_date":"2017-01-27","ids":{"openalex":"https://openalex.org/W2581096492","doi":"https://doi.org/10.22152/programming-journal.org/2017/1/1","mag":"2581096492"},"language":"en","primary_location":{"id":"doi:10.22152/programming-journal.org/2017/1/1","is_oa":false,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2017/1/1","pdf_url":null,"source":{"id":"https://openalex.org/S4210199781","display_name":"The Art Science and Engineering of Programming","issn_l":"2473-7321","issn":["2473-7321"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Art, Science, and Engineering of Programming","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://pure.itu.dk/portal/da/publications/8b16b6f1-b726-4270-9384-db65d8d417b0","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075955790","display_name":"Alexandru F. Iosif-Laz\u0103r","orcid":null},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Alexandru Florin Iosif-Lazar","raw_affiliation_strings":["IT University of Copenhagen, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IT University of Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111598138","display_name":"Jean Melo","orcid":null},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Jean Melo","raw_affiliation_strings":["IT University of Copenhagen, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IT University of Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063086549","display_name":"Aleksandar S. Dimovski","orcid":"https://orcid.org/0000-0002-3601-2631"},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Aleksandar S. Dimovski","raw_affiliation_strings":["IT University of Copenhagen, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IT University of Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030845988","display_name":"Claus Brabrand","orcid":"https://orcid.org/0000-0001-5093-5806"},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Claus Brabrand","raw_affiliation_strings":["IT University of Copenhagen, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IT University of Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056755949","display_name":"Andrzej W\u0105sowski","orcid":"https://orcid.org/0000-0003-0532-2685"},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Andrzej Wasowski","raw_affiliation_strings":["IT University of Copenhagen, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IT University of Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.685,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":{"value":0.92139273,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"1","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998000264167786,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991000294685364,"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/T10260","display_name":"Software Engineering Research","score":0.9988999962806702,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7301687002182007},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6817623376846313},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.6566554307937622},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.5935853719711304},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5842922329902649},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5217978954315186},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5067294239997864},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.49205583333969116},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.4610769748687744},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.43458667397499084},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3391745388507843},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3203917145729065},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10005801916122437}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7301687002182007},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6817623376846313},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.6566554307937622},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.5935853719711304},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5842922329902649},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5217978954315186},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5067294239997864},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.49205583333969116},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.4610769748687744},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.43458667397499084},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3391745388507843},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3203917145729065},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10005801916122437},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"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/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C548081761","wikidata":"https://www.wikidata.org/wiki/Q180388","display_name":"Waste management","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.22152/programming-journal.org/2017/1/1","is_oa":false,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2017/1/1","pdf_url":null,"source":{"id":"https://openalex.org/S4210199781","display_name":"The Art Science and Engineering of Programming","issn_l":"2473-7321","issn":["2473-7321"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Art, Science, and Engineering of Programming","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:openaire/8b16b6f1-b726-4270-9384-db65d8d417b0","is_oa":true,"landing_page_url":"https://pure.itu.dk/portal/da/publications/8b16b6f1-b726-4270-9384-db65d8d417b0","pdf_url":null,"source":{"id":"https://openalex.org/S4377196680","display_name":"IT University Of Copenhagen (IT University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83467386","host_organization_name":"IT University of Copenhagen","host_organization_lineage":["https://openalex.org/I83467386"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Iosif-Lazar, A F, Melo, J, Dimovski, A, Brabrand, C & Wasowski, A 2017, 'Effective Analysis of C Programs by Rewriting Variability', The Art, Science, and Engineering of Programming, vol. 1, no. 1, 1, pp. 1-25. https://doi.org/10.22152/programming-journal.org/2017/1/1","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:arXiv.org:1701.08114","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1701.08114","pdf_url":"https://arxiv.org/pdf/1701.08114","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:openaire/8b16b6f1-b726-4270-9384-db65d8d417b0","is_oa":true,"landing_page_url":"https://pure.itu.dk/portal/da/publications/8b16b6f1-b726-4270-9384-db65d8d417b0","pdf_url":null,"source":{"id":"https://openalex.org/S4377196680","display_name":"IT University Of Copenhagen (IT University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83467386","host_organization_name":"IT University of Copenhagen","host_organization_lineage":["https://openalex.org/I83467386"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Iosif-Lazar, A F, Melo, J, Dimovski, A, Brabrand, C & Wasowski, A 2017, 'Effective Analysis of C Programs by Rewriting Variability', The Art, Science, and Engineering of Programming, vol. 1, no. 1, 1, pp. 1-25. https://doi.org/10.22152/programming-journal.org/2017/1/1","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W68069235","https://openalex.org/W1501652040","https://openalex.org/W1553894716","https://openalex.org/W1993255342","https://openalex.org/W2009093319","https://openalex.org/W2048064553","https://openalex.org/W2051883613","https://openalex.org/W2070929035","https://openalex.org/W2077164357","https://openalex.org/W2094819373","https://openalex.org/W2099213660","https://openalex.org/W2106009651","https://openalex.org/W2110025251","https://openalex.org/W2113201637","https://openalex.org/W2121396013","https://openalex.org/W2124580491","https://openalex.org/W2147671787","https://openalex.org/W2148305550","https://openalex.org/W2151725765","https://openalex.org/W2161246680","https://openalex.org/W2161253570","https://openalex.org/W2161565163","https://openalex.org/W2208405779","https://openalex.org/W2249077347","https://openalex.org/W2260042246","https://openalex.org/W2274354802","https://openalex.org/W2347456954","https://openalex.org/W2394570354","https://openalex.org/W2402551408","https://openalex.org/W2473788176","https://openalex.org/W2539249059","https://openalex.org/W2554860003","https://openalex.org/W4212903209","https://openalex.org/W4242682130","https://openalex.org/W4252984174"],"related_works":["https://openalex.org/W4299818930","https://openalex.org/W2467059325","https://openalex.org/W263998227","https://openalex.org/W2963664616","https://openalex.org/W4252501555","https://openalex.org/W2003848320","https://openalex.org/W2138154145","https://openalex.org/W1577856049","https://openalex.org/W2172102451","https://openalex.org/W2576194653"],"abstract_inverted_index":{"Context.":[0],"Variability-intensive":[1],"programs":[2,100,112],"(program":[3],"families)":[4],"appear":[5],"in":[6,53,150],"many":[7,12],"application":[8],"areas":[9],"and":[10,29,61,71,73,81,133,155,177,196,202,205],"for":[11,94,200],"reasons":[13],"today.":[14],"Different":[15],"family":[16,168],"members,":[17],"called":[18],"variants,":[19],"are":[20,140],"derived":[21,163],"by":[22,101],"switching":[23],"statically":[24],"configurable":[25],"options":[26],"(features)":[27],"on":[28],"off,":[30],"while":[31],"reuse":[32],"of":[33,41,49,56,91,158,160,194,207],"the":[34,47,54,75,118,145,148,151,156,165,198],"common":[35],"code":[36],"is":[37,44,51,79,169],"maximized.":[38],"Inquiry.":[39],"Verification":[40],"program":[42,69,96,154,167,210],"families":[43,97],"challenging":[45],"since":[46],"number":[48,55],"variants":[50,162],"exponential":[52],"features.":[57],"Existing":[58],"single-program":[59,122,225],"analysis":[60,123,204],"verification":[62,206,227],"tools":[63,124],"cannot":[64],"be":[65,114],"applied":[66],"directly":[67],"to":[68,182],"families,":[70],"designing":[72],"implementing":[74,195],"corresponding":[76],"variability-aware":[77],"versions":[78],"tedious":[80],"laborious.":[82],"Approach.":[83],"In":[84],"this":[85],"work,":[86],"we":[87,190,220],"propose":[88],"a":[89,183],"range":[90],"variability-related":[92,138,217],"transformations":[93,139,199],"translating":[95],"into":[98],"single":[99,153],"replacing":[102],"compile-time":[103],"variability":[104,107],"with":[105,180],"run-time":[106],"(non-determinism).":[108],"The":[109],"obtained":[110],"transformed":[111,152],"can":[113],"subsequently":[115],"analyzed":[116],"using":[117,197,222],"conventional":[119],"off-":[120],"the-shelf":[121],"such":[125,229],"as":[126,230],"type":[127],"checkers,":[128,132],"symbolic":[129],"executors,":[130],"model":[131],"static":[134],"analyzers.":[135],"Knowledge.":[136],"Our":[137],"outcome-preserving,":[141],"which":[142],"means":[143],"that":[144,219],"relation":[146],"between":[147],"outcomes":[149,159],"union":[157],"all":[161],"from":[164],"original":[166],"equality.":[170],"Grounding.":[171],"We":[172,213],"show":[173],"our":[174,192],"transformation":[175],"rules":[176],"their":[178],"correctness":[179],"respect":[181],"minimal":[184],"core":[185],"imperative":[186],"language":[187],"IMP.":[188],"Then,":[189],"discuss":[191],"experience":[193],"efficient":[201],"effective":[203],"real-world":[208],"C":[209,226],"families.":[211],"Importance.":[212],"report":[214],"some":[215],"interesting":[216],"bugs":[218],"discovered":[221],"various":[223],"state-of-the-art":[224],"tools,":[228],"Frama-C,":[231],"Clang,":[232],"LLBMC.":[233]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":4}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}