{"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":1785029490141,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":40,"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"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,9,9]]},"DOI":"10.1145\/3336294.3336313","type":"proceedings-article","created":{"date-parts":[[2019,8,8]],"date-time":"2019-08-08T12:38:04Z","timestamp":1565267884000},"page":"303-308","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["A Kconfig Translation to Logic with One-Way Validation System"],"prefix":"10.1145","author":[{"given":"David","family":"Fernandez-Amoros","sequence":"first","affiliation":[{"name":"UNED, Madrid, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ruben","family":"Heradio","sequence":"additional","affiliation":[{"name":"UNED, Madrid, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christoph","family":"Mayr-Dorn","sequence":"additional","affiliation":[{"name":"Johannes Kepler University, Linz, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexander","family":"Egyed","sequence":"additional","affiliation":[{"name":"Johannes Kepler University, Linz, Austria"}],"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.1016\/j.websem.2006.11.006"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73681-3_14"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859010"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.34"},{"key":"e_1_3_2_1_7_1","volume-title":"Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications","author":"Biere Armin","unstructured":"Armin Biere , Marijn J.H. Heule , Hans van Maaren , Toby, and Walsh. 2009. Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications , Vol. 185 . IOS Press , Amsterdam, The Netherlands, The Netherlands. 697--698 pages. Armin Biere, Marijn J.H. Heule, Hans van Maaren, Toby, and Walsh. 2009. Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, Vol. 185. IOS Press, Amsterdam, The Netherlands, The Netherlands. 697--698 pages."},{"key":"e_1_3_2_1_8_1","volume-title":"Third International Workshop on Variability Modelling of Software-Intensive Systems","volume":"29","author":"Den Broek Pim Van","year":"2009","unstructured":"Pim Van Den Broek and Ism\u00eania Galv\u00e3o . 2009 . Analysis of Feature Models using Generalised Feature Trees . In Third International Workshop on Variability Modelling of Software-Intensive Systems , Seville, Spain, January 28--30 , 2009. Proceedings (ICB Research Report), David Benavides, Andreas Metzger, and Ulrich W. Eisenecker (Eds.), Vol. 29 . Universit\u00e4t Duisburg-Essen, 29--35. http:\/\/www.vamos-workshop.net\/proceedings\/VaMoS_2009_Proceedings.pdf Pim Van Den Broek and Ism\u00eania Galv\u00e3o. 2009. Analysis of Feature Models using Generalised Feature Trees. In Third International Workshop on Variability Modelling of Software-Intensive Systems, Seville, Spain, January 28--30, 2009. Proceedings (ICB Research Report), David Benavides, Andreas Metzger, and Ulrich W. Eisenecker (Eds.), Vol. 29. Universit\u00e4t Duisburg-Essen, 29--35. http:\/\/www.vamos-workshop.net\/proceedings\/VaMoS_2009_Proceedings.pdf"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"e_1_3_2_1_10_1","volume-title":"International Workshop on Software Factories. ACM, 16--20","author":"Czarnecki Krzysztof","year":"2005","unstructured":"Krzysztof Czarnecki and Peter Chang . 2005 . Cardinality-based feature modeling and constraints: Aprogress report . In International Workshop on Software Factories. ACM, 16--20 . Krzysztof Czarnecki and Peter Chang. 2005. Cardinality-based feature modeling and constraints: Aprogress report. In International Workshop on Software Factories. ACM, 16--20."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814204.2814222"},{"key":"e_1_3_2_1_12_1","volume-title":"12th Software Product Line Conference (SPLC)","volume":"2","author":"Elfaki Abdelrahman Osman","year":"2008","unstructured":"Abdelrahman Osman Elfaki , Somnuk Phon-Amnuaisuk , and Chin Kuan Ho . 2008 . Knowledge Based Method to Validate Feature Models . In 12th Software Product Line Conference (SPLC) , Vol. 2 . IEEE Computer Society, Los Alamitos, CA, USA, 217--225. Abdelrahman Osman Elfaki, Somnuk Phon-Amnuaisuk, and Chin Kuan Ho. 2008. Knowledge Based Method to Validate Feature Models. In 12th Software Product Line Conference (SPLC), Vol. 2. IEEE Computer Society, Los Alamitos, CA, USA, 217--225."},{"key":"e_1_3_2_1_13_1","volume-title":"Third International Workshop on Variability Modelling of Software-Intensive Systems","volume":"29","author":"Elfaki Abdelrahman Osman","year":"2009","unstructured":"Abdelrahman Osman Elfaki , Somnuk Phon-Amnuaisuk , and Chin Kuan Ho . 2009 . Using First Order Logic to Validate Feature Model . In Third International Workshop on Variability Modelling of Software-Intensive Systems , Seville, Spain , January 2830, 2009. Proceedings (ICB Research Report), David Benavides, Andreas Metzger, and Ulrich W. Eisenecker (Eds.), Vol. 29 . Universit\u00e4t Duisburg-Essen, 169--172. http:\/\/www.vamos-workshop.net\/proceedings\/VaMoS_2009_Proceedings.pdf Abdelrahman Osman Elfaki, Somnuk Phon-Amnuaisuk, and Chin Kuan Ho. 2009. Using First Order Logic to Validate Feature Model. In Third International Workshop on Variability Modelling of Software-Intensive Systems, Seville, Spain, January 2830, 2009. Proceedings (ICB Research Report), David Benavides, Andreas Metzger, and Ulrich W. Eisenecker (Eds.), Vol. 29. Universit\u00e4t Duisburg-Essen, 169--172. http:\/\/www.vamos-workshop.net\/proceedings\/VaMoS_2009_Proceedings.pdf"},{"key":"e_1_3_2_1_14_1","volume-title":"Tools and Techniques: Proceedings of the 16th International Conference SoMeT_17","volume":"297","author":"Fernandez-Amoros David","year":"2017","unstructured":"David Fernandez-Amoros , Ruben Heradio , Carlos Cerrada , Enrique Herrera-Viedma , and J Cobo Manuel . 2017 . Towards Taming Variability Models in the Wild. In New Trends in Intelligent Software Methodologies , Tools and Techniques: Proceedings of the 16th International Conference SoMeT_17 , Vol. 297 . IOS Press, Amsterdam, The Netherlands, 454. David Fernandez-Amoros, Ruben Heradio, Carlos Cerrada, Enrique Herrera-Viedma, and J Cobo Manuel. 2017. Towards Taming Variability Models in the Wild. In New Trends in Intelligent Software Methodologies, Tools and Techniques: Proceedings of the 16th International Conference SoMeT_17, Vol. 297. IOS Press, Amsterdam, The Netherlands, 454."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1753235.1753242"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the ACM SIGSOFY First Alloy Workshop. ACM, 71--80","author":"Gheyi Rohit","year":"2006","unstructured":"Rohit Gheyi , Tiago Massoni , and Paulo Borba . 2006 . A theory for feature models in alloy . In Proceedings of the ACM SIGSOFY First Alloy Workshop. ACM, 71--80 . Rohit Gheyi, Tiago Massoni, and Paulo Borba. 2006. A theory for feature models in alloy. In Proceedings of the ACM SIGSOFY First Alloy Workshop. ACM, 71--80."},{"key":"e_1_3_2_1_17_1","volume-title":"Analyzing the Internal Consistency of the Linux KConfig Model. Master's thesis","author":"Hengelein Stefan","year":"2015","unstructured":"Stefan Hengelein and Daniel Lohmann . 2015. Analyzing the Internal Consistency of the Linux KConfig Model. Master's thesis . University of Erlangen, Dept. of Computer Science , 2015 . Stefan Hengelein and Daniel Lohmann. 2015. Analyzing the Internal Consistency of the Linux KConfig Model. Master's thesis. University of Erlangen, Dept. of Computer Science, 2015."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194013500368"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2015.11.004"},{"key":"e_1_3_2_1_21_1","volume-title":"Differential Testing for Variational Analyses: Experience from Developing KConfigReader. CoRR abs\/1706.09357","author":"K\u00e4stner Christian","year":"2017","unstructured":"Christian K\u00e4stner . 2017. Differential Testing for Variational Analyses: Experience from Developing KConfigReader. CoRR abs\/1706.09357 ( 2017 ). arXiv:1706.09357 Christian K\u00e4stner. 2017. Differential Testing for Variational Analyses: Experience from Developing KConfigReader. CoRR abs\/1706.09357 (2017). arXiv:1706.09357"},{"key":"e_1_3_2_1_22_1","volume-title":"The Art of Computer Programming","author":"Knuth Donald","unstructured":"Donald Knuth . 2009. The Art of Computer Programming , Volume 4 , Bitwise Tricks & Techniques; Binary Decision Diagrams. Pearson Education, Reading, Massachusetts . Donald Knuth. 2009. The Art of Computer Programming, Volume 4, Bitwise Tricks & Techniques; Binary Decision Diagrams. Pearson Education, Reading, Massachusetts."},{"key":"e_1_3_2_1_23_1","volume-title":"Using First-Order Logic for Product Line Model Validation. In 2nd International Conference on Software Product Lines. Springer-Verlag","author":"Mannion Mike","year":"2002","unstructured":"Mike Mannion . 2002 . Using First-Order Logic for Product Line Model Validation. In 2nd International Conference on Software Product Lines. Springer-Verlag , London, UK, 176--187. Mike Mannion. 2002. Using First-Order Logic for Product Line Model Validation. In 2nd International Conference on Software Product Lines. Springer-Verlag, London, UK, 176--187."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24667-1_16"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1753235.1753267"},{"key":"e_1_3_2_1_26_1","volume-title":"Vmware: Tool support for automatic verification of structural and semantic correctness in product line models.","author":"Salinesi Camille","year":"2009","unstructured":"Camille Salinesi , Colette Roll , and Ra\u00fal Mazo . 2009 . Vmware: Tool support for automatic verification of structural and semantic correctness in product line models. (2009), 173--176 pages. http:\/\/www.vamos-workshop.net\/proceedings\/VaMoS_2009_Proceedings.pdf Camille Salinesi, Colette Roll, and Ra\u00fal Mazo. 2009. Vmware: Tool support for automatic verification of structural and semantic correctness in product line models. (2009), 173--176 pages. http:\/\/www.vamos-workshop.net\/proceedings\/VaMoS_2009_Proceedings.pdf"},{"key":"e_1_3_2_1_27_1","volume-title":"Feature model mining. Master's thesis","author":"She Steven","unstructured":"Steven She . 2008. Feature model mining. Master's thesis . University of Waterloo . Steven She. 2008. Feature model mining. Master's thesis. University of Waterloo."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0225-2"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2007.10.030"},{"key":"e_1_3_2_1_34_1","volume-title":"CAiSE Short Paper Proceedings.","author":"Trinidad P","year":"2006","unstructured":"P Trinidad , D Benavides , and A Ruiz-Cort\u00e9s . 2006 . A first step detecting inconsistencies in feature models . In CAiSE Short Paper Proceedings. P Trinidad, D Benavides, and A Ruiz-Cort\u00e9s. 2006. A first step detecting inconsistencies in feature models. In CAiSE Short Paper Proceedings."},{"key":"e_1_3_2_1_35_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_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24667-1_13"},{"key":"e_1_3_2_1_37_1","volume-title":"Formal Analysis of the Linux Kernel Configuration with SAT Solving. In 17th International Configuration Workshop","author":"Walch Martin","year":"2015","unstructured":"Martin Walch , Rouven Walter , and Wolfgang K\u00fcchlin . 2015 . Formal Analysis of the Linux Kernel Configuration with SAT Solving. In 17th International Configuration Workshop . University of Helsinki, Helsinki, Finland, 131--137. Martin Walch, Rouven Walter, and Wolfgang K\u00fcchlin. 2015. Formal Analysis of the Linux Kernel Configuration with SAT Solving. In 17th International Configuration Workshop. University of Helsinki, Helsinki, Finland, 131--137."},{"key":"e_1_3_2_1_38_1","volume-title":"In Workshop on Semantic Web Enabled Software Engineering. 44","author":"Wang Hai","year":"2005","unstructured":"Hai Wang , Yuan Fang Li , Jing Sun , Hongyu Zhang , and Jeff Pan . 2005 . A semantic web approach to feature modeling and verification . In In Workshop on Semantic Web Enabled Software Engineering. 44 . Hai Wang, Yuan Fang Li, Jing Sun, Hongyu Zhang, and Jeff Pan. 2005. A semantic web approach to feature modeling and verification. In In Workshop on Semantic Web Enabled Software Engineering. 44."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68073-4_18"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2008.16"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04211-9_7"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1529282.1529563"},{"key":"e_1_3_2_1_43_1","volume-title":"Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010) Workshop on Configuration","volume":"2010","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 , Vol. 2010 . IOS Press, Amsterdam, The Netherlands, 51--56. 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, Vol. 2010. IOS Press, Amsterdam, The Netherlands, 51--56."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-006-0033-x"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30482-1_16"}],"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.3336313","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3336294.3336313","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:07:25Z","timestamp":1750273645000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3336294.3336313"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,9]]},"references-count":40,"alternative-id":["10.1145\/3336294.3336313","10.1145\/3336294"],"URL":"https:\/\/doi.org\/10.1145\/3336294.3336313","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"}}]}}