{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,24]],"date-time":"2025-12-24T12:25:46Z","timestamp":1766579146412,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":52,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,2]],"date-time":"2024-09-02T00:00:00Z","timestamp":1725235200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"FEDER\/Spanish Ministry of Science, Innovation and Universities","award":["PID2022-138486OB-I00"],"award-info":[{"award-number":["PID2022-138486OB-I00"]}]},{"name":"Universidad Nacional de Educaci\u00f3n a Distancia (UNED)","award":["2023-PUNED-0012"],"award-info":[{"award-number":["2023-PUNED-0012"]}]},{"name":"FEDER\/Spanish Ministry of Science, Innovation and Universities","award":["PID2021-122812OB-I00"],"award-info":[{"award-number":["PID2021-122812OB-I00"]}]},{"name":"FEDER\/Spanish Ministry of Science, Innovation and Universities","award":["PID2022-142043NB-I0"],"award-info":[{"award-number":["PID2022-142043NB-I0"]}]},{"name":"Spanish Ministry of Science, Innovation and Universities","award":["RED2022-134337-T"],"award-info":[{"award-number":["RED2022-134337-T"]}]},{"name":"Junta de Andaluc\u00eda\/State Research Agency\/CDTI","award":["IDI-20230256"],"award-info":[{"award-number":["IDI-20230256"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,2]]},"DOI":"10.1145\/3646548.3672586","type":"proceedings-article","created":{"date-parts":[[2024,8,9]],"date-time":"2024-08-09T12:19:07Z","timestamp":1723205947000},"page":"24-35","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3758-0195","authenticated-orcid":false,"given":"David","family":"Fernandez-Amoros","sequence":"first","affiliation":[{"name":"Universidad Nacional de Educaci\u00f3n a Distancia (UNED), Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7131-0482","authenticated-orcid":false,"given":"Ruben","family":"Heradio","sequence":"additional","affiliation":[{"name":"Ingenieria de Software y Sistemas Informaticos, Universidad Nacional de Educaci\u00f3n a Distancia (UNED), Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7771-0575","authenticated-orcid":false,"given":"Jose Miguel","family":"Horcas Aguilera","sequence":"additional","affiliation":[{"name":"Computer Science and Programming Languages, University of M\u00e1laga, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9293-9784","authenticated-orcid":false,"given":"Jos\u00e9 A.","family":"Galindo","sequence":"additional","affiliation":[{"name":"Lenguajes y sistemas inform\u00e1ticos, University of Seville, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8449-3273","authenticated-orcid":false,"given":"David","family":"Benavides","sequence":"additional","affiliation":[{"name":"LSI, University of Seville, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5677-7156","authenticated-orcid":false,"given":"Lidia","family":"Fuentes","sequence":"additional","affiliation":[{"name":"University of M\u00e1laga, Spain"}]}],"member":"320","published-online":{"date-parts":[[2024,9,2]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3546932.3546997"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-94144-8_9"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/Q-SE59154.2023.00012"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.2139\/ssrn.4764657"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.34"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_25"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.4324\/9780203771587"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1002\/047174882X"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362544"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180248"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814204.2814222"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106195.3106208"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3336313"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3556899"},{"volume-title":"Discovering Statistics Using R","author":"Field Andy","key":"e_1_3_2_1_16_1","unstructured":"Andy Field, Jeremy Miles, and Zoe Field. 2012. Discovering Statistics Using R. SAGE Publications Ltd."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-SEIP52600.2021.00018"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3579028.3609008"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3634713.3634719"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-021-10102-5"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Kyo\u00a0C. Kang Sholom\u00a0G. Cohen James\u00a0A. Hess William\u00a0E. Novak and A.\u00a0Spencer Peterson. 1990. Feature-oriented domain analysis (FODA) feasibility study (CMU\/SEI-90-TR-021). Technical Report. Software Engineering Institute. https:\/\/insights.sei.cmu.edu\/library\/feature-oriented-domain-analysis-foda-feasibility-study\/","DOI":"10.21236\/ADA235785"},{"key":"e_1_3_2_1_22_1","volume-title":"Statistical Modeling: A Fresh Approach. Project Mosaic","author":"Kaplan T.","year":"2011","unstructured":"Daniel\u00a0T. Kaplan. 2011. Statistical Modeling: A Fresh Approach. Project Mosaic. 2nd Edition.","edition":"2"},{"key":"e_1_3_2_1_23_1","unstructured":"Christian K\u00e4stner. 2017. Differential Testing for Variational Analyses: Experience from Developing KConfigReader. Technical Report. Carnegie Mellon University. https:\/\/arxiv.org\/abs\/1706.09357"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3461001.3471155"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3116768"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61443-4"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2866614.2866615"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338967"},{"key":"e_1_3_2_1_29_1","unstructured":"Johann Mortara. 2023. Mastering variability in the wild : on object-orientedvariability implementations and variability-aware buildsystems. Ph.\u00a0D. Dissertation. Universit\u00e9 C\u00f4te d\u2019Azur . https:\/\/theses.hal.science\/tel-03988118"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3461001.3471151"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3336297"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568283"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3611663"},{"key":"e_1_3_2_1_34_1","unstructured":"Jeho Oh Don Batory Marijn\u00a0J.H. Heule Margaret Myers and Paul Gazzillo. 2019. Uniform Sampling from Kcon\ufb01g Feature Models. Technical Report. The University of Texas at Austin Department of Computer Science. https:\/\/apps.cs.utexas.edu\/apps\/sites\/default\/files\/tech_reports\/2018Kconfig_0.pdf"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3342359"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468578"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2021.111044"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2019.00032"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510455.3512792"},{"key":"e_1_3_2_1_40_1","volume-title":"Int. Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) (Awassa, Ethiopia). 620\u2013636","author":"Sharma Shubham","year":"2018","unstructured":"Shubham Sharma, Rahul Gupta, Subhajit Roy, and Kuldeep\u00a0S. Meel. 2018. Knowledge Compilation meets Uniform Sampling. In Int. Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) (Awassa, Ethiopia). 620\u2013636."},{"key":"e_1_3_2_1_41_1","unstructured":"Steven She and Thorsten Berger. 2010. Formal Semantics of the Kconfig Language. Technical Report. University of Waterloo. https:\/\/doi.org\/10.48550\/arXiv.2209.04916"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2011.20"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2010.26"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868294.1868300"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53288-8_22"},{"key":"e_1_3_2_1_46_1","unstructured":"Reinhard Tartler. 2013. Mastering Variability Challenges in Linux and RelatedHighly-Configurable System Software. Ph.\u00a0D. Dissertation. Universit\u00e4t Erlangen-N\u00fcrnberg. https:\/\/open.fau.de\/items\/ac4a8eda-d3aa-4a5e-b087-c2be66dcc9f8"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0225-2"},{"key":"e_1_3_2_1_48_1","volume-title":"Tidy, Transform, Visualize, and Model Data. O\u2019Reilly Media","author":"Wickham Hadley","unstructured":"Hadley Wickham, Mine Cetinkaya-Rundel, and Garrett Grolemund. 2023. R for Data Science: Import, Tidy, Transform, Visualize, and Model Data. O\u2019Reilly Media, 2nd Edition.","edition":"2"},{"key":"e_1_3_2_1_49_1","unstructured":"Claus\u00a0O. Wilke. 2019. Fundamentals of Data Visualization: A Primer on Making Informative and Compelling Figures. O\u2019Reilly Media."},{"volume-title":"The Kconfig Variability Framework as a Feature Model. Master\u2019s thesis","author":"Yaman Kaan\u00a0Berk","key":"e_1_3_2_1_50_1","unstructured":"Kaan\u00a0Berk Yaman. 2023. The Kconfig Variability Framework as a Feature Model. Master\u2019s thesis. Institute of Information Security and Dependability. Department of Informatics. https:\/\/publikationen.bibliothek.kit.edu\/1000162110\/151337644"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3634713.3634731"},{"key":"e_1_3_2_1_52_1","volume-title":"ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE) (Porto de Galinhas, Brazil). 1\u201323","author":"Yildiran Necip\u00a0Fazil","year":"2024","unstructured":"Necip\u00a0Fazil Yildiran, Jeho Oh, Julia Lawall, and Paul Gazzillo. 2024. Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times (preprint). In ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE) (Porto de Galinhas, Brazil). 1\u201323. https:\/\/www.paulgazzillo.com\/papers\/fse24.pdf"}],"event":{"name":"SPLC '24: 28th ACM International Systems and Software Product Line Conference","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Dommeldange Luxembourg","acronym":"SPLC '24"},"container-title":["28th ACM International Systems and Software Product Line Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3646548.3672586","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3646548.3672586","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T16:56:11Z","timestamp":1755881771000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3646548.3672586"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,2]]},"references-count":52,"alternative-id":["10.1145\/3646548.3672586","10.1145\/3646548"],"URL":"https:\/\/doi.org\/10.1145\/3646548.3672586","relation":{},"subject":[],"published":{"date-parts":[[2024,9,2]]},"assertion":[{"value":"2024-09-02","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}