{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,25]],"date-time":"2026-07-25T16:24:55Z","timestamp":1784996695383,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":64,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,9,9]],"date-time":"2019-09-09T00:00:00Z","timestamp":1567987200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Center for Hierarchical Manufacturing, National Science Foundation","award":["CCF-1212683 and ACI-1550493"],"award-info":[{"award-number":["CCF-1212683 and ACI-1550493"]}]},{"name":"Consejer\u00eda de Econom\u00eda, Innovaci\u00f3n, Ciencia y Empleo, Junta de Andaluc\u00eda","award":["MAGIC P12-TIC1814 and TASOVA MCIU-AEI TIN2017-90644-REDT"],"award-info":[{"award-number":["MAGIC P12-TIC1814 and TASOVA MCIU-AEI TIN2017-90644-REDT"]}]},{"name":"Ministerio de Econom\u00eda y Competitividad","award":["HADAS TIN2015-64841-R and MEDEA RTI2018-099213-B-I00 (co-financed FEDER funds)"],"award-info":[{"award-number":["HADAS TIN2015-64841-R and MEDEA RTI2018-099213-B-I00 (co-financed FEDER funds)"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,9,9]]},"DOI":"10.1145\/3336294.3336297","type":"proceedings-article","created":{"date-parts":[[2019,8,8]],"date-time":"2019-08-08T12:38:04Z","timestamp":1565267884000},"page":"289-301","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":39,"title":["Uniform Random Sampling Product Configurations of Feature Models That Have Numerical Features"],"prefix":"10.1145","author":[{"given":"Daniel-Jesus","family":"Munoz","sequence":"first","affiliation":[{"name":"Universidad de M\u00e1laga, M\u00e1laga, Andaluc\u00eda, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jeho","family":"Oh","sequence":"additional","affiliation":[{"name":"Department of Computer Science"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M\u00f3nica","family":"Pinto","sequence":"additional","affiliation":[{"name":"Universidad de M\u00e1laga, M\u00e1laga, Andaluc\u00eda, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lidia","family":"Fuentes","sequence":"additional","affiliation":[{"name":"Universidad de M\u00e1laga, M\u00e1laga, Andaluc\u00eda, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Don","family":"Batory","sequence":"additional","affiliation":[{"name":"Department of Computer Science"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2019,9,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2993236.2993253"},{"key":"e_1_3_2_1_2_1","volume-title":"Feature-oriented software product lines","author":"Apel Sven","unstructured":"Sven Apel , Don Batory , Christian K\u00e1stner , and Gunter Saake . 2016. Feature-oriented software product lines . Springer , NY , USA. Sven Apel, Don Batory, Christian K\u00e1stner, and Gunter Saake. 2016. Feature-oriented software product lines. Springer, NY, USA."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-013-9295-4"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032319"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11916277_35"},{"key":"e_1_3_2_1_6_1","volume-title":"Handbook of Model Checking","author":"Barrett Clark","unstructured":"Clark Barrett and Cesare Tinelli . 2018. Satisfiability modulo theories . In Handbook of Model Checking . Springer , NY , USA, 305--343. Clark Barrett and Cesare Tinelli. 2018. Satisfiability modulo theories. In Handbook of Model Checking. Springer, NY, USA, 305--343."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11877028_16"},{"key":"e_1_3_2_1_10_1","first-page":"39","article-title":"A first step towards a framework for the automated analysis of feature models","volume":"0","author":"Benavides David","year":"2006","unstructured":"David Benavides , Sergio Segura , Pablo Trinidad , and Antonio Ruiz-Cort\u00e9s . 2006 . A first step towards a framework for the automated analysis of feature models . Proc. Managing Variability for Software Product Lines: Working With Variability Mechanisms 0 (2006), 39 -- 47 . David Benavides, Sergio Segura, Pablo Trinidad, and Antonio Ruiz-Cort\u00e9s. 2006. A first step towards a framework for the automated analysis of feature models. Proc. Managing Variability for Software Product Lines: Working With Variability Mechanisms 0 (2006), 39--47.","journal-title":"Proc. Managing Variability for Software Product Lines: Working With Variability Mechanisms"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.34"},{"key":"e_1_3_2_1_12_1","volume-title":"Handbook of satisfiability","author":"Biere Armin","unstructured":"Armin Biere , Marijn Heule , and Hans van Maaren . 2009. Handbook of satisfiability . Vol. 185 . IOS press , IEEE. Armin Biere, Marijn Heule, and Hans van Maaren. 2009. Handbook of satisfiability. Vol. 185. IOS press, IEEE."},{"key":"e_1_3_2_1_13_1","volume-title":"Mixed abstractions for floating-point arithmetic. In 2009 Formal Methods in Computer-Aided Design","author":"Brillout Angelo","unstructured":"Angelo Brillout , Daniel Kroening , and Thomas Wahl . 2009. Mixed abstractions for floating-point arithmetic. In 2009 Formal Methods in Computer-Aided Design . IEEE, IEEE , Piscataway, NJ, USA , 69--76. Angelo Brillout, Daniel Kroening, and Thomas Wahl. 2009. Mixed abstractions for floating-point arithmetic. In 2009 Formal Methods in Computer-Aided Design. IEEE, IEEE, Piscataway, NJ, USA, 69--76."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_16"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1763507.1763544"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/266021.266355"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_25"},{"key":"e_1_3_2_1_18_1","first-page":"12","article-title":"Sampling\" as a Baseline Optimizer for Search-based Software Engineering","volume":"0","author":"Chen Jianfeng","year":"2018","unstructured":"Jianfeng Chen , Vivek Nair , Rahul Krishna , and Tim Menzies . 2018 . \" Sampling\" as a Baseline Optimizer for Search-based Software Engineering . IEEE Transactions on Software Engineering 0 (2018), 12 . Jianfeng Chen, Vivek Nair, Rahul Krishna, and Tim Menzies. 2018. \" Sampling\" as a Baseline Optimizer for Search-based Software Engineering. IEEE Transactions on Software Engineering 0 (2018), 12.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-03077-7_22"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_7"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486851"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_49"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180248"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491627.2491652"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106195.3106208"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/1998496.1998522"},{"key":"e_1_3_2_1_28_1","unstructured":"The Linux Foundation. 2018. Kconfig-language specification. https:\/\/www.kernel.org\/doc\/Documentation\/kbuild\/kconfig-language.txt.  The Linux Foundation. 2018. Kconfig-language specification. https:\/\/www.kernel.org\/doc\/Documentation\/kbuild\/kconfig-language.txt."},{"key":"e_1_3_2_1_29_1","unstructured":"The Linux Foundation. 2018. Kconfig tool specification. https:\/\/www.kernel.org\/doc\/Documentation\/kbuild\/kconfig.txt.  The Linux Foundation. 2018. Kconfig tool specification. https:\/\/www.kernel.org\/doc\/Documentation\/kbuild\/kconfig.txt."},{"key":"e_1_3_2_1_30_1","unstructured":"Vijay Ganesh and David L Dill. 2006. System description of STP.  Vijay Ganesh and David L Dill. 2006. System description of STP."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106283"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129626414410011"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693089"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-017-0610-0"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818819"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818819"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2017.10.018"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.06.004"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2076021.2048128"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2791060.2791070"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491437"},{"key":"e_1_3_2_1_44_1","volume-title":"On a test of whether one of two random variables is stochastically larger than the other. The annals of mathematical statistics 0, 0","author":"Mann Henry B","year":"1947","unstructured":"Henry B Mann and Donald R Whitney . 1947. On a test of whether one of two random variables is stochastically larger than the other. The annals of mathematical statistics 0, 0 ( 1947 ), 50--60. Henry B Mann and Donald R Whitney. 1947. On a test of whether one of two random variables is stochastically larger than the other. The annals of mathematical statistics 0, 0 (1947), 50--60."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.1951.10500769"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3109729.3109752"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884793"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2018.09.006"},{"key":"e_1_3_2_1_49_1","volume-title":"Finding correlations of features affecting energy consumption and performance of web servers using theHADAS eco-assistant. Computing 100, 11 (01","author":"Munoz Daniel-Jesus","year":"2018","unstructured":"Daniel-Jesus Munoz , M\u00f3nica Pinto , and Lidia Fuentes . 2018. Finding correlations of features affecting energy consumption and performance of web servers using theHADAS eco-assistant. Computing 100, 11 (01 Nov 2018 ), 1155--1173. Daniel-Jesus Munoz, M\u00f3nica Pinto, and Lidia Fuentes. 2018. Finding correlations of features affecting energy consumption and performance of web servers using theHADAS eco-assistant. Computing 100, 11 (01 Nov 2018), 1155--1173."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2012.21"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106273"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2019.00032"},{"key":"e_1_3_2_1_53_1","volume-title":"Peter Van Beek, and Toby Walsh","author":"Rossi Francesca","year":"2006","unstructured":"Francesca Rossi , Peter Van Beek, and Toby Walsh . 2006 . Handbook of constraint programming. Elsevier, Elsevier . Francesca Rossi, Peter Van Beek, and Toby Walsh. 2006. Handbook of constraint programming. Elsevier, Elsevier."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2018.12.002"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.45"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693104"},{"key":"e_1_3_2_1_57_1","volume-title":"Combining Evolutionary Algorithms with Constraint Solving for Configuration Optimization. In 2017 IEEE International Conference on Software Maintenance and Evolution (ICSME). IEEE\/ACM","author":"Shi K.","year":"2017","unstructured":"K. Shi . 2017 . Combining Evolutionary Algorithms with Constraint Solving for Configuration Optimization. In 2017 IEEE International Conference on Software Maintenance and Evolution (ICSME). IEEE\/ACM , Piscataway, NJ, USA, 665--669. K. Shi. 2017. Combining Evolutionary Algorithms with Constraint Solving for Configuration Optimization. In 2017 IEEE International Conference on Software Maintenance and Evolution (ICSME). IEEE\/ACM, Piscataway, NJ, USA, 665--669."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786845"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337243"},{"key":"e_1_3_2_1_60_1","volume-title":"SAT 2005","author":"Sorensson Niklas","year":"2005","unstructured":"Niklas Sorensson and Niklas Een . 2005 . Minisat v1. 13-a sat solver with conflict-clause minimization . SAT 2005 , 53 (2005), 1--2. Niklas Sorensson and Niklas Een. 2005. Minisat v1. 13-a sat solver with conflict-clause minimization. SAT 2005, 53 (2005), 1--2."},{"key":"e_1_3_2_1_61_1","unstructured":"Creative Research Systems. 2019. Sample Size Calculator. https:\/\/www.surveysystem.com\/sscalc.htm.  Creative Research Systems. 2019. Sample Size Calculator. https:\/\/www.surveysystem.com\/sscalc.htm."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/2039239.2039242"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.06.002"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1007\/11814948_38"},{"key":"e_1_3_2_1_65_1","volume-title":"On the Complexity of Derivation in Propositional Calculus","author":"Tseitin G. S.","unstructured":"G. S. Tseitin . 1983. On the Complexity of Derivation in Propositional Calculus . Springer Berlin Heidelberg , Berlin, Heidelberg , 466--483. G. S. Tseitin. 1983. On the Complexity of Derivation in Propositional Calculus. Springer Berlin Heidelberg, Berlin, Heidelberg, 466--483."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0156-2"}],"event":{"name":"SPLC 2019: 23rd International Systems and Software Product Line Conference","location":"Paris France","acronym":"SPLC 2019"},"container-title":["Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3336294.3336297","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3336294.3336297","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:07:24Z","timestamp":1750273644000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3336294.3336297"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,9]]},"references-count":64,"alternative-id":["10.1145\/3336294.3336297","10.1145\/3336294"],"URL":"https:\/\/doi.org\/10.1145\/3336294.3336297","relation":{},"subject":[],"published":{"date-parts":[[2019,9,9]]},"assertion":[{"value":"2019-09-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}