乐胖代购免代理版

{"id":"https://openalex.org/W2941640074","doi":"https://doi.org/10.1109/icst.2019.00032","title":"Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?","display_name":"Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?","publication_year":2019,"publication_date":"2019-04-01","ids":{"openalex":"https://openalex.org/W2941640074","doi":"https://doi.org/10.1109/icst.2019.00032","mag":"2941640074"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/icst.2019.00032","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"preprint","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-01991857/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5006592496","display_name":"Quentin Plazar","orcid":null},"institutions":[],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Quentin Plazar","raw_affiliation_strings":["DiverSe - Diversity-centric Software Engineering (Campus de Beaulieu, 35042 Rennes cedes - France)"],"affiliations":[{"raw_affiliation_string":"DiverSe - Diversity-centric Software Engineering (Campus de Beaulieu, 35042 Rennes cedes - France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003973216","display_name":"Mathieu Acher","orcid":"https://orcid.org/0000-0003-1483-3858"},"institutions":[],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Mathieu Acher","raw_affiliation_strings":["DiverSe - Diversity-centric Software Engineering (Campus de Beaulieu, 35042 Rennes cedes - France)"],"affiliations":[{"raw_affiliation_string":"DiverSe - Diversity-centric Software Engineering (Campus de Beaulieu, 35042 Rennes cedes - France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055104897","display_name":"Gilles Perrouin","orcid":"https://orcid.org/0000-0002-8431-0377"},"institutions":[{"id":"https://openalex.org/I4210161954","display_name":"D\u00e9partement d'Informatique","ror":"https://ror.org/05y6rqs46","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I2746051580","https://openalex.org/I29607241","https://openalex.org/I4210159245","https://openalex.org/I4210161954"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Gilles Perrouin","raw_affiliation_strings":["PReCISE - PReCISE Research Centre in Information Systems Engineering (FUNDP - Facult\u00e9 d'Informatique 21 rue Grandgagnage B-5000 Namur - Belgique)"],"affiliations":[{"raw_affiliation_string":"PReCISE - PReCISE Research Centre in Information Systems Engineering (FUNDP - Facult\u00e9 d'Informatique 21 rue Grandgagnage B-5000 Namur - Belgique)","institution_ids":["https://openalex.org/I4210161954"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083555577","display_name":"Xavier Devroey","orcid":"https://orcid.org/0000-0002-0831-7606"},"institutions":[{"id":"https://openalex.org/I4210161954","display_name":"D\u00e9partement d'Informatique","ror":"https://ror.org/05y6rqs46","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I2746051580","https://openalex.org/I29607241","https://openalex.org/I4210159245","https://openalex.org/I4210161954"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Xavier Devroey","raw_affiliation_strings":["PReCISE - PReCISE Research Centre in Information Systems Engineering (FUNDP - Facult\u00e9 d'Informatique 21 rue Grandgagnage B-5000 Namur - Belgique)"],"affiliations":[{"raw_affiliation_string":"PReCISE - PReCISE Research Centre in Information Systems Engineering (FUNDP - Facult\u00e9 d'Informatique 21 rue Grandgagnage B-5000 Namur - Belgique)","institution_ids":["https://openalex.org/I4210161954"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000695937","display_name":"Maxime Cordy","orcid":"https://orcid.org/0000-0001-8312-1358"},"institutions":[{"id":"https://openalex.org/I4210161954","display_name":"D\u00e9partement d'Informatique","ror":"https://ror.org/05y6rqs46","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I2746051580","https://openalex.org/I29607241","https://openalex.org/I4210159245","https://openalex.org/I4210161954"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Maxime Cordy","raw_affiliation_strings":["PReCISE - PReCISE Research Centre in Information Systems Engineering (FUNDP - Facult\u00e9 d'Informatique 21 rue Grandgagnage B-5000 Namur - Belgique)"],"affiliations":[{"raw_affiliation_string":"PReCISE - PReCISE Research Centre in Information Systems Engineering (FUNDP - Facult\u00e9 d'Informatique 21 rue Grandgagnage B-5000 Namur - Belgique)","institution_ids":["https://openalex.org/I4210161954"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":59,"citation_normalized_percentile":{"value":0.954217,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"240","last_page":"251"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9999,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9999,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9998,"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.9996,"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","display_name":"Satisfiability","score":0.75582445},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.48098886},{"id":"https://openalex.org/keywords/sample","display_name":"Sample (material)","score":0.47003004},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.44449225}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8074608},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.75582445},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.63201004},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.54776716},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5200688},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.48098886},{"id":"https://openalex.org/C198531522","wikidata":"https://www.wikidata.org/wiki/Q485146","display_name":"Sample (material)","level":2,"score":0.47003004},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.44449225},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.42497307},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.35137063},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32549042},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2068989},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","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},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","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/C43617362","wikidata":"https://www.wikidata.org/wiki/Q170050","display_name":"Chromatography","level":1,"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/icst.2019.00032","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.inria.fr/hal-01991857","pdf_url":"https://inria.hal.science/hal-01991857/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.inria.fr/hal-01991857/file/Uniform_Sampling_of_SAT_Solutions_for_Configurable_Systems__Are_We_There_Yet____footnotesize_textsuperscript__%20%283%29.pdf","pdf_url":"https://hal.inria.fr/hal-01991857/file/Uniform_Sampling_of_SAT_Solutions_for_Configurable_Systems__Are_We_There_Yet____footnotesize_textsuperscript__%20%283%29.pdf","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://resolver.tudelft.nl/uuid:f568f332-8fa8-4b79-8b90-304b063bfb94","pdf_url":"https://repository.tudelft.nl/islandora/object/uuid%3Af568f332-8fa8-4b79-8b90-304b063bfb94/datastream/OBJ/download","source":{"id":"https://openalex.org/S4306400906","display_name":"Research Repository (Delft University of Technology)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I98358874","host_organization_name":"Delft University of Technology","host_organization_lineage":["https://openalex.org/I98358874"],"host_organization_lineage_names":["Delft University of Technology"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.inria.fr/hal-01991857/document","pdf_url":"https://hal.inria.fr/hal-01991857/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://hal.inria.fr/hal-01991857","pdf_url":"https://inria.hal.science/hal-01991857/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":40,"referenced_works":["https://openalex.org/W1505258367","https://openalex.org/W1517156259","https://openalex.org/W1517453125","https://openalex.org/W1537730723","https://openalex.org/W1560740316","https://openalex.org/W1606825810","https://openalex.org/W16743356","https://openalex.org/W1710690747","https://openalex.org/W1978222018","https://openalex.org/W1979922504","https://openalex.org/W2012198830","https://openalex.org/W2040767332","https://openalex.org/W2049637488","https://openalex.org/W2068696225","https://openalex.org/W2082677523","https://openalex.org/W2112904372","https://openalex.org/W2115910430","https://openalex.org/W2125853721","https://openalex.org/W2126210726","https://openalex.org/W2128204165","https://openalex.org/W2128967738","https://openalex.org/W2149902097","https://openalex.org/W2151725765","https://openalex.org/W2171570823","https://openalex.org/W2236948976","https://openalex.org/W2294668324","https://openalex.org/W2477378326","https://openalex.org/W2495617574","https://openalex.org/W255296881","https://openalex.org/W2736565934","https://openalex.org/W2741942913","https://openalex.org/W2793051425","https://openalex.org/W2794800068","https://openalex.org/W2794846473","https://openalex.org/W2888726758","https://openalex.org/W2891514372","https://openalex.org/W3149485484","https://openalex.org/W4230126391","https://openalex.org/W4255176593","https://openalex.org/W90855943"],"related_works":["https://openalex.org/W4983232","https://openalex.org/W4224306440","https://openalex.org/W3176904788","https://openalex.org/W2964263244","https://openalex.org/W2283335390","https://openalex.org/W2154973411","https://openalex.org/W2151695161","https://openalex.org/W2076399409","https://openalex.org/W2075335084","https://openalex.org/W1667861512"],"abstract_inverted_index":{"Uniform":[0],"or":[1,120],"near-uniform":[2],"generation":[3],"of":[4,13,51,95,117,133,163],"solutions":[5,93],"for":[6,18,31],"large":[7,168],"satisfiability":[8],"formulas":[9],"is":[10,58,88,157],"a":[11,33,76,126,143],"problem":[12],"theoretical":[14],"and":[15,29,39,62,66,109],"practical":[16],"interest":[17],"the":[19,49,118,131,137,161],"testing":[20,167],"community.":[21],"Recent":[22],"works":[23],"proposed":[24],"two":[25],"algorithms":[26],"(namely":[27],"UniGen":[28,61,87],"QuickSampler)":[30],"reaching":[32],"good":[34],"compromise":[35],"between":[36],"execution":[37],"time":[38],"uniformity":[40],"guarantees,":[41],"with":[42],"empirical":[43],"evidence":[44],"on":[45,79,136],"SAT":[46,92],"benchmarks.":[47],"In":[48,71],"context":[50],"highly-configurable":[52],"software":[53,69],"systems":[54],"(e.g.,":[55],"Linux),":[56],"it":[57],"unclear":[59],"whether":[60],"QuickSampler":[63,103],"can":[64],"scale":[65],"sample":[67,119],"uniform":[68,107,164],"configurations.":[70],"this":[72],"paper,":[73],"we":[74,100,129,151],"perform":[75],"thorough":[77],"experiment":[78],"128":[80],"real-world":[81],"feature":[82,97],"models.":[83,98],"We":[84],"find":[85,140],"that":[86,102,110,150],"unable":[89],"to":[90,139,159],"produce":[91],"out":[94],"such":[96],"Furthermore,":[99],"show":[101],"does":[104],"not":[105,153],"generate":[106],"samples":[108],"some":[111],"features":[112],"are":[113,152],"either":[114],"never":[115],"part":[116],"too":[121],"frequently":[122],"present.":[123],"Finally,":[124],"using":[125],"case":[127],"study,":[128],"characterize":[130],"impacts":[132],"these":[134],"results":[135,148],"ability":[138],"bugs":[141],"in":[142],"configurable":[144,169],"system.":[145],"Overall,":[146],"our":[147],"suggest":[149],"there:":[154],"more":[155],"research":[156],"needed":[158],"explore":[160],"cost-effectiveness":[162],"sampling":[165],"when":[166],"systems.":[170]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2941640074","counts_by_year":[{"year":2024,"cited_by_count":13},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":11},{"year":2021,"cited_by_count":13},{"year":2020,"cited_by_count":6},{"year":2019,"cited_by_count":9}],"updated_date":"2025-02-25T05:01:23.704663","created_date":"2019-05-03"}