{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T03:34:28Z","timestamp":1782876868341,"version":"3.54.5"},"reference-count":80,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2022,9,3]],"date-time":"2022-09-03T00:00:00Z","timestamp":1662163200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,9,3]],"date-time":"2022-09-03T00:00:00Z","timestamp":1662163200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61906069"],"award-info":[{"award-number":["61906069"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Science and Technology Program of Guangzhou","award":["202002030355"],"award-info":[{"award-number":["202002030355"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2022,11]]},"DOI":"10.1007\/s10515-022-00348-8","type":"journal-article","created":{"date-parts":[[2022,9,3]],"date-time":"2022-09-03T04:02:45Z","timestamp":1662177765000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Sampling configurations from software product lines via probability-aware diversification and SAT solving"],"prefix":"10.1007","volume":"29","author":[{"given":"Yi","family":"Xiang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiaowei","family":"Yang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Han","family":"Huang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhengxin","family":"Huang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Miqing","family":"Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2022,9,3]]},"reference":[{"key":"348_CR1","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-319-94144-8_9","volume-title":"Theory and applications of satisfiability testing - SAT 2018","author":"D Achlioptas","year":"2018","unstructured":"Achlioptas, D., Hammoudeh, Z.S., Theodoropoulos, P.: Fast sampling of perfectly uniform satisfying assignments. In: Beyersdorff, O., Wintersteiger, C.M. (eds.) Theory and applications of satisfiability testing - SAT 2018, pp. 135\u2013147. Springer, Cham (2018)"},{"key":"348_CR2","doi-asserted-by":"crossref","unstructured":"Al-Hajjaji, M., Krieter, S., Th\u00fcm, T., et\u00a0al: IncLing: Efficient Product-Line Testing Using Incremental Pairwise Sampling. In: Proceedings of the 2016 ACM SIGPLAN International Conference on generative programming: concepts and experiences. Association for Computing Machinery, New York, NY, USA, GPCE 2016, pp 144\u2013155 (2016)","DOI":"10.1145\/2993236.2993253"},{"key":"348_CR3","doi-asserted-by":"publisher","unstructured":"Alves\u00a0Pereira, J., Acher, M., Martin, H., et\u00a0al: Sampling effect on performance prediction of configurable systems: A case study. In: Proceedings of the ACM\/SPEC International Conference on performance engineering. association for computing machinery, New York, NY, USA, ICPE\u201920, p 277-288, https:\/\/doi.org\/10.1145\/3358960.3379137, (2020)","DOI":"10.1145\/3358960.3379137"},{"key":"348_CR4","doi-asserted-by":"crossref","unstructured":"Arcuri, A., Briand, L.: A practical guide for using statistical tests to assess randomized algorithms in software engineering. In: Proceedings of the 33rd International Conference on Software Engineering. Association for computing machinery, New York, NY, USA, ICSE\u201911, pp 1\u201310 (2011)","DOI":"10.1145\/1985793.1985795"},{"issue":"3","key":"348_CR5","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1002\/stvr.1486","volume":"24","author":"A Arcuri","year":"2014","unstructured":"Arcuri, A., Briand, L.: A hitchhiker\u2019s guide to statistical tests for assessing randomized algorithms in software engineering. Software Test Verifi Reliab 24(3), 219\u2013250 (2014)","journal-title":"Software Test Verifi Reliab"},{"key":"348_CR6","doi-asserted-by":"crossref","unstructured":"Balint, A., Sch\u00f6ning, U.: Choosing Probability Distributions for Stochastic Local Search and the Role of Make versus Break, International Conference on theory and applications of satisfiability testing, Berlin, Heidelberg, pp 16\u201329 (2012)","DOI":"10.1007\/978-3-642-31612-8_3"},{"key":"348_CR7","doi-asserted-by":"crossref","unstructured":"Baranov, E., Legay, A., Meel, K.S.: Baital: An adaptive weighted sampling approach for improved t-wise coverage. In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the foundations of software engineering. ACM, New York, NY, USA, ESEC\/FSE 2020, pp 1114\u20131126 (2020)","DOI":"10.1145\/3368089.3409744"},{"key":"348_CR8","doi-asserted-by":"crossref","unstructured":"Batory, D.: Feature models, grammars, and propositional formulas. In: Obbink H, Pohl K (eds) Proceedings of the 9th international conference software product lines, SPLC 2005. Springer Berlin Heidelberg, Berlin, Heidelberg, pp 7\u201320 (2005)","DOI":"10.1007\/11554844_3"},{"key":"348_CR9","first-page":"59","volume":"7","author":"DL Berre","year":"2010","unstructured":"Berre, D.L., Parrain, A.: The Sat4j library, release 2.2, system description. J. Satisf. Bool. Model. Comput. 7, 59\u201364 (2010)","journal-title":"J. Satisf. Bool. Model. Comput."},{"key":"348_CR10","doi-asserted-by":"crossref","unstructured":"Biere, A., Brummayer, R.: Picosat essentials. Journal on Satisfiability Boolean Modeling & Computation pp 75\u201397 (2008)","DOI":"10.3233\/SAT190039"},{"key":"348_CR11","unstructured":"Cai, S.: Faster implementation for walksat. Tech. rep, Queensland Research Lab, NICTA, Australia (2013)"},{"issue":"11","key":"348_CR12","doi-asserted-by":"publisher","first-page":"2864","DOI":"10.1093\/comjnl\/bxu135","volume":"58","author":"S Cai","year":"2014","unstructured":"Cai, S., Luo, C., Su, K.: Improving WalkSAT By effective tie-breaking and efficient implementation. Comput. J. 58(11), 2864\u20132875 (2014)","journal-title":"Comput. J."},{"key":"348_CR13","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/978-3-662-46681-0_25","volume-title":"Tools Algorithms for the Construct. Anal. Syst.","author":"S Chakraborty","year":"2015","unstructured":"Chakraborty, S., Fremont, D.J., Meel, K.S., et al.: On parallel scalable uniform SAT witness generation. In: Baier, C., Tinelli, C. (eds.) Tools Algorithms for the Construct. Anal. Syst., pp. 304\u2013319. Springer, Berlin Heidelberg, Berlin, Heidelberg (2015)"},{"issue":"6","key":"348_CR14","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1109\/TSE.2018.2790925","volume":"45","author":"J Chen","year":"2019","unstructured":"Chen, J., Nair, V., Krishna, R., et al.: \u2018Sampling\u2019 as a baseline optimizer for search-based software engineering. IEEE Trans. Softw.Eng. 45(6), 597\u2013614 (2019)","journal-title":"IEEE Trans. Softw.Eng."},{"key":"348_CR15","unstructured":"Clements, P., Northrop, L.: Software product lines: practices and patterns. Addison-Wesley Longman Publishing Co., Inc (2001)"},{"key":"348_CR16","volume-title":"Evolutionary algorithms for solving multi-objective problems","author":"CA Coello Coello","year":"2007","unstructured":"Coello Coello, C.A., Lamont, G.B., Veldhuizen, D.A.V.: Evolutionary algorithms for solving multi-objective problems, 2nd edn. Springer, LLC, New York, NY (2007)","edition":"2"},{"key":"348_CR17","doi-asserted-by":"crossref","unstructured":"Cohen, M.B., Dwyer, M.B., Shi, J.: Interaction testing of highly-configurable systems in the presence of constraints. In: Proceedings of the 2007 International Symposium on software testing and analysis. association for computing machinery, New York, NY, USA, ISSTA\u201907, pp 129\u2013139 (2007)","DOI":"10.1145\/1273463.1273482"},{"issue":"5","key":"348_CR18","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1109\/TSE.2008.50","volume":"34","author":"MB Cohen","year":"2008","unstructured":"Cohen, M.B., Dwyer, M.B., Shi, J.: Constructing interaction test suites for highly-configurable systems in the presence of constraints: A greedy approach. IEEE Trans. Softw. Eng. 34(5), 633\u2013650 (2008)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"348_CR19","doi-asserted-by":"crossref","unstructured":"De\u00a0Moura, L., Bj\u00f8rner, N.: Z3: An efficient smt solver. In: Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer-Verlag, Berlin, Heidelberg, TACAS\u201908\/ETAPS\u201908, pp 337\u2013340 (2008)","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"348_CR20","first-page":"549","volume-title":"2018 IEEE\/ACM 40th international conference on software engineering (icse)","author":"R Dutra","year":"2018","unstructured":"Dutra, R., Laeufer, K., Bachrach, J., et al.: Efficient sampling of sat solutions for testing. In: 2018 IEEE\/ACM 40th international conference on software engineering (icse), pp. 549\u2013559. IEEE Computer Society, Los Alamitos, CA, USA (2018)"},{"issue":"1","key":"348_CR21","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s10664-010-9135-7","volume":"16","author":"BJ Garvin","year":"2011","unstructured":"Garvin, B.J., Cohen, M.B., Dwyer, M.B.: Evaluating improvements to a meta-heuristic search for constrained interaction testing. Empirical Softw. Eng. 16(1), 61\u2013102 (2011)","journal-title":"Empirical Softw. Eng."},{"key":"348_CR22","doi-asserted-by":"publisher","first-page":"711","DOI":"10.1007\/11889205_56","volume-title":"Principles and practice of constraint programming - CP 2006","author":"V Gogate","year":"2006","unstructured":"Gogate, V., Dechter, R.: A new algorithm for sampling csp solutions uniformly at random. In: Benhamou, F. (ed.) Principles and practice of constraint programming - CP 2006, pp. 711\u2013715. Springer, Berlin Heidelberg, Berlin, Heidelberg (2006)"},{"issue":"12","key":"348_CR23","doi-asserted-by":"publisher","first-page":"2208","DOI":"10.1016\/j.jss.2011.06.026","volume":"84","author":"J Guo","year":"2011","unstructured":"Guo, J., White, J., Wang, G., et al.: A genetic algorithm for optimized feature selection with resource constraints in software product lines. Journal of Systems & Software 84(12), 2208\u20132221 (2011)","journal-title":"Journal of Systems & Software"},{"key":"348_CR24","doi-asserted-by":"crossref","unstructured":"Guo, J., Czarnecki, K., Apel, S., et\u00a0al.: Variability-aware performance prediction: A statistical learning approach. In: 28th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp 301\u2013311 (2013)","DOI":"10.1109\/ASE.2013.6693089"},{"key":"348_CR25","unstructured":"Guo, J., Zulkoski, E., Olaechea, R., et\u00a0al: Scaling exact multi-objective combinatorial optimization by parallelization. In: ACM\/IEEE International Conference on automated software engineering, ASE \u201914, Vasteras, Sweden - September 15 - 19, 2014, pp 409\u2013420 (2014)"},{"key":"348_CR26","doi-asserted-by":"publisher","first-page":"1447","DOI":"10.1007\/s10270-017-0610-0","volume":"18","author":"J Guo","year":"2019","unstructured":"Guo, J., Liang, J.H., Shi, K., et al.: SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines. Softw. Syst.Model. 18, 1447\u20131466 (2019)","journal-title":"Softw. Syst.Model."},{"key":"348_CR27","doi-asserted-by":"publisher","first-page":"674","DOI":"10.1007\/s10664-018-9635-4","volume":"24","author":"A Halin","year":"2019","unstructured":"Halin, A., Nuttinck, A., Acher, M., et al.: Test them all, is it worth it? assessing configuration sampling on the jhipster web development stack. Empirical Softw. Eng. 24, 674\u2013717 (2019)","journal-title":"Empirical Softw. Eng."},{"key":"348_CR28","doi-asserted-by":"crossref","unstructured":"Henard, C., Papadakis, M., Perrouin, G., et\u00a0al: PLEDGE: A Product Line Editor and Test Generation Tool. In: Proceedings of the 17th International Software Product Line Conference Co-Located Workshops. Association for computing machinery, New York, NY, USA, SPLC\u201913 Workshops, pp 126\u2013129 (2013)","DOI":"10.1145\/2499777.2499778"},{"issue":"7","key":"348_CR29","doi-asserted-by":"publisher","first-page":"650","DOI":"10.1109\/TSE.2014.2327020","volume":"40","author":"C Henard","year":"2014","unstructured":"Henard, C., Papadakis, M., Perrouin, G., et al.: Bypassing the combinatorial explosion: using similarity to generate and prioritize t-wise test configurations for software product lines. IEEE Trans. Softw. Eng. 40(7), 650\u2013670 (2014)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"348_CR30","doi-asserted-by":"crossref","unstructured":"Henard, C., Papadakis, M., Harman, M., et\u00a0al: Combining multi-objective search and constraint solving for configuring large software product lines. In: The 37th International Conference on Software Engineering, pp 517\u2013528 (2015)","DOI":"10.1109\/ICSE.2015.69"},{"key":"348_CR31","doi-asserted-by":"crossref","unstructured":"Heradio, R., Fernandez-Amoros, D., Galindo, J.A., et\u00a0al: Uniform and scalable sat-sampling for configurable systems. In: Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A. Association for computing machinery, New York, NY, USA, SPLC \u201920 (2020)","DOI":"10.1145\/3382025.3414951"},{"issue":"2","key":"348_CR32","doi-asserted-by":"publisher","first-page":"17:1","DOI":"10.1145\/2897760","volume":"25","author":"RM Hierons","year":"2016","unstructured":"Hierons, R.M., Li, M., Liu, X., et al.: SIP: optimal product selection from feature models using many-objective evolutionary optimization. ACM Trans. Softw. Eng. Methodol. 25(2), 17:1-17:39 (2016)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"348_CR33","doi-asserted-by":"crossref","unstructured":"Johansen, M.F., Haugen, \u00d8., Fleurey, F.: Properties of realistic feature models make combinatorial testing of product lines feasible. In: Proceedings of the 14th International Conference on model driven engineering languages and systems. Springer-Verlag, Berlin, Heidelberg, MODELS\u201911, pp 638\u2013652 (2011)","DOI":"10.1007\/978-3-642-24485-8_47"},{"key":"348_CR34","doi-asserted-by":"crossref","unstructured":"Johansen, M.F., Haugen, \u00d8., Fleurey, F.: An algorithm for generating t-wise covering arrays from large feature models. In: Proceedings of the 16th International Software Product Line Conference - Volume 1. Association for computing machinery, New York, NY, USA, SPLC\u201912, pp 46\u201355 (2012)","DOI":"10.1145\/2362536.2362547"},{"key":"348_CR35","doi-asserted-by":"crossref","unstructured":"Kaltenecker, C., Grebhahn, A., Siegmund, N., et\u00a0al: Distance-based sampling of software configuration spaces. In: Proceedings of the 41st International Conference on software engineering. IEEE Press, ICSE\u201919, pp 1084\u20131094 (2019)","DOI":"10.1109\/ICSE.2019.00112"},{"key":"348_CR36","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., et\u00a0al: Feature-oriented domain analysis (FODA ) feasibility study. Tech. rep., CMU\/SEI-90-TR-21. SEI. Georgetown University (1990)","DOI":"10.21236\/ADA235785"},{"key":"348_CR37","doi-asserted-by":"crossref","unstructured":"Krieter, S., Th\u00fcm, T., Schulze, S., et\u00a0al: YASA: yet another sampling algorithm. In: Cordy M, Acher M, Beuche D, et\u00a0al (eds) VaMoS 20: 14th International Working Conference on variability modelling of software-intensive systems, Magdeburg Germany, February 5-7, 2020. ACM, pp 4:1\u20134:10 (2020)","DOI":"10.1145\/3377024.3377042"},{"issue":"2","key":"348_CR38","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1162\/EVCO_a_00025","volume":"19","author":"J Lehman","year":"2011","unstructured":"Lehman, J., Kenneth, O.S.: Abandoning objectives: evolution through the search for novelty alone. Evolut. Comput. 19(2), 189\u2013223 (2011)","journal-title":"Evolut. Comput."},{"key":"348_CR39","unstructured":"Lehman, J., Stanley, K.O.: Exploiting open-endedness to solve problems through the search for novelty. In: Proceedings of the Eleventh International Conference on Artificial Life (ALIFE XI), pp 329\u2013336 (2008)"},{"issue":"2","key":"348_CR40","first-page":"26:1","volume":"52","author":"M Li","year":"2019","unstructured":"Li, M., Yao, X.: Quality evaluation of solution sets in multiobjective optimisation: a survey. ACM Comput. Surv. 52(2), 26:1-26:38 (2019)","journal-title":"ACM Comput. Surv."},{"key":"348_CR41","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.artint.2015.06.007","volume":"228","author":"M Li","year":"2015","unstructured":"Li, M., Yang, S., Liu, X.: Bi-goal evolution for many-objective optimization problems. Artif. Intell. 228, 45\u201365 (2015)","journal-title":"Artif. Intell."},{"key":"348_CR42","doi-asserted-by":"publisher","unstructured":"Li, M., Chen, T., Yao, X.: A critical review of: \u201ca practical guide to select quality indicators for assessing pareto-based search algorithms in search-based software engineering\u201d: Essay on quality indicator selection for sbse. In: Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results. ACM, New York, NY, USA, ICSE-NIER \u201918, pp 17\u201320, https:\/\/doi.org\/10.1145\/3183399.3183405 (2018)","DOI":"10.1145\/3183399.3183405"},{"key":"348_CR43","doi-asserted-by":"crossref","unstructured":"Liang, J.H., Ganesh, V., Czarnecki, K., et\u00a0al: SAT-based Analysis of Large Real-world Feature Models is Easy. In: Proceedings of the 19th International Conference on Software Product Line. ACM, New York, NY, USA, SPLC \u201915, pp 91\u2013100 (2015)","DOI":"10.1145\/2791060.2791070"},{"key":"348_CR44","doi-asserted-by":"crossref","unstructured":"Liebig, J., von Rhein, A., K\u00e4stner, C., et\u00a0al: Scalable analysis of variable software. In: Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering. Association for Computing Machinery, New York, NY, USA, ESEC\/FSE 2013, pp 81\u201391 (2013)","DOI":"10.1145\/2491411.2491437"},{"key":"348_CR45","doi-asserted-by":"crossref","unstructured":"Lopez-Herrejon, R.E., Fischer, S., Ramler, R., et\u00a0al: A first systematic mapping study on combinatorial interaction testing for software product lines. In: IEEE Eighth International Conference on Software testing, verification and validation workshops (ICSTW). IEEE, pp 1\u201310 (2015)","DOI":"10.1109\/ICSTW.2015.7107435"},{"key":"348_CR46","doi-asserted-by":"crossref","unstructured":"Luo, C., Sun, B., Qiao, B., et\u00a0al: LS-Sampling: An effective local search based sampling approach for achieving high t-wise coverage. In: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Association for computing machinery, New York, NY, USA, ESEC\/FSE 2021, pp 1081\u20131092 (2021)","DOI":"10.1145\/3468264.3468622"},{"issue":"5","key":"348_CR47","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1109\/12.769433","volume":"48","author":"JP Marques-Silva","year":"1999","unstructured":"Marques-Silva, J.P., Sakallah, et al.: GRASP: a search algorithm for propositional satisfiability. IEEE Trans. Comput. 48(5), 506\u2013521 (1999)","journal-title":"IEEE Trans. Comput."},{"key":"348_CR48","doi-asserted-by":"crossref","unstructured":"Medeiros, F., K\u00e4stner, C., Ribeiro, M., et\u00a0al: A comparison of 10 sampling algorithms for configurable systems. In: 2016 IEEE\/ACM 38th International Conference on Software Engineering (ICSE), pp 643\u2013654 (2016)","DOI":"10.1145\/2884781.2884793"},{"key":"348_CR49","doi-asserted-by":"crossref","unstructured":"Melo, J., Flesborg, E., Brabrand, C., et\u00a0al: A quantitative analysis of variability warnings in linux. In: Proceedings of the Tenth International Workshop on variability modelling of software-intensive systems. ACM, New York, NY, USA, VaMoS\u201916, pp 3\u20138 (2016)","DOI":"10.1145\/2866614.2866615"},{"key":"348_CR50","unstructured":"Mendonca, M., Branco, M., Cowan, D.: SPLOT: software product lines online tools. In: Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, ACM, pp 761\u2013762 (2009)"},{"key":"348_CR51","doi-asserted-by":"crossref","unstructured":"Oh, J., Batory, D., Myers, M., et\u00a0al: Finding near-optimal configurations in product lines by random sampling. In: Proceedings of the 2017 11th Joint meeting on foundations of software engineering. ACM, New York, NY, USA, ESEC\/FSE 2017, pp 61\u201371 (2017)","DOI":"10.1145\/3106237.3106273"},{"key":"348_CR52","unstructured":"Oh, J., Gazzillo, P., Batory, D.: T-wise coverage by uniform sampling. In: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A. Association for computing machinery, New York, NY, USA, SPLC\u201919, pp 84\u201387 (2019)"},{"key":"348_CR53","unstructured":"Oh, J., Gazzillo, P., Batory, D., et\u00a0al: Scalable uniform sampling for real-world software product lines. Tech. Rep. TR-20-01, The University of Texas at Austin (2020)"},{"key":"348_CR54","doi-asserted-by":"crossref","unstructured":"Olaechea, R., Rayside, D., Guo, J., et\u00a0al: Comparison of exact and approximate multi-objective optimization for software product lines. In: The International software product line conference, pp 92\u2013101 (2014)","DOI":"10.1145\/2648511.2648521"},{"key":"348_CR55","doi-asserted-by":"crossref","unstructured":"Pett, T., Th\u00fcm, T., Runge, T., et\u00a0al: Product sampling for product lines: The scalability challenge. In: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A. Association for Computing Machinery, New York, NY, USA, SPLC\u201919, pp 78\u201383 (2019)","DOI":"10.1145\/3336294.3336322"},{"key":"348_CR56","doi-asserted-by":"crossref","unstructured":"Plazar, Q., Acher, M., Perrouin, G., et\u00a0al: Uniform sampling of SAT solutions for configurable systems: Are we there yet? In: 12th IEEE Conference on software testing, validation and verification, ICST 2019, Xi\u2019an, China, April 22-27, 2019. IEEE, pp 240\u2013251 (2019)","DOI":"10.1109\/ICST.2019.00032"},{"key":"348_CR57","doi-asserted-by":"crossref","unstructured":"Pohl, R., Lauenroth, K., Pohl, K.: A performance comparison of contemporary algorithmic approaches for automated analysis operations on feature models. In: IEEE\/ACM International Conference on automated software engineering, pp 313\u2013322 (2011)","DOI":"10.1109\/ASE.2011.6100068"},{"key":"348_CR58","doi-asserted-by":"crossref","unstructured":"Sarkar, A., Guo, J., Siegmund, N., et\u00a0al: Cost-efficient sampling for performance prediction of configurable systems. In: Proceedings of the 30th IEEE\/ACM International conference on automated software engineering. IEEE Press, ASE\u201915, pp 342\u2013352 (2015)","DOI":"10.1109\/ASE.2015.45"},{"key":"348_CR59","doi-asserted-by":"crossref","unstructured":"Sayyad, A.S., Goseva-Popstojanova, K., Menzies, T., et\u00a0al: On parameter tuning in search based software engineering: A replicated empirical study. In: International Workshop on Replication in empirical software engineering research, pp 84\u201390 (2013a)","DOI":"10.1109\/RESER.2013.6"},{"key":"348_CR60","doi-asserted-by":"crossref","unstructured":"Sayyad, A.S., Ingram, J., Menzies, T., et\u00a0al: Optimum feature selection in software product lines:let your model and values guide your search. In: International Workshop on combining modelling and search-based software engineering, pp 22\u201327 (2013b)","DOI":"10.1109\/CMSBSE.2013.6604432"},{"key":"348_CR61","doi-asserted-by":"crossref","unstructured":"Sayyad, A.S., Ingram, J., Menzies, T., et\u00a0al: Scalable product line configuration: A straw to break the camel\u2019s back. In: 2013 28th IEEE\/ACM International conference on automated software engineering (ASE), pp 465\u2013474 (2013c)","DOI":"10.1109\/ASE.2013.6693104"},{"key":"348_CR62","doi-asserted-by":"publisher","unstructured":"Sayyad, A.S., Menzies, T., Ammar, H.: On the value of user preferences in search-based software engineering: A case study in software product lines. In: 2013 35th International Conference on Software Engineering (ICSE), pp 492\u2013501, https:\/\/doi.org\/10.1109\/ICSE.2013.6606595 (2013d)","DOI":"10.1109\/ICSE.2013.6606595"},{"key":"348_CR63","unstructured":"Selman, B., Levesque, H., Mitchell, D.: A new method for solving hard satisfiability problems. In: Proceedings of the Tenth National Conference on artificial intelligence. AAAI Press, AAAI\u201992, pp 440\u2013446 (1992)"},{"key":"348_CR64","first-page":"284","volume":"2015","author":"N Siegmund","year":"2015","unstructured":"Siegmund, N., Grebhahn, A., Apel, S., et al.: Performance-influence models for highly configurable systems. Assoc. Comput. Mach. 2015, 284\u2013294 (2015)","journal-title":"Assoc. Comput. Mach."},{"key":"348_CR65","unstructured":"Simon, L., Audemard, G.: Predicting Learnt Clauses Quality in Modern SAT Solver. In: Twenty-first International Joint Conference on artificial intelligence (IJCAI\u201909), Pasadena, United States (2009)"},{"key":"348_CR66","doi-asserted-by":"crossref","unstructured":"Soos, M., Gocht, S., Meel, K.S.: Tinted, detached, and lazy cnf-xor solving and its applications to counting and sampling. In: Proceedings of International Conference on Computer-Aided Verification (CAV) (2020)","DOI":"10.1007\/978-3-030-53288-8_22"},{"key":"348_CR67","doi-asserted-by":"publisher","unstructured":"Sundermann, C., Th\u00fcm, T., Schaefer, I.: Evaluating #sat solvers on industrial feature models. In: Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems. Association for Computing Machinery, New York, NY, USA, VAMOS\u201920, https:\/\/doi.org\/10.1145\/3377024.3377025 (2020)","DOI":"10.1145\/3377024.3377025"},{"key":"348_CR68","doi-asserted-by":"crossref","unstructured":"Tan, T.H., Xue, Y., Chen, M., et\u00a0al: Optimizing selection of competing features via feedback-directed evolutionary algorithms. In: Proceedings of the 2015 International Symposium on software testing and analysis (ISSTA 2015), pp 246\u2013256 (2015)","DOI":"10.1145\/2771783.2771808"},{"key":"348_CR69","first-page":"424","volume-title":"Theor. Appl. Satisf. Test.","author":"M Thurley","year":"2006","unstructured":"Thurley, M.: Sharpsat - counting models with advanced component caching and implicit bcp. In: Biere, A., Gomes, C.P. (eds.) Theor. Appl. Satisf. Test., pp. 424\u2013429. Springer, Berlin Heidelberg, Berlin, Heidelberg (2006)"},{"issue":"2","key":"348_CR70","first-page":"101","volume":"25","author":"A Vargha","year":"2000","unstructured":"Vargha, A., Delaney, H.D.: A critique and improvement of the cl common language effect size statistics of mcgraw and wong. J. Educ. Behav. Stat. 25(2), 101\u2013132 (2000)","journal-title":"J. Educ. Behav. Stat."},{"issue":"1","key":"348_CR71","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1109\/TEVC.2016.2587808","volume":"21","author":"Y Xiang","year":"2017","unstructured":"Xiang, Y., Zhou, Y., Li, M., et al.: A vector angle based evolutionary algorithm for unconstrained many-objective problems. IEEE Trans. Evol. Comput. 21(1), 131\u2013152 (2017)","journal-title":"IEEE Trans. Evol. Comput."},{"issue":"4","key":"348_CR72","doi-asserted-by":"publisher","first-page":"14:1","DOI":"10.1145\/3176644","volume":"26","author":"Y Xiang","year":"2018","unstructured":"Xiang, Y., Zhou, Y., Zheng, Z., et al.: Configuring software product lines by combining many-objective optimization and SAT solvers. ACM Trans. Softw. Eng. Methodol. 26(4), 14:1-14:46 (2018)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"348_CR73","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1007\/s10664-019-09761-2","volume":"25","author":"Y Xiang","year":"2020","unstructured":"Xiang, Y., Yang, X., Zhou, Y., et al.: Going deeper with optimal software products selection using many-objective optimization and satisfiability solvers. Empir. Softw. Eng. 25, 591\u2013626 (2020)","journal-title":"Empir. Softw. Eng."},{"issue":"7","key":"348_CR74","doi-asserted-by":"publisher","first-page":"2317","DOI":"10.1109\/TSE.2021.3057853","volume":"48","author":"Y Xiang","year":"2022","unstructured":"Xiang, Y., Huang, H., Li, M., et al.: Looking for novelty in search-based software product line testing. IEEE Trans. Softw. Eng. 48(7), 2317\u20132338 (2022). https:\/\/doi.org\/10.1109\/TSE.2021.3057853","journal-title":"IEEE Trans. Softw. Eng."},{"key":"348_CR75","doi-asserted-by":"publisher","unstructured":"Xiang, Y., Huang, H., Zhou, Y., et al: Search-based diverse sampling from real-world software product lines. In: Proceedings of the 44th International Conference on Software Engineering. ACM, New York, NY, USA, ICSE\u201922, pp 1945\u20131957, https:\/\/doi.org\/10.1145\/3510003.3510053 (2022)","DOI":"10.1145\/3510003.3510053"},{"key":"348_CR76","doi-asserted-by":"publisher","unstructured":"Xue, Y., Li, Y.F.: Multi-objective Integer Programming Approaches for Solving Optimal Feature Selection Problem: A New Perspective on Multi-objective Optimization Problems in SBSE. In: Proceedings of the 40th International Conference on Software Engineering. ACM, New York, NY, USA, ICSE \u201918, pp 1231\u20131242, https:\/\/doi.org\/10.1145\/3180155.3180257 (2018)","DOI":"10.1145\/3180155.3180257"},{"key":"348_CR77","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1016\/j.neucom.2019.06.075","volume":"364","author":"Y Xue","year":"2019","unstructured":"Xue, Y., Li, M., Shepperd, M., et al.: A novel aggregation-based dominance for pareto-based evolutionary algorithms to configure software product lines. Neurocomputing 364, 32\u201348 (2019)","journal-title":"Neurocomputing"},{"key":"348_CR78","doi-asserted-by":"crossref","unstructured":"Zhang, W., Sun, Z., Zhu, Q., et\u00a0al: NLocalSAT: Boosting local search with solution prediction. In: Bessiere C (ed) Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020. ijcai.org, pp 1177\u20131183 (2020)","DOI":"10.24963\/ijcai.2020\/164"},{"key":"348_CR79","doi-asserted-by":"crossref","unstructured":"Zitzler, E., K\u00fcnzli, S.: Indicator-based selection in multiobjective search. In: Proc. 8th International Conference on parallel problem solving from nature, PPSN VIII. Springer, pp 832\u2013842 (2004)","DOI":"10.1007\/978-3-540-30217-9_84"},{"issue":"4","key":"348_CR80","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1109\/4235.797969","volume":"3","author":"E Zitzler","year":"1999","unstructured":"Zitzler, E., Thiele, L.: Multiobjective evolutionary algorithms: a comparative case study and the strength pareto approach. IEEE Trans. Evolut. Comput. 3(4), 257\u2013271 (1999)","journal-title":"IEEE Trans. Evolut. Comput."}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-022-00348-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10515-022-00348-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-022-00348-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,28]],"date-time":"2022-10-28T11:29:15Z","timestamp":1666956555000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10515-022-00348-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,3]]},"references-count":80,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2022,11]]}},"alternative-id":["348"],"URL":"https:\/\/doi.org\/10.1007\/s10515-022-00348-8","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"value":"0928-8910","type":"print"},{"value":"1573-7535","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,9,3]]},"assertion":[{"value":"3 December 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 June 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 September 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"54"}}