{"id":"https://openalex.org/W3093966952","doi":"https://doi.org/10.1145/3382025.3414951","title":"Uniform and scalable SAT-sampling for configurable systems","display_name":"Uniform and scalable SAT-sampling for configurable systems","publication_year":2020,"publication_date":"2020-10-16","ids":{"openalex":"https://openalex.org/W3093966952","doi":"https://doi.org/10.1145/3382025.3414951","mag":"3093966952"},"language":"en","primary_location":{"id":"doi:10.1145/3382025.3414951","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3382025.3414951","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://idus.us.es/bitstreams/cb4db89f-4b60-48ee-96ff-e08a4a69be8d/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017186908","display_name":"Rub\u00e9n Heradio","orcid":"https://orcid.org/0000-0002-7131-0482"},"institutions":[{"id":"https://openalex.org/I178450904","display_name":"Universidad Nacional de Educaci\u00f3n a Distancia","ror":"https://ror.org/02msb5n36","country_code":"ES","type":"education","lineage":["https://openalex.org/I178450904"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Ruben Heradio","raw_affiliation_strings":["Universidad Nacional de Educaci\u00f3n a Distancia, Madrid, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad Nacional de Educaci\u00f3n a Distancia, Madrid, Spain","institution_ids":["https://openalex.org/I178450904"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064430597","display_name":"David Fern\u00e1ndez-Amor\u00f3s","orcid":"https://orcid.org/0000-0003-3758-0195"},"institutions":[{"id":"https://openalex.org/I178450904","display_name":"Universidad Nacional de Educaci\u00f3n a Distancia","ror":"https://ror.org/02msb5n36","country_code":"ES","type":"education","lineage":["https://openalex.org/I178450904"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"David Fernandez-Amoros","raw_affiliation_strings":["Universidad Nacional de Educaci\u00f3n a Distancia. Madrid, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad Nacional de Educaci\u00f3n a Distancia. Madrid, Spain","institution_ids":["https://openalex.org/I178450904"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081214629","display_name":"Jos\u00e9 \u00c1. Galindo","orcid":"https://orcid.org/0000-0001-9293-9784"},"institutions":[{"id":"https://openalex.org/I79238269","display_name":"Universidad de Sevilla","ror":"https://ror.org/03yxnpp24","country_code":"ES","type":"education","lineage":["https://openalex.org/I79238269"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Jos\u00e9 A. Galindo","raw_affiliation_strings":["University of Seville, Seville, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Seville, Seville, Spain","institution_ids":["https://openalex.org/I79238269"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058851094","display_name":"David Benavides","orcid":null},"institutions":[{"id":"https://openalex.org/I79238269","display_name":"Universidad de Sevilla","ror":"https://ror.org/03yxnpp24","country_code":"ES","type":"education","lineage":["https://openalex.org/I79238269"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"David Benavides","raw_affiliation_strings":["University of Seville, Seville, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Seville, Seville, Spain","institution_ids":["https://openalex.org/I79238269"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.495,"has_fulltext":true,"cited_by_count":22,"citation_normalized_percentile":{"value":0.86213714,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"11"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9997000098228455,"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.9997000098228455,"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.9991000294685364,"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.9962000250816345,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.7661752700805664},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7154098153114319},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6615885496139526},{"id":"https://openalex.org/keywords/statistical-inference","display_name":"Statistical inference","score":0.565403938293457},{"id":"https://openalex.org/keywords/sampling","display_name":"Sampling (signal processing)","score":0.5545734167098999},{"id":"https://openalex.org/keywords/sample","display_name":"Sample (material)","score":0.5300894379615784},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4959450662136078},{"id":"https://openalex.org/keywords/statistical-hypothesis-testing","display_name":"Statistical hypothesis testing","score":0.46906280517578125},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.44201216101646423},{"id":"https://openalex.org/keywords/population","display_name":"Population","score":0.4408408999443054},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39120060205459595},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.38367605209350586},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34618979692459106},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.20473864674568176},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.19711491465568542},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1883305013179779},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17383277416229248}],"concepts":[{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7661752700805664},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7154098153114319},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6615885496139526},{"id":"https://openalex.org/C134261354","wikidata":"https://www.wikidata.org/wiki/Q938438","display_name":"Statistical inference","level":2,"score":0.565403938293457},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.5545734167098999},{"id":"https://openalex.org/C198531522","wikidata":"https://www.wikidata.org/wiki/Q485146","display_name":"Sample (material)","level":2,"score":0.5300894379615784},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4959450662136078},{"id":"https://openalex.org/C87007009","wikidata":"https://www.wikidata.org/wiki/Q210832","display_name":"Statistical hypothesis testing","level":2,"score":0.46906280517578125},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.44201216101646423},{"id":"https://openalex.org/C2908647359","wikidata":"https://www.wikidata.org/wiki/Q2625603","display_name":"Population","level":2,"score":0.4408408999443054},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39120060205459595},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.38367605209350586},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34618979692459106},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.20473864674568176},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19711491465568542},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1883305013179779},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17383277416229248},{"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/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"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/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0},{"id":"https://openalex.org/C149923435","wikidata":"https://www.wikidata.org/wiki/Q37732","display_name":"Demography","level":1,"score":0.0},{"id":"https://openalex.org/C43617362","wikidata":"https://www.wikidata.org/wiki/Q170050","display_name":"Chromatography","level":1,"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}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3382025.3414951","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3382025.3414951","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A","raw_type":"proceedings-article"},{"id":"pmh:oai:idus.us.es:11441/127024","is_oa":true,"landing_page_url":"https://hdl.handle.net/11441/127024","pdf_url":"https://idus.us.es/bitstreams/cb4db89f-4b60-48ee-96ff-e08a4a69be8d/download","source":{"id":"https://openalex.org/S4306401665","display_name":"Deposito de Investigacion Universidad de Sevilla (University of Seville)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79238269","host_organization_name":"Universidad de Sevilla","host_organization_lineage":["https://openalex.org/I79238269"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"conference output"},{"id":"pmh:oai:idus.us.es:11441/127024","is_oa":true,"landing_page_url":"https://idus.us.es/handle//11441/127024","pdf_url":null,"source":{"id":"https://openalex.org/S4306401665","display_name":"Deposito de Investigacion Universidad de Sevilla (University of Seville)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79238269","host_organization_name":"Universidad de Sevilla","host_organization_lineage":["https://openalex.org/I79238269"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:idus.us.es:11441/127024","is_oa":true,"landing_page_url":"https://hdl.handle.net/11441/127024","pdf_url":"https://idus.us.es/bitstreams/cb4db89f-4b60-48ee-96ff-e08a4a69be8d/download","source":{"id":"https://openalex.org/S4306401665","display_name":"Deposito de Investigacion Universidad de Sevilla (University of Seville)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79238269","host_organization_name":"Universidad de Sevilla","host_organization_lineage":["https://openalex.org/I79238269"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"conference output"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320313831","display_name":"Comunidad de Madrid","ror":null},{"id":"https://openalex.org/F4320315062","display_name":"Ministerio de Ciencia, Innovaci\u00f3n y Universidades","ror":null},{"id":"https://openalex.org/F4320323834","display_name":"Universidad de Granada","ror":"https://ror.org/04njjy449"},{"id":"https://openalex.org/F4320335598","display_name":"Agencia Estatal de Investigaci\u00f3n","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3093966952.pdf","grobid_xml":"https://content.openalex.org/works/W3093966952.grobid-xml"},"referenced_works_count":37,"referenced_works":["https://openalex.org/W28407686","https://openalex.org/W43562202","https://openalex.org/W568798901","https://openalex.org/W596013814","https://openalex.org/W1480909796","https://openalex.org/W1537730723","https://openalex.org/W2010271409","https://openalex.org/W2045558114","https://openalex.org/W2094975553","https://openalex.org/W2113201637","https://openalex.org/W2124734098","https://openalex.org/W2137070227","https://openalex.org/W2146950091","https://openalex.org/W2151338677","https://openalex.org/W2168029153","https://openalex.org/W2178919907","https://openalex.org/W2221181829","https://openalex.org/W2236948976","https://openalex.org/W2241988237","https://openalex.org/W2415170901","https://openalex.org/W2504382500","https://openalex.org/W2526174560","https://openalex.org/W2590123570","https://openalex.org/W2740402962","https://openalex.org/W2769879317","https://openalex.org/W2787456385","https://openalex.org/W2793051425","https://openalex.org/W2794846473","https://openalex.org/W2891514372","https://openalex.org/W2898930465","https://openalex.org/W2941640074","https://openalex.org/W2967034934","https://openalex.org/W2967185606","https://openalex.org/W2970432965","https://openalex.org/W2992291905","https://openalex.org/W3004925679","https://openalex.org/W3021544465"],"related_works":["https://openalex.org/W2490895753","https://openalex.org/W2171342382","https://openalex.org/W4377003043","https://openalex.org/W4237128662","https://openalex.org/W4251223544","https://openalex.org/W2374117562","https://openalex.org/W4304194959","https://openalex.org/W1539998288","https://openalex.org/W124230564","https://openalex.org/W4247364450"],"abstract_inverted_index":{"Several":[0],"relevant":[1],"analyses":[2,19],"on":[3],"configurable":[4],"software":[5],"systems":[6],"remain":[7],"intractable":[8],"because":[9],"they":[10],"require":[11],"examining":[12],"vast":[13],"and":[14,137,149,161],"highly-constrained":[15],"configuration":[16,44,107],"spaces.":[17],"Those":[18],"could":[20],"be":[21,65,69,80],"addressed":[22],"through":[23],"statistical":[24,53,127],"inference,":[25],"i.e.,":[26,74],"working":[27],"with":[28],"a":[29,93,100,125],"much":[30],"more":[31],"tractable":[32],"sample":[33],"that":[34],"later":[35],"supports":[36],"generalizing":[37],"the":[38,42,50,62,72,75,112,140],"results":[39],"obtained":[40],"to":[41,68,79,109,129,131,152],"entire":[43],"space.":[45],"To":[46],"make":[47],"this":[48],"possible,":[49],"laws":[51],"of":[52,61,102,142],"inference":[54],"impose":[55],"an":[56],"indispensable":[57],"requirement:":[58],"each":[59],"member":[60],"population":[63],"must":[64],"equally":[66],"likely":[67],"included":[70],"in":[71],"sample,":[73],"sampling":[76],"process":[77],"needs":[78],"\"uniform\".":[81],"Various":[82],"SAT-samplers":[83],"have":[84],"been":[85],"developed":[86],"for":[87],"generating":[88],"uniform":[89,117],"random":[90],"samples":[91,118],"at":[92],"reasonable":[94],"computational":[95],"cost.":[96],"Unfortunately,":[97],"there":[98],"is":[99],"lack":[101],"experimental":[103,154],"validation":[104],"over":[105],"large":[106],"models":[108],"show":[110],"whether":[111],"samplers":[113,134],"indeed":[114],"produce":[115],"genuine":[116],"or":[119],"not.":[120],"This":[121],"paper":[122],"(i)":[123],"presents":[124],"new":[126],"test":[128],"verify":[130],"what":[132],"extent":[133],"accomplish":[135],"uniformity":[136],"(ii)":[138],"reports":[139],"evaluation":[141],"four":[143],"state-of-the-art":[144],"samplers:":[145],"Spur,":[146],"QuickSampler,":[147],"Unigen2,":[148],"Smarch.":[150],"According":[151],"our":[153],"results,":[155],"only":[156],"Spur":[157],"satisfies":[158],"both":[159],"scalability":[160],"uniformity.":[162]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":6}],"updated_date":"2026-08-08T07:41:36.138363","created_date":"2025-10-10T00:00:00"}