{"id":"https://openalex.org/W3005469596","doi":"https://doi.org/10.1145/3377024.3377036","title":"SMT-based variability analyses in FeatureIDE","display_name":"SMT-based variability analyses in FeatureIDE","publication_year":2020,"publication_date":"2020-02-05","ids":{"openalex":"https://openalex.org/W3005469596","doi":"https://doi.org/10.1145/3377024.3377036","mag":"3005469596"},"language":"en","primary_location":{"id":"doi:10.1145/3377024.3377036","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3377024.3377036","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems","raw_type":"proceedings-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/A5036931582","display_name":"Joshua Sprey","orcid":null},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Joshua Sprey","raw_affiliation_strings":["TU Braunschweig, Brunswick, Germany"],"affiliations":[{"raw_affiliation_string":"TU Braunschweig, Brunswick, Germany","institution_ids":["https://openalex.org/I94509681"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035888221","display_name":"Chico Sundermann","orcid":"https://orcid.org/0000-0002-5239-3307"},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Chico Sundermann","raw_affiliation_strings":["TU Braunschweig, Brunswick, Germany"],"affiliations":[{"raw_affiliation_string":"TU Braunschweig, Brunswick, Germany","institution_ids":["https://openalex.org/I94509681"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110631863","display_name":"Sebastian Krieter","orcid":null},"institutions":[{"id":"https://openalex.org/I95793202","display_name":"Otto-von-Guericke University Magdeburg","ror":"https://ror.org/00ggpsq73","country_code":"DE","type":"education","lineage":["https://openalex.org/I95793202"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sebastian Krieter","raw_affiliation_strings":["Otto-von-Guericke-University, Magdeburg, Germany"],"affiliations":[{"raw_affiliation_string":"Otto-von-Guericke-University, Magdeburg, Germany","institution_ids":["https://openalex.org/I95793202"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006095904","display_name":"Michael Nieke","orcid":"https://orcid.org/0000-0003-3255-9362"},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Michael Nieke","raw_affiliation_strings":["TU Braunschweig, Brunswick, Germany"],"affiliations":[{"raw_affiliation_string":"TU Braunschweig, Brunswick, Germany","institution_ids":["https://openalex.org/I94509681"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058872144","display_name":"Jacopo Mauro","orcid":"https://orcid.org/0000-0002-5285-2868"},"institutions":[{"id":"https://openalex.org/I177969490","display_name":"University of Southern Denmark","ror":"https://ror.org/03yrrjy16","country_code":"DK","type":"education","lineage":["https://openalex.org/I177969490"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Jacopo Mauro","raw_affiliation_strings":["University of Southern Denmark, Odense, Denmark"],"affiliations":[{"raw_affiliation_string":"University of Southern Denmark, Odense, Denmark","institution_ids":["https://openalex.org/I177969490"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022934464","display_name":"Thomas Th\u00fcm","orcid":"https://orcid.org/0000-0001-8069-9584"},"institutions":[{"id":"https://openalex.org/I196349391","display_name":"Universit\u00e4t Ulm","ror":"https://ror.org/032000t02","country_code":"DE","type":"education","lineage":["https://openalex.org/I196349391"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Thomas Th\u00fcm","raw_affiliation_strings":["University of Ulm, Germany"],"affiliations":[{"raw_affiliation_string":"University of Ulm, Germany","institution_ids":["https://openalex.org/I196349391"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065261670","display_name":"Ina Schaefer","orcid":"https://orcid.org/0000-0002-7153-761X"},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Ina Schaefer","raw_affiliation_strings":["TU Braunschweig, Brunswick, Germany"],"affiliations":[{"raw_affiliation_string":"TU Braunschweig, Brunswick, Germany","institution_ids":["https://openalex.org/I94509681"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5036931582"],"corresponding_institution_ids":["https://openalex.org/I94509681"],"apc_list":null,"apc_paid":null,"fwci":2.1944,"has_fulltext":false,"cited_by_count":27,"citation_normalized_percentile":{"value":0.89913075,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998999834060669,"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.9998999834060669,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9983000159263611,"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/T10260","display_name":"Software Engineering Research","score":0.9973000288009644,"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/satisfiability-modulo-theories","display_name":"Satisfiability modulo theories","score":0.932696521282196},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8133113980293274},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.6536575555801392},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.6117974519729614},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.546881377696991},{"id":"https://openalex.org/keywords/realization","display_name":"Realization (probability)","score":0.5340280532836914},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5115035772323608},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4454376697540283},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.42596709728240967},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.41837501525878906},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3839927017688751},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3646891713142395},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11509740352630615}],"concepts":[{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.932696521282196},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8133113980293274},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.6536575555801392},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.6117974519729614},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.546881377696991},{"id":"https://openalex.org/C2781089630","wikidata":"https://www.wikidata.org/wiki/Q21856745","display_name":"Realization (probability)","level":2,"score":0.5340280532836914},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5115035772323608},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4454376697540283},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.42596709728240967},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.41837501525878906},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3839927017688751},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3646891713142395},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11509740352630615},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3377024.3377036","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3377024.3377036","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:sdu.dk:publications/f9002f40-2676-4576-93ee-7de5288ff4a8","is_oa":false,"landing_page_url":"https://portal.findresearcher.sdu.dk/da/publications/f9002f40-2676-4576-93ee-7de5288ff4a8","pdf_url":null,"source":{"id":"https://openalex.org/S4306400423","display_name":"University of Southern Denmark Research Portal (University of Southern Denmark)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I177969490","host_organization_name":"University of Southern Denmark","host_organization_lineage":["https://openalex.org/I177969490"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sprey, J, Sunderman, C, Krieter, S, Nieke, M, Mauro, J, Thum, T & Schaefer, I 2020, SMT-based variability analyses in FeatureIDE. in M Cordy, M Acher, D Beuche & G Saake (eds), Proceedings - VaMoS 2020 : 14th International Working Conference on Variability Modelling of Software-Intensive Systems., 6, Association for Computing Machinery, 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg, Germany, 05/02/2020. https://doi.org/10.1145/3377024.3377036","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.6000000238418579}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":48,"referenced_works":["https://openalex.org/W71714615","https://openalex.org/W110774038","https://openalex.org/W1480909796","https://openalex.org/W1509367797","https://openalex.org/W1553120816","https://openalex.org/W1577506174","https://openalex.org/W1608654004","https://openalex.org/W1657821752","https://openalex.org/W1825558883","https://openalex.org/W1875182499","https://openalex.org/W1972906196","https://openalex.org/W2009982135","https://openalex.org/W2021140132","https://openalex.org/W2048064553","https://openalex.org/W2082677523","https://openalex.org/W2090403712","https://openalex.org/W2099213660","https://openalex.org/W2102414872","https://openalex.org/W2104208948","https://openalex.org/W2107351452","https://openalex.org/W2113201637","https://openalex.org/W2125398918","https://openalex.org/W2128967738","https://openalex.org/W2135525750","https://openalex.org/W2137351629","https://openalex.org/W2144179818","https://openalex.org/W2156062547","https://openalex.org/W2169671088","https://openalex.org/W2169822903","https://openalex.org/W2182394655","https://openalex.org/W2244858167","https://openalex.org/W2249179973","https://openalex.org/W2274169404","https://openalex.org/W2305589459","https://openalex.org/W2364847970","https://openalex.org/W2495617574","https://openalex.org/W2536424305","https://openalex.org/W2554061909","https://openalex.org/W2750802022","https://openalex.org/W2794846473","https://openalex.org/W2888536196","https://openalex.org/W2898266404","https://openalex.org/W2972551042","https://openalex.org/W2981250354","https://openalex.org/W3005452026","https://openalex.org/W3017898904","https://openalex.org/W3162270332","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W4318620547","https://openalex.org/W4386614288","https://openalex.org/W3176904788","https://openalex.org/W2578463151","https://openalex.org/W21597398","https://openalex.org/W1505872263","https://openalex.org/W4298153058","https://openalex.org/W2268872489","https://openalex.org/W1913543287","https://openalex.org/W2158533859"],"abstract_inverted_index":{"Handling":[0],"configurable":[1],"systems":[2,29],"with":[3],"thousands":[4],"of":[5,17,27,38,131,141,160],"configuration":[6,25,36],"options":[7,26],"is":[8,30,42],"a":[9,71,115],"challenging":[10],"problem":[11],"in":[12,61,135,157],"research":[13],"and":[14,35,91,111,124,137],"industry.":[15],"One":[16],"the":[18,24,101,139,164],"most":[19],"common":[20],"approaches":[21],"to":[22,74,95],"manage":[23],"large":[28,39],"variability":[31,40,85,133],"modelling.":[32],"The":[33],"verification":[34],"process":[37],"models":[41],"manually":[43],"infeasible.":[44],"Hence,":[45],"they":[46],"are":[47,80,154],"usually":[48],"assisted":[49],"by":[50],"automated":[51,102],"analyses":[52,119,134],"based":[53],"on":[54,118],"solving":[55],"satisfiability":[56,62],"problems":[57],"(SAT).":[58],"Recent":[59],"advances":[60],"modulo":[63],"theories":[64],"(SMT)":[65],"could":[66,93],"prove":[67],"SMT":[68,78,92,97,107,152,169],"solvers":[69,79,98,108,153,170],"as":[70],"viable":[72],"alternative":[73],"SAT":[75,90,116,166],"solvers.":[76],"However,":[77,163],"typically":[81],"not":[82],"utilized":[83],"for":[84,89,100,120,145,171],"analyses.":[86,173],"A":[87],"comparison":[88],"help":[94],"estimate":[96],"potential":[99],"analysis.":[103],"We":[104,127,149],"integrated":[105],"two":[106],"into":[109],"FeatureIDE":[110,136],"compared":[112],"them":[113],"against":[114],"solver":[117,167],"feature":[121],"models,":[122],"configurations,":[123],"realization":[125],"artifacts.":[126],"give":[128],"an":[129],"overview":[130],"all":[132],"present":[138],"results":[140],"our":[142],"empirical":[143],"evaluation":[144],"over":[146],"122":[147],"systems.":[148],"observed":[150],"that":[151],"generally":[155],"faster":[156],"generating":[158],"explanations":[159],"unsatisfiable":[161],"requests.":[162],"evaluated":[165],"outperformed":[168],"other":[172]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":7},{"year":2020,"cited_by_count":2}],"updated_date":"2026-03-10T16:38:18.471706","created_date":"2025-10-10T00:00:00"}