{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,26]],"date-time":"2026-07-26T01:31:30Z","timestamp":1785029490715,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,10]],"date-time":"2022-10-10T00:00:00Z","timestamp":1665360000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Universidad Nacional De Educaci\u00f3n a Distancia","award":["2021V\/PUNED\/008 and 2022V\/PUNED\/007"],"award-info":[{"award-number":["2021V\/PUNED\/008 and 2022V\/PUNED\/007"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,10]]},"DOI":"10.1145\/3551349.3556899","type":"proceedings-article","created":{"date-parts":[[2023,1,5]],"date-time":"2023-01-05T20:43:54Z","timestamp":1672951434000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel"],"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"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7131-0482","authenticated-orcid":false,"given":"Ruben","family":"Heradio","sequence":"additional","affiliation":[{"name":"Universidad Nacional de Educaci\u00f3n a Distancia (UNED), Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9791-6442","authenticated-orcid":false,"given":"Christoph","family":"Mayr-Dorn","sequence":"additional","affiliation":[{"name":"Johannes Kepler University, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3128-5427","authenticated-orcid":false,"given":"Alexander","family":"Egyed","sequence":"additional","affiliation":[{"name":"Johannes Kepler University, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,1,5]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Fast Sampling of Perfectly Uniform Satisfying Assignments. In 21st International Conference on Theory and Applications of Satisfiability Testing (SAT)","author":"Achlioptas Dimitris","year":"2018","unstructured":"Dimitris Achlioptas, Zayd\u00a0S. Hammoudeh, and Panos Theodoropoulos. 2018. Fast Sampling of Perfectly Uniform Satisfying Assignments. In 21st International Conference on Theory and Applications of Satisfiability Testing (SAT). Oxford, UK, 135\u2013147."},{"key":"e_1_3_2_1_2_1","volume-title":"Three Cases of Feature-Based Variability Modeling in Industry. In Model-Driven Engineering Languages and Systems International Conference (MODELS)","author":"Berger Thorsten","year":"2014","unstructured":"Thorsten Berger, Divya Nair, Ralf Rublack, Joanne\u00a0M. Atlee, Krzysztof Czarnecki, and Andrzej Wasowski. 2014. Three Cases of Feature-Based Variability Modeling in Industry. In Model-Driven Engineering Languages and Systems International Conference (MODELS). Valencia, Spain, 302\u2013319."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.34"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-019-09787-6"},{"key":"e_1_3_2_1_5_1","volume-title":"Handbook of Satisfiability","author":"Biere Armin","unstructured":"Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh. 2009. Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications. IOS Press."},{"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","volume-title":"On Parallel Scalable Uniform SAT Witness Generation. In 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)","author":"Chakraborty Supratik","year":"2015","unstructured":"Supratik Chakraborty, Daniel\u00a0J. Fremont, Kuldeep\u00a0S. Meel, Sanjit\u00a0A. Seshia, and Moshe\u00a0Y. Vardi. 2015. On Parallel Scalable Uniform SAT Witness Generation. In 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). London, UK, 304\u2013319."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_40"},{"key":"e_1_3_2_1_9_1","volume-title":"Balancing Scalability and Uniformity in SAT Witness Generator. In 51st Annual Design Automation Conference (DAC)","author":"Chakraborty Supratik","year":"2014","unstructured":"Supratik Chakraborty, Kuldeep\u00a0S. Meel, and Moshe\u00a0Y. Vardi. 2014. Balancing Scalability and Uniformity in SAT Witness Generator. In 51st Annual Design Automation Conference (DAC). San Francisco, CA, USA, 1\u20136."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"e_1_3_2_1_11_1","volume-title":"Efficient Sampling of SAT Solutions for Testing. In 40th International Conference on Software Engineering (ICSE)","author":"Dutra Rafael","year":"2018","unstructured":"Rafael Dutra, Kevin Laeufer, Jonathan Bachrach, and Koushik Sen. 2018. Efficient Sampling of SAT Solutions for Testing. In 40th International Conference on Software Engineering (ICSE). Gothenburg, Sweden, 549\u2013559."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3336313"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.6028\/jres.113.022"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-018-9635-4"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-021-10102-5"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3382025.3414951"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3461001.3471146"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-015-9204-z"},{"key":"e_1_3_2_1_19_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. Technical Report CMU\/SEI-90-TR-021. Software Engineering Institute.","DOI":"10.21236\/ADA235785"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2007.4397275"},{"key":"e_1_3_2_1_21_1","volume-title":"The Art of Computer Programming","author":"Knuth E.","unstructured":"Donald\u00a0E. Knuth. 2009. The Art of Computer Programming, Volume 4, Fascicle 1: Bitwise Tricks & Techniques; Binary Decision Diagrams. Addison-Wesley Professional."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-018-0662-9"},{"key":"e_1_3_2_1_23_1","volume-title":"Enabling Efficient Automated Configuration Generation and Management. In 23rd International Systems and Software Product Line Conference (SPLC)","author":"Krieter Sebastian","year":"2019","unstructured":"Sebastian Krieter. 2019. Enabling Efficient Automated Configuration Generation and Management. In 23rd International Systems and Software Product Line Conference (SPLC). Paris, France, 215\u2013221."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377024.3377042"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1405567.1405569"},{"key":"e_1_3_2_1_26_1","volume-title":"IPOG: A General Strategy for T-Way Software Testing. In 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS\u201907)","author":"Lei Yu","year":"2007","unstructured":"Yu Lei, Raghu Kacker, D.\u00a0Richard Kuhn, Vadim Okun, and James Lawrence. 2007. IPOG: A General Strategy for T-Way Software Testing. In 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS\u201907). 549\u2013556."},{"key":"e_1_3_2_1_27_1","volume-title":"Uniform Random Sampling Product Configurations of Feature Models That Have Numerical Features. In 23rd International Systems and Software Product Line Conference (SPLC)","author":"Mu\u00f1oz Daniel-Jesus","year":"2019","unstructured":"Daniel-Jesus Mu\u00f1oz, Jeho Oh, M\u00f3nica Pinto, Lidia Fuentes, and Don Batory. 2019. Uniform Random Sampling Product Configurations of Feature Models That Have Numerical Features. In 23rd International Systems and Software Product Line Conference (SPLC). Paris, France, 289\u2013301."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106273"},{"key":"e_1_3_2_1_29_1","unstructured":"Jeho Oh Don\u00a0S. Batory Marijn J.\u00a0H. Heule Margaret Myers and Paul Gazzillo. 2019. Uniform Sampling from Kconfig Feature Models. Technical Report TR-19-02. Department of Computer Science. The University of Texas at Austin."},{"key":"e_1_3_2_1_30_1","unstructured":"Jeho Oh Paul Gazillo Don Batory Marijn J.\u00a0H. Huele and Margaret Meyers. 2020. Scalable Uniform Sampling for Real-World Software Product Lines. Technical Report TR-20-01. University of Texas at Austin."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3342359"},{"key":"e_1_3_2_1_32_1","unstructured":"Jeho Oh Margaret Myers and Don Batory. 2016. Finding Product Line Configurations with High Performance by Random Sampling. Technical Report TR-16-22. Department of Computer Science University of Texas at Austin."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3336322"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2019.00032"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"Subhajit Roy Awanish Pandey Brendan Dolan-Gavitt and Yu Hu. 2018. Bug Synthesis: Challenging Bug-Finding Tools with Deep Faults. In 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE). Lake Buena Vista Florida USA 224\u2013234.","DOI":"10.1145\/3236024.3236084"},{"key":"e_1_3_2_1_36_1","volume-title":"22nd International 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 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR). Awassa, Ethiopia, 620\u2013636."},{"key":"e_1_3_2_1_37_1","volume-title":"Performance-influence Models for Highly Configurable Systems. In 10th Joint Meeting on Foundations of Software Engineering (ESEC\/FSE)","author":"Siegmund Norbert","year":"2015","unstructured":"Norbert Siegmund, Alexander Grebhahn, Sven Apel, and Christian K\u00e4stner. 2015. Performance-influence Models for Highly Configurable Systems. In 10th Joint Meeting on Foundations of Software Engineering (ESEC\/FSE). Bergamo, Italy, 284\u2013294."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377024.3377025"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3382025.3414943"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/11814948_38"},{"key":"e_1_3_2_1_41_1","volume-title":"On the Complexity of Derivation in Propositional Calculus","author":"Tseitin S.","unstructured":"Gregory\u00a0S. Tseitin. 1983. On the Complexity of Derivation in Propositional Calculus. Springer Berlin Heidelberg, 466\u2013483."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"crossref","unstructured":"Mahsa Varshosaz Mustafa Al-Hajjaji Thomas Th\u00fcm Tobias Runge Mohammad\u00a0Reza Mousavi and Ina Schaefer. 2018. A Classification of Product Sampling for Software Product Lines. In 22md International Systems and Software Product Line Conference (SPLC). Gothenburg Sweden 1\u201313.","DOI":"10.1145\/3233027.3233035"},{"key":"e_1_3_2_1_43_1","volume-title":"Simplifying Boolean Constraint Solving for Random Simulation-Vector Generation. In IEEE\/ACM International Conference on Computer Aided Design (ICCAD)","author":"Yuan Jun","year":"2002","unstructured":"Jun Yuan, Ken Albin, Adnan Aziz, and Carl Pixley. 2002. Simplifying Boolean Constraint Solving for Random Simulation-Vector Generation. In IEEE\/ACM International Conference on Computer Aided Design (ICCAD). San Jose, CA, USA, 123\u2013127."},{"key":"e_1_3_2_1_44_1","volume-title":"Simplifying Constraint Solving in Random Simulation Generation. In 11th IEEE\/ACM International Workshop on Logic & Synthesis (IWLS)","author":"Yuan Jun","year":"2002","unstructured":"Jun Yuan, Ken Albin, Adnan Aziz, and Carl Pixley. 2002. Simplifying Constraint Solving in Random Simulation Generation. In 11th IEEE\/ACM International Workshop on Logic & Synthesis (IWLS). New Orleans, Louisiana, USA, 185\u2013190."},{"key":"e_1_3_2_1_45_1","volume-title":"Modeling Design Constraints and Biasing in Simulation Using BDDs. In International Conference on Computer-Aided Design (ICCAD)","author":"Yuan Jun","year":"1999","unstructured":"Jun Yuan, Kurt Shultz, and Carl Pixley. 1999. Modeling Design Constraints and Biasing in Simulation Using BDDs. In International Conference on Computer-Aided Design (ICCAD). San Jose, CA, USA, 584\u2013589."}],"event":{"name":"ASE '22: 37th IEEE\/ACM International Conference on Automated Software Engineering","location":"Rochester MI USA","acronym":"ASE '22"},"container-title":["Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551349.3556899","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3551349.3556899","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T07:59:09Z","timestamp":1755849549000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551349.3556899"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,10]]},"references-count":45,"alternative-id":["10.1145\/3551349.3556899","10.1145\/3551349"],"URL":"https:\/\/doi.org\/10.1145\/3551349.3556899","relation":{},"subject":[],"published":{"date-parts":[[2022,10,10]]},"assertion":[{"value":"2023-01-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}