{"id":"https://openalex.org/W2888536196","doi":"https://doi.org/10.1145/3238147.3238201","title":"Tackling combinatorial explosion: a study of industrial needs and practices for analyzing highly configurable systems","display_name":"Tackling combinatorial explosion: a study of industrial needs and practices for analyzing highly configurable systems","publication_year":2018,"publication_date":"2018-08-20","ids":{"openalex":"https://openalex.org/W2888536196","doi":"https://doi.org/10.1145/3238147.3238201","mag":"2888536196"},"language":"en","primary_location":{"id":"doi:10.1145/3238147.3238201","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3238147.3238201","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"type":"conference-paper","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/A5000315992","display_name":"Mukelabai Mukelabai","orcid":"https://orcid.org/0000-0002-3868-4319"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]},{"id":"https://openalex.org/I881427289","display_name":"University of Gothenburg","ror":"https://ror.org/01tm6cn81","country_code":"SE","type":"education","lineage":["https://openalex.org/I881427289"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Mukelabai Mukelabai","raw_affiliation_strings":["Chalmers University of Technology, Sweden / University of Gothenburg, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chalmers University of Technology, Sweden / University of Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912","https://openalex.org/I881427289"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110237156","display_name":"Damir Ne\u0161i\u0107","orcid":null},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Damir Ne\u0161i\u0107","raw_affiliation_strings":["KTH, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"KTH, Sweden","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082750925","display_name":"Salome Maro","orcid":"https://orcid.org/0000-0003-1560-6833"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]},{"id":"https://openalex.org/I881427289","display_name":"University of Gothenburg","ror":"https://ror.org/01tm6cn81","country_code":"SE","type":"education","lineage":["https://openalex.org/I881427289"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Salome Maro","raw_affiliation_strings":["Chalmers University of Technology, Sweden / University of Gothenburg, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chalmers University of Technology, Sweden / University of Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912","https://openalex.org/I881427289"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072456187","display_name":"Thorsten Berger","orcid":"https://orcid.org/0000-0002-3870-5167"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]},{"id":"https://openalex.org/I881427289","display_name":"University of Gothenburg","ror":"https://ror.org/01tm6cn81","country_code":"SE","type":"education","lineage":["https://openalex.org/I881427289"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Thorsten Berger","raw_affiliation_strings":["Chalmers University of Technology, Sweden / University of Gothenburg, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chalmers University of Technology, Sweden / University of Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912","https://openalex.org/I881427289"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033422210","display_name":"Jan-Philipp Stegh\u00f6fer","orcid":"https://orcid.org/0000-0003-1694-0972"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]},{"id":"https://openalex.org/I881427289","display_name":"University of Gothenburg","ror":"https://ror.org/01tm6cn81","country_code":"SE","type":"education","lineage":["https://openalex.org/I881427289"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Jan-Philipp Stegh\u00f6fer","raw_affiliation_strings":["Chalmers University of Technology, Sweden / University of Gothenburg, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chalmers University of Technology, Sweden / University of Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912","https://openalex.org/I881427289"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":45,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"155","last_page":"166"},"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/T10260","display_name":"Software Engineering Research","score":0.9976000189781189,"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/T11729","display_name":"Product Development and Customization","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1405","display_name":"Management of Technology and Innovation"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.7706331014633179},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7038930654525757},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.5669155120849609},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.5118555426597595},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.468860924243927},{"id":"https://openalex.org/keywords/sampling","display_name":"Sampling (signal processing)","score":0.4657343924045563},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4594166874885559},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4381890296936035},{"id":"https://openalex.org/keywords/best-practice","display_name":"Best practice","score":0.43519580364227295},{"id":"https://openalex.org/keywords/management-science","display_name":"Management science","score":0.39898189902305603},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.33540546894073486},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17299070954322815},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.16856646537780762}],"concepts":[{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.7706331014633179},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7038930654525757},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.5669155120849609},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.5118555426597595},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.468860924243927},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.4657343924045563},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4594166874885559},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4381890296936035},{"id":"https://openalex.org/C184356942","wikidata":"https://www.wikidata.org/wiki/Q830382","display_name":"Best practice","level":2,"score":0.43519580364227295},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.39898189902305603},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.33540546894073486},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17299070954322815},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.16856646537780762},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"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/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.0},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"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/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3238147.3238201","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3238147.3238201","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:research.chalmers.se:516824","is_oa":false,"landing_page_url":"https://research.chalmers.se/en/publication/516824","pdf_url":null,"source":{"id":"https://openalex.org/S4306402469","display_name":"Chalmers Research (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6200000047683716,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[{"id":"https://openalex.org/G5718890780","display_name":null,"funder_award_id":"257822902","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"},{"id":"https://openalex.org/G7818724639","display_name":null,"funder_award_id":"2016-02804","funder_id":"https://openalex.org/F4320321030","funder_display_name":"VINNOVA"}],"funders":[{"id":"https://openalex.org/F4320313144","display_name":"ITEA","ror":null},{"id":"https://openalex.org/F4320321030","display_name":"VINNOVA","ror":"https://ror.org/01kd5m353"},{"id":"https://openalex.org/F4320322581","display_name":"Vetenskapsr\u00e5det","ror":"https://ror.org/03zttf063"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":71,"referenced_works":["https://openalex.org/W1481078745","https://openalex.org/W1501652040","https://openalex.org/W1594113366","https://openalex.org/W1601041809","https://openalex.org/W1605891877","https://openalex.org/W1607675442","https://openalex.org/W1803535025","https://openalex.org/W1967447602","https://openalex.org/W1985905700","https://openalex.org/W1996424622","https://openalex.org/W1999746704","https://openalex.org/W2001932992","https://openalex.org/W2003113483","https://openalex.org/W2003775793","https://openalex.org/W2005140737","https://openalex.org/W2005261664","https://openalex.org/W2008347524","https://openalex.org/W2009093319","https://openalex.org/W2009288394","https://openalex.org/W2009982135","https://openalex.org/W2025383609","https://openalex.org/W2028329682","https://openalex.org/W2048064553","https://openalex.org/W2048848542","https://openalex.org/W2049497188","https://openalex.org/W2056524536","https://openalex.org/W2057547805","https://openalex.org/W2058154764","https://openalex.org/W2070929035","https://openalex.org/W2072360745","https://openalex.org/W2082677523","https://openalex.org/W2099213660","https://openalex.org/W2100268927","https://openalex.org/W2104208948","https://openalex.org/W2105438268","https://openalex.org/W2105454386","https://openalex.org/W2108999965","https://openalex.org/W2110986222","https://openalex.org/W2118824234","https://openalex.org/W2121396013","https://openalex.org/W2123759466","https://openalex.org/W2125398918","https://openalex.org/W2128967738","https://openalex.org/W2130195901","https://openalex.org/W2132337044","https://openalex.org/W2142960988","https://openalex.org/W2143361941","https://openalex.org/W2146146776","https://openalex.org/W2154151876","https://openalex.org/W2156062547","https://openalex.org/W2156806988","https://openalex.org/W2164414043","https://openalex.org/W2170167679","https://openalex.org/W2170276374","https://openalex.org/W2171511087","https://openalex.org/W2172225938","https://openalex.org/W2208797039","https://openalex.org/W2294668324","https://openalex.org/W2495617574","https://openalex.org/W2537446610","https://openalex.org/W2596032798","https://openalex.org/W2741942913","https://openalex.org/W2754177248","https://openalex.org/W2761365215","https://openalex.org/W2766234312","https://openalex.org/W2769879317","https://openalex.org/W2782602923","https://openalex.org/W2809647450","https://openalex.org/W4214711786","https://openalex.org/W4240055412","https://openalex.org/W4288073057"],"related_works":["https://openalex.org/W2002383399","https://openalex.org/W644644594","https://openalex.org/W2506073049","https://openalex.org/W642180557","https://openalex.org/W2780591772","https://openalex.org/W3122105723","https://openalex.org/W1593090812","https://openalex.org/W4225469545","https://openalex.org/W1914878988","https://openalex.org/W4386863596"],"abstract_inverted_index":{"Highly":[0],"configurable":[1,65,88],"systems":[2,89],"are":[3,47,115,182],"complex":[4],"pieces":[5],"of":[6,13,21,71,95,130,134],"software.":[7],"To":[8],"tackle":[9],"this":[10],"complexity,":[11],"hundreds":[12],"dedicated":[14],"analysis":[15,72,150],"techniques":[16,46],"have":[17],"been":[18],"conceived,":[19],"many":[20],"which":[22],"able":[23],"to":[24,35,62,154],"analyze":[25,63],"system":[26,31],"properties":[27,108],"for":[28,132,158,190],"all":[29],"possible":[30],"configurations,":[32],"as":[33,144],"opposed":[34],"traditional,":[36],"single-system":[37],"analyses.":[38],"Unfortunately,":[39],"it":[40],"is":[41,124,141,166,175],"largely":[42],"unknown":[43],"whether":[44,51],"these":[45],"adopted":[48],"in":[49,76,110],"practice,":[50],"they":[52],"address":[53],"actual":[54],"needs,":[55],"or":[56],"what":[57],"strategies":[58],"practitioners":[59,85],"actually":[60],"apply":[61],"highly":[64,87],"systems.":[66],"We":[67,104,146,178],"present":[68],"a":[69,81],"study":[70],"practices":[73,153],"and":[74,90,122,184],"needs":[75],"industry.":[77],"It":[78],"relied":[79],"on":[80],"survey":[82],"with":[83,93,163],"27":[84],"engineering":[86],"follow-up":[91],"interviews":[92],"15":[94],"them,":[96],"covering":[97],"18":[98],"different":[99],"companies":[100],"from":[101],"eight":[102],"countries.":[103],"confirm":[105],"that":[106,117,127,181],"typical":[107],"considered":[109],"the":[111,128,156,167],"literature":[112],"(e.g.,":[113],"reliability)":[114],"relevant,":[116],"consistency":[118],"between":[119],"variability":[120,138],"models":[121],"artifacts":[123],"critical,":[125],"but":[126],"majority":[129],"analyses":[131,180],"specifications":[133],"configuration":[135],"options":[136],"(a.k.a.,":[137],"model":[139],"analysis)":[140],"not":[142],"perceived":[143],"needed.":[145],"identified":[147],"rather":[148],"pragmatic":[149],"strategies,":[151],"including":[152],"avoid":[155],"need":[157],"analysis.":[159],"For":[160],"instance,":[161],"testing":[162],"experience-based":[164],"sampling":[165,174],"most":[168],"commonly":[169],"applied":[170],"strategy,":[171],"while":[172],"systematic":[173],"rarely":[176],"applicable.":[177],"discuss":[179],"missing":[183],"synthesize":[185],"our":[186],"insights":[187],"into":[188],"suggestions":[189],"future":[191],"research.":[192]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":13},{"year":2020,"cited_by_count":9},{"year":2019,"cited_by_count":9}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}