{"id":"https://openalex.org/W4294414972","doi":"https://doi.org/10.1007/s10515-022-00348-8","title":"Sampling configurations from software product lines via probability-aware diversification and SAT solving","display_name":"Sampling configurations from software product lines via probability-aware diversification and SAT solving","publication_year":2022,"publication_date":"2022-09-03","ids":{"openalex":"https://openalex.org/W4294414972","doi":"https://doi.org/10.1007/s10515-022-00348-8"},"language":"en","primary_location":{"id":"doi:10.1007/s10515-022-00348-8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10515-022-00348-8","pdf_url":null,"source":{"id":"https://openalex.org/S4210177399","display_name":"Automated Software Engineering","issn_l":"0928-8910","issn":["0928-8910","1573-7535"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Automated Software Engineering","raw_type":"journal-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/A5027424271","display_name":"Yi Xiang","orcid":"https://orcid.org/0000-0003-2118-4825"},"institutions":[{"id":"https://openalex.org/I90610280","display_name":"South China University of Technology","ror":"https://ror.org/0530pts50","country_code":"CN","type":"education","lineage":["https://openalex.org/I90610280"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yi Xiang","raw_affiliation_strings":["School of Software Engineering, South China University of Technology, Guangzhou, 510006, Guangdong, People\u2019s Republic of China","School of Software Engineering, South China University of Technology, Guangzhou, 510006, Guangdong, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Software Engineering, South China University of Technology, Guangzhou, 510006, Guangdong, People\u2019s Republic of China","institution_ids":["https://openalex.org/I90610280"]},{"raw_affiliation_string":"School of Software Engineering, South China University of Technology, Guangzhou, 510006, Guangdong, People's Republic of China","institution_ids":["https://openalex.org/I90610280"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101509084","display_name":"Xiaowei Yang","orcid":"https://orcid.org/0000-0002-1512-487X"},"institutions":[{"id":"https://openalex.org/I90610280","display_name":"South China University of Technology","ror":"https://ror.org/0530pts50","country_code":"CN","type":"education","lineage":["https://openalex.org/I90610280"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xiaowei Yang","raw_affiliation_strings":["School of Software Engineering, South China University of Technology, Guangzhou, 510006, Guangdong, People\u2019s Republic of China","School of Software Engineering, South China University of Technology, Guangzhou, 510006, Guangdong, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Software Engineering, South China University of Technology, Guangzhou, 510006, Guangdong, People\u2019s Republic of China","institution_ids":["https://openalex.org/I90610280"]},{"raw_affiliation_string":"School of Software Engineering, South China University of Technology, Guangzhou, 510006, Guangdong, People's Republic of China","institution_ids":["https://openalex.org/I90610280"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088160732","display_name":"Han Huang","orcid":"https://orcid.org/0000-0003-1617-4147"},"institutions":[{"id":"https://openalex.org/I90610280","display_name":"South China University of Technology","ror":"https://ror.org/0530pts50","country_code":"CN","type":"education","lineage":["https://openalex.org/I90610280"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Han Huang","raw_affiliation_strings":["School of Software Engineering, South China University of Technology, Guangzhou, 510006, Guangdong, People\u2019s Republic of China","School of Software Engineering, South China University of Technology, Guangzhou, 510006, Guangdong, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Software Engineering, South China University of Technology, Guangzhou, 510006, Guangdong, People\u2019s Republic of China","institution_ids":["https://openalex.org/I90610280"]},{"raw_affiliation_string":"School of Software Engineering, South China University of Technology, Guangzhou, 510006, Guangdong, People's Republic of China","institution_ids":["https://openalex.org/I90610280"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021785547","display_name":"Zhengxin Huang","orcid":"https://orcid.org/0000-0001-7121-4143"},"institutions":[{"id":"https://openalex.org/I4210130692","display_name":"Affiliated Hospital of Youjiang Medical University for Nationalities","ror":"https://ror.org/0358v9d31","country_code":"CN","type":"healthcare","lineage":["https://openalex.org/I4210130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhengxin Huang","raw_affiliation_strings":["Laboratory of Computer Science and Mathematics, Youjiang Medical University for Nationalities, Baise, Guangxi, People\u2019s Republic of China","Laboratory of Computer Science and Mathematics, Youjiang Medical University for Nationalities, Baise, Guangxi, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratory of Computer Science and Mathematics, Youjiang Medical University for Nationalities, Baise, Guangxi, People\u2019s Republic of China","institution_ids":["https://openalex.org/I4210130692"]},{"raw_affiliation_string":"Laboratory of Computer Science and Mathematics, Youjiang Medical University for Nationalities, Baise, Guangxi, People's Republic of China","institution_ids":["https://openalex.org/I4210130692"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036335232","display_name":"Miqing Li","orcid":"https://orcid.org/0000-0002-8607-9607"},"institutions":[{"id":"https://openalex.org/I79619799","display_name":"University of Birmingham","ror":"https://ror.org/03angcq70","country_code":"GB","type":"education","lineage":["https://openalex.org/I79619799"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Miqing Li","raw_affiliation_strings":["Centre of Excellence for Research in Computational Intelligence and Applications, School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centre of Excellence for Research in Computational Intelligence and Applications, School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK","institution_ids":["https://openalex.org/I79619799"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5101509084"],"corresponding_institution_ids":["https://openalex.org/I90610280"],"apc_list":{"value":2890,"currency":"USD","value_usd":2890},"apc_paid":null,"fwci":0.464,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.68597191,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"29","issue":"2","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.9984999895095825,"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.9984999895095825,"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.993399977684021,"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.9717000126838684,"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/computer-science","display_name":"Computer science","score":0.7237808704376221},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.671387255191803},{"id":"https://openalex.org/keywords/sampling","display_name":"Sampling (signal processing)","score":0.5372002124786377},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5273255705833435},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4787518382072449},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.47075966000556946},{"id":"https://openalex.org/keywords/diversification","display_name":"Diversification (marketing strategy)","score":0.46154385805130005},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.4435112178325653},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.42292681336402893},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.40743446350097656},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3409738540649414},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3349347710609436},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3317769765853882},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16975697875022888}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7237808704376221},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.671387255191803},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.5372002124786377},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5273255705833435},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4787518382072449},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.47075966000556946},{"id":"https://openalex.org/C180916674","wikidata":"https://www.wikidata.org/wiki/Q3711935","display_name":"Diversification (marketing strategy)","level":2,"score":0.46154385805130005},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.4435112178325653},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.42292681336402893},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.40743446350097656},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3409738540649414},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3349347710609436},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3317769765853882},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16975697875022888},{"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"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/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.0},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","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/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10515-022-00348-8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10515-022-00348-8","pdf_url":null,"source":{"id":"https://openalex.org/S4210177399","display_name":"Automated Software Engineering","issn_l":"0928-8910","issn":["0928-8910","1573-7535"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Automated Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.4699999988079071}],"awards":[{"id":"https://openalex.org/G1803513032","display_name":null,"funder_award_id":"61906069","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":69,"referenced_works":["https://openalex.org/W167199924","https://openalex.org/W255296881","https://openalex.org/W760913798","https://openalex.org/W1480909796","https://openalex.org/W1517156259","https://openalex.org/W1517453125","https://openalex.org/W1526710119","https://openalex.org/W1553373771","https://openalex.org/W1588375755","https://openalex.org/W1965693119","https://openalex.org/W1979922504","https://openalex.org/W1988748355","https://openalex.org/W2002653486","https://openalex.org/W2002961312","https://openalex.org/W2009288394","https://openalex.org/W2013108033","https://openalex.org/W2040767332","https://openalex.org/W2042154985","https://openalex.org/W2044560939","https://openalex.org/W2056503891","https://openalex.org/W2072617662","https://openalex.org/W2099213660","https://openalex.org/W2106334424","https://openalex.org/W2113201637","https://openalex.org/W2115910430","https://openalex.org/W2117449478","https://openalex.org/W2126210726","https://openalex.org/W2138428785","https://openalex.org/W2143361941","https://openalex.org/W2148974547","https://openalex.org/W2151083897","https://openalex.org/W2171570823","https://openalex.org/W2249475272","https://openalex.org/W2286629231","https://openalex.org/W2293311388","https://openalex.org/W2294668324","https://openalex.org/W2469950730","https://openalex.org/W2537192304","https://openalex.org/W2736565934","https://openalex.org/W2740402962","https://openalex.org/W2761479024","https://openalex.org/W2789351846","https://openalex.org/W2792499483","https://openalex.org/W2793051425","https://openalex.org/W2807746715","https://openalex.org/W2810413193","https://openalex.org/W2941640074","https://openalex.org/W2953843994","https://openalex.org/W2962955667","https://openalex.org/W2967034934","https://openalex.org/W2970626993","https://openalex.org/W2992291905","https://openalex.org/W3000806426","https://openalex.org/W3004925679","https://openalex.org/W3005452026","https://openalex.org/W3035746743","https://openalex.org/W3043665946","https://openalex.org/W3048427765","https://openalex.org/W3093966952","https://openalex.org/W3099531198","https://openalex.org/W3195190999","https://openalex.org/W4230126391","https://openalex.org/W4231708524","https://openalex.org/W4237212741","https://openalex.org/W4249103073","https://openalex.org/W4250691433","https://openalex.org/W4255176593","https://openalex.org/W4284714623","https://openalex.org/W6750057249"],"related_works":["https://openalex.org/W2364921833","https://openalex.org/W2302028273","https://openalex.org/W1525643724","https://openalex.org/W2961085424","https://openalex.org/W2067938758","https://openalex.org/W2382623646","https://openalex.org/W3087771547","https://openalex.org/W2333420780","https://openalex.org/W2375199418","https://openalex.org/W2798595286"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}