{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,12]],"date-time":"2025-12-12T13:50:30Z","timestamp":1765547430225,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":61,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,2,4]],"date-time":"2025-02-04T00:00:00Z","timestamp":1738627200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,2,4]]},"DOI":"10.1145\/3715340.3715445","type":"proceedings-article","created":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T17:04:13Z","timestamp":1748451853000},"page":"91-96","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["A Demo of ConfigFix: Semantic Abstraction of Kconfig, SAT-based Configuration, and DIMACS Export"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-5564-9253","authenticated-orcid":false,"given":"Jude","family":"Gyimah","sequence":"first","affiliation":[{"name":"Ruhr University Bochum, Bochum, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-3973-4641","authenticated-orcid":false,"given":"Jan","family":"Sollmann","sequence":"additional","affiliation":[{"name":"Ruhr University Bochum, Bochum, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-6281-4308","authenticated-orcid":false,"given":"Ole","family":"Schuerks","sequence":"additional","affiliation":[{"name":"Ruhr University Bochum, Bochum, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-0586-6239","authenticated-orcid":false,"given":"Patrick","family":"Franz","sequence":"additional","affiliation":[{"name":"Chalmers | University of Gothenburg, Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3870-5167","authenticated-orcid":false,"given":"Thorsten","family":"Berger","sequence":"additional","affiliation":[{"name":"Ruhr University Bochum and Chalmers | University of Gothenburg, Bochum, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,5,28]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642990"},{"key":"e_1_3_3_2_3_2","volume-title":"Learning From Thousands of Build Failures of Linux Kernel Configurations","author":"Acher Mathieu","year":"2019","unstructured":"Mathieu Acher, Hugo Martin, Juliana Alves\u00a0Pereira, Arnaud Blouin, Djamel Eddine\u00a0Khelladi, and Jean-Marc J\u00e9z\u00e9quel. 2019. Learning From Thousands of Build Failures of Linux Kernel Configurations. Technical Report. Inria; IRISA. https:\/\/inria.hal.science\/hal-02147012"},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-23669-3","volume-title":"Domain-Specific Languages: Effective Modeling, Automation, and Reuse","author":"Andrzej W\u0105sowski","year":"2023","unstructured":"W\u0105sowski Andrzej and Berger Thorsten. 2023. Domain-Specific Languages: Effective Modeling, Automation, and Reuse. Springer International Publishing."},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"crossref","unstructured":"Giuliano Antoniol Umberto Villano Ettore Merlo and Massimiliano Di\u00a0Penta. 2002. Analyzing cloning evolution in the linux kernel. Information and Software Technology 44 13 (2002) 755\u2013765.","DOI":"10.1016\/S0950-5849(02)00123-4"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/2791060.2791108"},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.5555\/1885639.1885698"},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"crossref","unstructured":"Thorsten Berger Steven She Rafael Lotufo Andrzej Wasowski and Krzysztof Czarnecki. 2013. A Study of Variability Models and Languages in the Systems Software Domain. IEEE Trans. Softw. Eng. 39 12 (Dec. 2013) 1611\u20131640.","DOI":"10.1109\/TSE.2013.34"},{"key":"e_1_3_3_2_9_2","unstructured":"Swapnil Bhartiya. 2016. Linux is the largest software development project on the planet: Greg Kroah-Hartman. urlhttps:\/\/www.cio.com\/article\/3069529\/linux-is-the-largest-software-development-project-on-the-planet-greg-kroah-hartman.html. Accessed: 2020-01-06."},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/2814204.2814222"},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3336313"},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-SEIP52600.2021.00018"},{"key":"e_1_3_3_2_13_2","unstructured":"Patrick Franz Ibrahim Fayaz Thorsten Berger Sarah Nadi Evgeny Groshev Lukas G\u00fcnther Dorina Sfirnaciuc Jude Gyimah Jan Sollman and Ole Sch\u00fcrks. 2020. ConfigFix. https:\/\/bitbucket.org\/easelab\/configfix."},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"crossref","unstructured":"Jos\u00e9\u00a0A Galindo David Benavides Pablo Trinidad Antonio-Manuel Guti\u00e9rrez-Fern\u00e1ndez and Antonio Ruiz-Cort\u00e9s. 2019. Automated analysis of feature models: Quo vadis? Computing 101 (2019) 387\u2013433.","DOI":"10.1007\/s00607-018-0646-1"},{"key":"e_1_3_3_2_15_2","unstructured":"Evgeny Groshev. 2020. A testing technique for conflict-resolution facilitiesin software configurators. Master\u2019s thesis. University Of Gothenburg and Chalmers University Of Technology."},{"key":"e_1_3_3_2_16_2","volume-title":"CONFWS","author":"Hubaux Arnaud","year":"2012","unstructured":"Arnaud Hubaux, Dietmar Jannach, Conrad Drescher, Leonardo Murta, Tomi M\u00e4nnist\u00f6, Krzysztof Czarnecki, Patrick Heymans, Tien Nguyen, and Markus Zanker. 2012. Unifying software and product configuration: a research roadmap. In CONFWS."},{"key":"e_1_3_3_2_17_2","volume-title":"ConfWS","author":"Hubaux A.","year":"2012","unstructured":"A. Hubaux, D. Jannach, C. Drescher, L. Murta, T. M\u00e4nnist\u00f6, K. Czarnecki, P. Heymans, T. Nguyen, and M. Zanker. 2012. Unifying Software and Product Configuration: A Research Roadmap. In ConfWS."},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/2110147.2110164"},{"key":"e_1_3_3_2_19_2","volume-title":"Characterizing software maintenance categories using the Linux kernel","author":"Israeli Ayelet","year":"2009","unstructured":"Ayelet Israeli and Dror\u00a0G Feitelson. 2009. Characterizing software maintenance categories using the Linux kernel. Technical Report 2009\u201310. School of Computer Science and Engineering, The Hebrew University of Jerusalem."},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"crossref","unstructured":"Ayelet Israeli and Dror\u00a0G Feitelson. 2010. The Linux kernel as a case study in software evolution. Journal of Systems and Software 83 3 (2010) 485\u2013501.","DOI":"10.1016\/j.jss.2009.09.042"},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1109\/MSR.2013.6624016"},{"key":"e_1_3_3_2_22_2","unstructured":"Christian K\u00e4stner. 2014. KConfig Reader. https:\/\/github.com\/ckaestne\/kconfigreader."},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048128"},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070568"},{"key":"e_1_3_3_2_25_2","unstructured":"Kernelnewbies. 2017. Linux kconfig SAT integration. https:\/\/kernelnewbies.org\/KernelProjects\/kconfig-sat. Accessed: 2019-12-05."},{"key":"e_1_3_3_2_26_2","doi-asserted-by":"publisher","unstructured":"S.\u00a0C. Kleene. 1938. On notation for ordinal numbers. Journal of Symbolic Logic 3 4 (1938) 150\u2013155. 10.2307\/2267778]","DOI":"10.2307\/2267778"},{"key":"e_1_3_3_2_27_2","unstructured":"Michael Larabel. 2020. The Linux Kernel Enters 2020 At 27.8 Million Lines In Git But With Less Developers For 2019. https:\/\/www.phoronix.com\/news\/Linux-Git-Stats-EOY2019. Accessed: 2020-01-06."},{"key":"e_1_3_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2017.62"},{"key":"e_1_3_3_2_29_2","volume-title":"2018 USENIX Annual Technical Conference (USENIX ATC 18)","author":"Lawall Julia","year":"2018","unstructured":"Julia Lawall and Gilles Muller. 2018. Coccinelle: 10 Years of Automated Evolution in the Linux Kernel. In 2018 USENIX Annual Technical Conference (USENIX ATC 18). https:\/\/www.usenix.org\/conference\/atc18\/presentation\/lawall"},{"key":"e_1_3_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15579-6_10"},{"key":"e_1_3_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61443-4"},{"key":"e_1_3_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.1145\/2866614.2866615"},{"key":"e_1_3_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.1145\/3461001.3471151"},{"key":"e_1_3_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3336297"},{"key":"e_1_3_3_2_35_2","doi-asserted-by":"crossref","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. Softw. Eng. 41 8 (2015) 820\u2013841.","DOI":"10.1109\/TSE.2015.2415793"},{"key":"e_1_3_3_2_36_2","doi-asserted-by":"publisher","DOI":"10.1109\/MSR.2013.6624017"},{"key":"e_1_3_3_2_37_2","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2011.46"},{"key":"e_1_3_3_2_38_2","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2012.21"},{"key":"e_1_3_3_2_39_2","unstructured":"Vegard Nossum. 2019. satconfig. https:\/\/github.com\/vegard\/linux-2.6\/tree\/v4.7+kconfig-sat. Accessed: 2019-12-05."},{"key":"e_1_3_3_2_40_2","doi-asserted-by":"publisher","DOI":"10.1145\/2019136.2019139"},{"key":"e_1_3_3_2_41_2","doi-asserted-by":"publisher","DOI":"10.1145\/2724525.2724575"},{"key":"e_1_3_3_2_42_2","doi-asserted-by":"crossref","unstructured":"Leonardo Passos Rodrigo Queiroz Mukelabai Mukelabai Thorsten Berger Sven Apel Krzysztof Czarnecki and Jesus Padilla. 2021. A Study of Feature Scattering in the Linux Kernel. IEEE Trans. Softw. Eng. 47 (2021) 146\u2013164. Issue 1.","DOI":"10.1109\/TSE.2018.2884911"},{"key":"e_1_3_3_2_43_2","doi-asserted-by":"crossref","unstructured":"Leonardo Passos Leopoldo Teixeira Nicolas Dintzner Sven Apel Andrzej Wasowski Krzysztof Czarnecki Paulo Borba and Jianmei Guo. 2016. Coevolution of Variability Models and Related Software Artifacts. Empirical Softw. Engg. 21 4 (Aug. 2016) 1744\u20131793.","DOI":"10.1007\/s10664-015-9364-x"},{"key":"e_1_3_3_2_44_2","volume-title":"ICSM","author":"Qiang Tu","year":"2000","unstructured":"Tu Qiang and Godfrey\u00a0Michael W.2000. Evolution in open source software: A case study. In ICSM."},{"key":"e_1_3_3_2_45_2","doi-asserted-by":"publisher","unstructured":"Muhammad\u00a0Ejaz Sandhu. 2021. Comparison of Fault Simulation Over Custom Kernel Module Using Various Techniques. Lahore Garrison University Research Journal of Computer Science and Information Technology 5 3 (2021) 73\u201383. 10.54692\/lgurjcsit.2021.0503220]","DOI":"10.54692\/lgurjcsit.2021.0503220"},{"key":"e_1_3_3_2_46_2","unstructured":"Steven She. 2013. LVAT. https:\/\/github.com\/shshe\/linux-variability-analysis-tools."},{"key":"e_1_3_3_2_47_2","unstructured":"Steven She and Thorsten Berger. 2010. Formal Semantics of the Kconfig Language. Technical Note. https:\/\/arxiv.org\/abs\/2209.04916."},{"key":"e_1_3_3_2_48_2","volume-title":"Fourth International Workshop on Variability Modelling of Software-intensive Systems (VAMOS 2010)","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 (VAMOS 2010)."},{"key":"e_1_3_3_2_49_2","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985856"},{"key":"e_1_3_3_2_50_2","volume-title":"SPLC-OSSPL","author":"Sincero Julio","year":"2007","unstructured":"Julio Sincero, Horst Schirmeier, Wolfgang Schr\u00f6der-Preikschat, and Olaf Spinczyk. 2007. Is The Linux Kernel a Software Product Line?. In SPLC-OSSPL."},{"key":"e_1_3_3_2_51_2","volume-title":"ASPL","author":"Sincero Julio","year":"2008","unstructured":"Julio Sincero and Wolfgang Schr\u00f6der-Preikschat. 2008. The Linux Kernel Configurator as a Feature Modeling Tool. In ASPL."},{"key":"e_1_3_3_2_52_2","doi-asserted-by":"publisher","DOI":"10.1109\/RoEduNet54112.2021.9638307"},{"key":"e_1_3_3_2_53_2","doi-asserted-by":"publisher","DOI":"10.1145\/3382025.3414960"},{"key":"e_1_3_3_2_54_2","volume-title":"USENIX ATC","author":"Tartler Reinhard","year":"2014","unstructured":"Reinhard Tartler, Christian Dietrich, Julio Sincero, Wolfgang Schr\u00f6der-Preikschat, and Daniel Lohmann. 2014. Static Analysis of Variability in System Software: The 90,000 \\( # \\) ifdefs Issue. In USENIX ATC."},{"key":"e_1_3_3_2_55_2","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966451"},{"key":"e_1_3_3_2_56_2","doi-asserted-by":"publisher","DOI":"10.1145\/1629716.1629732"},{"key":"e_1_3_3_2_57_2","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337269"},{"key":"e_1_3_3_2_58_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-81955-128"},{"key":"e_1_3_3_2_59_2","doi-asserted-by":"crossref","unstructured":"Ying-Jie Wang Liang-Ze Yin and Wei Dong. 2021. AMCheX: Accurate Analysis of Missing-Check Bugs for Linux Kernel. Journal of Computer Science and Technology 36 6 (Dec. 2021) 1325\u20131341.","DOI":"10.1007\/s11390-021-1666-4"},{"key":"e_1_3_3_2_60_2","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337231"},{"key":"e_1_3_3_2_61_2","doi-asserted-by":"crossref","unstructured":"Y. Xiong H. Zhang A. Hubaux S. She J. Wang and K. Czarnecki. 2015. Range Fixes: Interactive Error Resolution for Software Configuration. IEEE Trans. Softw. Eng. 41 6 (June 2015) 603\u2013619.","DOI":"10.1109\/TSE.2014.2383381"},{"key":"e_1_3_3_2_62_2","volume-title":"Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010) Workshop on Configuration","author":"Zengler Christoph","year":"2010","unstructured":"Christoph Zengler and Wolfgang K\u00fcchlin. 2010. Encoding the Linux kernel configuration in propositional logic. In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010) Workshop on Configuration."}],"event":{"name":"VaMoS 2025: 19th International Working Conference on Variability Modelling of Software-Intensive Systems","acronym":"VaMoS 2025","location":"Rennes France"},"container-title":["Proceedings of the 19th International Working Conference on Variability Modelling of Software-Intensive Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3715340.3715445","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3715340.3715445","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:18:18Z","timestamp":1750295898000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3715340.3715445"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,2,4]]},"references-count":61,"alternative-id":["10.1145\/3715340.3715445","10.1145\/3715340"],"URL":"https:\/\/doi.org\/10.1145\/3715340.3715445","relation":{},"subject":[],"published":{"date-parts":[[2025,2,4]]},"assertion":[{"value":"2025-05-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}