{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,4]],"date-time":"2026-03-04T02:30:23Z","timestamp":1772591423485,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":56,"publisher":"ACM","funder":[{"name":"German Research Foundation","award":["SCHA1635\/15-1 and LO 2198\/4-1"],"award-info":[{"award-number":["SCHA1635\/15-1 and LO 2198\/4-1"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,9]]},"DOI":"10.1145\/3744915.3748458","type":"proceedings-article","created":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T14:54:43Z","timestamp":1756565683000},"page":"4-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Automated Learning of Software Configuration Spaces is not Easy"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-9067-4624","authenticated-orcid":false,"given":"Mathis","family":"Wei\u00df","sequence":"first","affiliation":[{"name":"Department of Electrical Engineering and Computer Science, University of Siegen, Siegen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9718-6272","authenticated-orcid":false,"given":"Robert","family":"M\u00fcller","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering and Computer Science, University of Siegen, Siegen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2287-4433","authenticated-orcid":false,"given":"Lukas","family":"G\u00fcthing","sequence":"additional","affiliation":[{"name":"KASTEL - Institute of Information Security and Dependability, Karlsruhe Institute of Technology, Karlsruhe, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-8881-2379","authenticated-orcid":false,"given":"Tobias","family":"Vente","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering and Computer Science, University of Siegen, Siegen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8848-9434","authenticated-orcid":false,"given":"Lukas","family":"Wegmeth","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering and Computer Science, University of Siegen, Siegen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7153-761X","authenticated-orcid":false,"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[{"name":"KASTEL - Institute of Information Security and Dependability, Karlsruhe Institute of Technology, Karlsruhe, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8404-753X","authenticated-orcid":false,"given":"Malte","family":"Lochau","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering and Computer Science, University of Siegen, Siegen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,8,31]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.1609\/AAAI.V34I04.5705"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/2463664.2465220"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-94144-8_9"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/3035918.3064029"},{"key":"e_1_3_3_1_6_2","series-title":"CEUR Workshop Proceedings","first-page":"95","volume-title":"Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications","volume":"1252","author":"Al-Msie\u2019deen Ra\u2019Fat","year":"2014","unstructured":"Ra\u2019Fat Al-Msie\u2019deen, Marianne Huchard, Abdelhak Seriai, Christelle Urtado, and Sylvain Vauttier. 2014. Reverse Engineering Feature Models from Software Configurations using Formal Concept Analysis. In Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications (October 7-10, 2014) (CEUR Workshop Proceedings, Vol.\u00a01252),Karell Bertet andSebastian Rudolph (Eds.).CEUR-WS.org,Ko\u0161ice, Slovakia, 95\u2013106. https:\/\/ceur-ws.org\/Vol-1252\/cla2014_submission_13.pdf"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/1145\/2430502.2430513"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","unstructured":"Thorsten Berger Jan-Philipp Stegh\u00f6fer Tewfik Ziadi Jacques Robin and Jabier Martinez. 2020. The state of adoption and the challenges of systematic variability management in industry. Empir. Softw. Eng. 25 3 (2020) 1755\u20131797. 10.1007\/S10664-019-09787-6","DOI":"10.1007\/S10664-019-09787-6"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1609\/AAAI.V34I04.5733"},{"key":"e_1_3_3_1_11_2","unstructured":"Quentin Cappart Didier Ch\u00e9telat Elias\u00a0B. Khalil Andrea Lodi Christopher Morris and Petar Velickovic. 2023. Combinatorial Optimization and Reasoning with Graph Neural Networks. J. Mach. Learn. Res. 24 (2023) 130:1\u2013130:61. http:\/\/jmlr.org\/papers\/v24\/21-0449.html"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","unstructured":"Nitesh\u00a0V. Chawla Kevin\u00a0W. Bowyer Lawrence\u00a0O. Hall and W.\u00a0Philip Kegelmeyer. 2002. SMOTE: Synthetic Minority Over-sampling Technique. J. Artif. Intell. Res. 16 (2002) 321\u2013357. 10.1613\/JAIR.953","DOI":"10.1613\/JAIR.953"},{"key":"e_1_3_3_1_13_2","unstructured":"Michael Chui James Manyika Mehdi Miremadi Nicolaus Henke Rita Chung Pieter Nel and Sankalp Malhotra. 2018. Notes from the AI frontier: Insights from hundreds of use cases. McKinsey Global Institute 2 (2018) 267."},{"key":"e_1_3_3_1_14_2","unstructured":"Nick Erickson Jonas Mueller Alexander Shirkov Hang Zhang Pedro Larroy Mu Li and Alexander Smola. 2020. AutoGluon-Tabular: Robust and Accurate AutoML for Structured Data. arxiv:https:\/\/arXiv.org\/abs\/2003.06505\u00a0[stat.ML] https:\/\/arxiv.org\/abs\/2003.06505"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"crossref","unstructured":"Jerome\u00a0H. Friedman. 2001. Greedy Function Approximation: A Gradient Boosting Machine. The Annals of Statistics 29 5 (2001) 1189\u20131232. http:\/\/www.jstor.org\/stable\/2699986","DOI":"10.1214\/aos\/1013203451"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59830-2"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02172-5_57"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2017.44"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"publisher","unstructured":"Pieter Gijsbers Marcos L.\u00a0P. Bueno Stefan Coors Erin LeDell S\u00e9bastien Poirier Janek Thomas Bernd Bischl and Joaquin Vanschoren. 2022. AMLB: an AutoML Benchmark. CoRR 25 101 (2022) 1\u201365. 10.48550\/ARXIV.2207.12560 arXiv:https:\/\/arXiv.org\/abs\/2207.12560","DOI":"10.48550\/ARXIV.2207.12560"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31865-1_25"},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693089"},{"key":"e_1_3_3_1_22_2","series-title":"CEUR Workshop Proceedings","first-page":"207","volume-title":"Proceedings of the Sixteenth International Conference on Concept Lattices and Their Applications (CLA 2022)","volume":"3308","author":"Gutierrez Alain","year":"2022","unstructured":"Alain Gutierrez, Marianne Huchard, and Pierre Martin. 2022. FCA4J: A Java Library for Relational Concept Analysis and Formal Concept Analysis. In Proceedings of the Sixteenth International Conference on Concept Lattices and Their Applications (CLA 2022) (June 20-22, 2022) (CEUR Workshop Proceedings, Vol.\u00a03308),Pablo Cordero andOndrej Kr\u00eddlo (Eds.).CEUR-WS.org,Tallinn, Estonia, 207\u2013212. https:\/\/ceur-ws.org\/Vol-3308\/Paper17.pdf"},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"publisher","unstructured":"Sean\u00a0B. Holden. 2021. Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT. Found. Trends Mach. Learn. 14 6 (2021) 807\u2013989. 10.1561\/2200000081","DOI":"10.1561\/2200000081"},{"key":"e_1_3_3_1_24_2","unstructured":"Noah Hollmann Samuel M\u00fcller Katharina Eggensperger and Frank Hutter. 2023. TabPFN: A Transformer That Solves Small Tabular Classification Problems in a Second. arxiv:https:\/\/arXiv.org\/abs\/2207.01848\u00a0[cs.LG] https:\/\/arxiv.org\/abs\/2207.01848"},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-05318-5"},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-94144-8_26"},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"publisher","DOI":"10.21236\/ADA235785"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106252"},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-94144-8_6"},{"key":"e_1_3_3_1_30_2","volume-title":"Delta-oriented Software Product Line Test Models - The Body Comfort System Case Study","author":"Lity Sascha","year":"2013","unstructured":"Sascha Lity, Remo Lachmann, Malte Lochau, and Ina Schaefer. 2013. Delta-oriented Software Product Line Test Models - The Body Comfort System Case Study. Technical Report. TU Braunschweig. https:\/\/www.isf.cs.tu-bs.de\/cms\/team\/lity\/bcs_tubs_tech_rep_V1_4.pdf"},{"key":"e_1_3_3_1_31_2","unstructured":"Chris\u00a0J. Maddison Andriy Mnih and Yee\u00a0Whye Teh. 2017. The Concrete Distribution: A Continuous Relaxation of Discrete Random Variables. arxiv:https:\/\/arXiv.org\/abs\/1611.00712\u00a0[cs.LG] https:\/\/arxiv.org\/abs\/1611.00712"},{"key":"e_1_3_3_1_32_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.44"},{"key":"e_1_3_3_1_33_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-C.2017.15"},{"key":"e_1_3_3_1_34_2","doi-asserted-by":"publisher","unstructured":"Sarah Nadi Thorsten Berger Christian K\u00e4stner and Krzysztof Czarnecki. 2015. Where Do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study. IEEE Trans. Software Eng. 41 8 (2015) 820\u2013841. 10.1109\/TSE.2015.2415793","DOI":"10.1109\/TSE.2015.2415793"},{"key":"e_1_3_3_1_35_2","doi-asserted-by":"publisher","unstructured":"Vivek Nair Tim Menzies Norbert Siegmund and Sven Apel. 2018. Faster discovery of faster system configurations with spectral learning. Autom. Softw. Eng. 25 2 (2018) 247\u2013277. 10.1007\/S10515-017-0225-2","DOI":"10.1007\/S10515-017-0225-2"},{"key":"e_1_3_3_1_36_2","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106273"},{"key":"e_1_3_3_1_37_2","unstructured":"Nikolaos Papakonstantinou. 2012. System Design and Risk Assessment for Safety Critical Control Software Product Lines. Ph.\u00a0D. Dissertation.Aalto University Finland."},{"key":"e_1_3_3_1_38_2","doi-asserted-by":"publisher","unstructured":"Juliana\u00a0Alves Pereira Mathieu Acher Hugo Martin Jean-Marc J\u00e9z\u00e9quel Goetz Botterweck and Anthony Ventresque. 2021. Learning software configuration spaces: A systematic literature review. J. Syst. Softw. 182 (2021) 111044. 10.1016\/J.JSS.2021.111044","DOI":"10.1016\/J.JSS.2021.111044"},{"key":"e_1_3_3_1_39_2","doi-asserted-by":"publisher","unstructured":"Andrew Putnam Adrian\u00a0M. Caulfield Eric\u00a0S. Chung Derek Chiou Kypros Constantinides John Demme Hadi Esmaeilzadeh Jeremy Fowers Gopi\u00a0Prashanth Gopal Jan Gray Michael Haselman Scott Hauck Stephen Heil Amir Hormati Joo-Young Kim Sitaram Lanka James Larus Eric Peterson Simon Pope Aaron Smith Jason Thong Phillip\u00a0Yi Xiao and Doug Burger. 2015. A Reconfigurable Fabric for Accelerating Large-Scale Datacenter Services. IEEE Micro 35 3 (2015) 10\u201322. 10.1109\/MM.2015.42","DOI":"10.1109\/MM.2015.42"},{"key":"e_1_3_3_1_40_2","doi-asserted-by":"publisher","DOI":"10.1145\/2019136.2019141"},{"key":"e_1_3_3_1_41_2","doi-asserted-by":"publisher","DOI":"10.1145\/2110147.2110155"},{"key":"e_1_3_3_1_42_2","unstructured":"Daniel Selsam Matthew Lamm Benedikt B\u00fcnz Percy Liang Leonardo de Moura and David\u00a0L. Dill. 2019. Learning a SAT Solver from Single-Bit Supervision. arxiv:https:\/\/arXiv.org\/abs\/1802.03685\u00a0[cs.AI] https:\/\/arxiv.org\/abs\/1802.03685"},{"key":"e_1_3_3_1_43_2","unstructured":"Steven She and Thorsten Berger. 2022. Formal Semantics of the Kconfig Language. arxiv:https:\/\/arXiv.org\/abs\/2209.04916\u00a0[cs.SE] https:\/\/arxiv.org\/abs\/2209.04916"},{"key":"e_1_3_3_1_44_2","series-title":"ICB-Research Report","first-page":"45","volume-title":"Fourth International Workshop on Variability Modelling of Software-Intensive Systems, Linz, Austria, January 27-29, 2010. Proceedings","volume":"37","author":"She Steven","year":"2010","unstructured":"Steven She, Rafael Lotufo, Thorsten Berger, Andrzej Wasowski, and Krzysztof Czarnecki. 2010. The Variability Model of The Linux Kernel. In Fourth International Workshop on Variability Modelling of Software-Intensive Systems, Linz, Austria, January 27-29, 2010. Proceedings(ICB-Research Report, Vol.\u00a037),David Benavides,Don\u00a0S. Batory, andPaul Gr\u00fcnbacher (Eds.).Universit\u00e4t Duisburg-Essen,Duisburg and Essen, Germany, 45\u201351. http:\/\/www.vamos-workshop.net\/proceedings\/VaMoS_2010_Proceedings.pdf"},{"key":"e_1_3_3_1_45_2","series-title":"ICB-Research Report","first-page":"45","volume-title":"Fourth International Workshop on Variability Modelling of Software-Intensive Systems, Linz, Austria, January 27-29, 2010. Proceedings","volume":"37","author":"She Steven","year":"2010","unstructured":"Steven She, Rafael Lotufo, Thorsten Berger, Andrzej Wasowski, and Krzysztof Czarnecki. 2010. The Variability Model of The Linux Kernel. In Fourth International Workshop on Variability Modelling of Software-Intensive Systems, Linz, Austria, January 27-29, 2010. Proceedings(ICB-Research Report, Vol.\u00a037),David Benavides,Don\u00a0S. Batory, andPaul Gr\u00fcnbacher (Eds.).Universit\u00e4t Duisburg-Essen,Duisburg and Essen, Germany, 45\u201351. http:\/\/www.vamos-workshop.net\/proceedings\/VaMoS_2010_Proceedings.pdf"},{"key":"e_1_3_3_1_46_2","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985856"},{"key":"e_1_3_3_1_47_2","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.11652925"},{"key":"e_1_3_3_1_48_2","doi-asserted-by":"publisher","DOI":"10.1145\/3646548.3672590"},{"key":"e_1_3_3_1_49_2","doi-asserted-by":"publisher","unstructured":"Chico Sundermann Tobias He\u00df Michael Nieke Paul\u00a0Maximilian Bittner Jeffrey\u00a0M. Young Thomas Th\u00fcm and Ina Schaefer. 2023. Evaluating state-of-the-art # SAT solvers on industrial configuration spaces. Empir. Softw. Eng. 28 2 (2023) 29. 10.1007\/S10664-022-10265-9","DOI":"10.1007\/S10664-022-10265-9"},{"key":"e_1_3_3_1_50_2","doi-asserted-by":"publisher","unstructured":"Paul Temple Mathieu Acher Jean-Marc J\u00e9z\u00e9quel and Olivier Barais. 2017. Learning Contextual-Variability Models. IEEE Softw. 34 6 (2017) 64\u201370. 10.1109\/MS.2017.4121211","DOI":"10.1109\/MS.2017.4121211"},{"key":"e_1_3_3_1_51_2","doi-asserted-by":"publisher","DOI":"10.1145\/2934466.2934472"},{"key":"e_1_3_3_1_52_2","first-page":"XVIII","volume-title":"Proceedings of the International Software Product Line Conference","author":"Th\u00fcm Thomas","year":"2021","unstructured":"Thomas Th\u00fcm. 2021. Keynote: Where Are My Constraints and What Do They Constrain?. In Proceedings of the International Software Product Line Conference (University of Leicester).Association for Computing Machinery,New York, XVIII."},{"key":"e_1_3_3_1_53_2","doi-asserted-by":"publisher","unstructured":"Mathis Wei\u00df Robert M\u00fcller Lukas G\u00fcthing Tobias Vente Lukas Wegmeth Ina Schaefer and Malte Lochau. 2025. Automated Learning of Software Configuration Spaces is not Easy - Artifact. 10.6084\/m9.figshare.25992979","DOI":"10.6084\/m9.figshare.25992979"},{"key":"e_1_3_3_1_54_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01815-2_23"},{"key":"e_1_3_3_1_55_2","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786852"},{"key":"e_1_3_3_1_56_2","doi-asserted-by":"publisher","unstructured":"Cemal Yilmaz Myra\u00a0B. Cohen and Adam\u00a0A. Porter. 2006. Covering Arrays for Efficient Fault Characterization in Complex Configuration Spaces. IEEE Trans. Software Eng. 32 1 (2006) 20\u201334. 10.1109\/TSE.2006.8","DOI":"10.1109\/TSE.2006.8"},{"key":"e_1_3_3_1_57_2","doi-asserted-by":"publisher","unstructured":"Ming Zheng Fei Wang Xiaowen Hu Yuhao Miao Huo Cao and Mingjing Tang. 2022. A Method for Analyzing the Performance Impact of Imbalanced Binary Data on Machine Learning Models. Axioms 11 11 (2022) 607. 10.3390\/AXIOMS11110607","DOI":"10.3390\/AXIOMS11110607"}],"event":{"name":"SPLC-A '25: 29th ACM International Systems and Software Product Line Conference - Volume A","location":"A Coru\u00f1a Spain","acronym":"SPLC-A '25","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 29th ACM International Systems and Software Product Line Conference - Volume A"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3744915.3748458","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,2]],"date-time":"2025-09-02T16:07:35Z","timestamp":1756829255000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3744915.3748458"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,31]]},"references-count":56,"alternative-id":["10.1145\/3744915.3748458","10.1145\/3744915"],"URL":"https:\/\/doi.org\/10.1145\/3744915.3748458","relation":{},"subject":[],"published":{"date-parts":[[2025,8,31]]},"assertion":[{"value":"2025-08-31","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}