{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T06:32:14Z","timestamp":1772519534649,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,8,28]],"date-time":"2023-08-28T00:00:00Z","timestamp":1693180800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"FEDER\/Ministry of Science and Innovation","award":["\\emph{Data-pl}, TASOVA PLUS research network (RED2022-134337-T),\\emph{IRIS} PID2021-122812OB-I00 (co-financed by FEDER funds), \\emph{LEIA} UMA18-FEDERJA-157, and \\emph{DAEMON} H2020-101017109"],"award-info":[{"award-number":["\\emph{Data-pl}, TASOVA PLUS research network (RED2022-134337-T),\\emph{IRIS} PID2021-122812OB-I00 (co-financed by FEDER funds), \\emph{LEIA} UMA18-FEDERJA-157, and \\emph{DAEMON} H2020-101017109"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,8,28]]},"DOI":"10.1145\/3579028.3609008","type":"proceedings-article","created":{"date-parts":[[2023,8,25]],"date-time":"2023-08-25T19:29:29Z","timestamp":1692991769000},"page":"16-19","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["FLAMA"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9293-9784","authenticated-orcid":false,"given":"Jos\u00e9 A.","family":"Galindo","sequence":"first","affiliation":[{"name":"University of Seville, Seville, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7771-0575","authenticated-orcid":false,"given":"Jose-Miguel","family":"Horcas","sequence":"additional","affiliation":[{"name":"ITIS Software, University of M\u00e1laga, M\u00e1laga, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0108-3146","authenticated-orcid":false,"given":"Alexander","family":"Felferning","sequence":"additional","affiliation":[{"name":"Graz University of Technology, Graz, Austria"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3758-0195","authenticated-orcid":false,"given":"David","family":"Fernandez-Amoros","sequence":"additional","affiliation":[{"name":"UNED, Madrid, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8449-3273","authenticated-orcid":false,"given":"David","family":"Benavides","sequence":"additional","affiliation":[{"name":"University of Seville, Seville, Spain"}]}],"member":"320","published-online":{"date-parts":[[2023,8,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.12.004"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0441-1"},{"key":"e_1_3_2_1_3_1","volume-title":"Automated analysis of feature models 20 years later: A literature review. Information systems 35, 6","author":"Benavides David","year":"2010","unstructured":"David Benavides , Sergio Segura , and Antonio Ruiz-Cort\u00e9s . 2010. Automated analysis of feature models 20 years later: A literature review. Information systems 35, 6 ( 2010 ), 615--636. David Benavides, Sergio Segura, and Antonio Ruiz-Cort\u00e9s. 2010. Automated analysis of feature models 20 years later: A literature review. Information systems 35, 6 (2010), 615--636."},{"key":"e_1_3_2_1_4_1","volume-title":"Systems and Software Variability Management: Concepts, Tools and Experiences","author":"Benavides David","year":"2013","unstructured":"David Benavides , Pablo Trinidad , Antonio Ruiz-Cort\u00e9s , and Sergio Segura . 2013. Fama. Systems and Software Variability Management: Concepts, Tools and Experiences ( 2013 ), 163--171. David Benavides, Pablo Trinidad, Antonio Ruiz-Cort\u00e9s, and Sergio Segura. 2013. Fama. Systems and Software Variability Management: Concepts, Tools and Experiences (2013), 163--171."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4842-1305-6"},{"key":"e_1_3_2_1_6_1","volume-title":"Towards Automated Analysis. In 1st International Workshop on Automated Configuration and Tailoring of Applications (CEUR Workshop Proceedings","volume":"34","author":"Galindo Jos\u00e9 Angel","year":"2010","unstructured":"Jos\u00e9 Angel Galindo , David Benavides , and Sergio Segura . 2010 . Debian Packages Repositories as Software Product Line Models . Towards Automated Analysis. In 1st International Workshop on Automated Configuration and Tailoring of Applications (CEUR Workshop Proceedings , Vol. 688). CEUR-WS.org, 29-- 34 . Jos\u00e9 Angel Galindo, David Benavides, and Sergio Segura. 2010. Debian Packages Repositories as Software Product Line Models. Towards Automated Analysis. In 1st International Workshop on Automated Configuration and Tailoring of Applications (CEUR Workshop Proceedings, Vol. 688). CEUR-WS.org, 29--34."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-018-0646-1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-021-10102-5"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503229.3547025"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-022-01011-2"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070568"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503229.3547058"},{"key":"e_1_3_2_1_13_1","volume-title":"Early Definition of Frozen and Hot Spots in the Development of Domain Frameworks. In 14th ACM SIGSOFT Symposium on Foundations of Software Engineering.","author":"Matos Simone Nasser","year":"2006","unstructured":"Simone Nasser Matos and Clovis Torres Fernandes . 2006 . Early Definition of Frozen and Hot Spots in the Development of Domain Frameworks. In 14th ACM SIGSOFT Symposium on Foundations of Software Engineering. Simone Nasser Matos and Clovis Torres Fernandes. 2006. Early Definition of Frozen and Hot Spots in the Development of Domain Frameworks. In 14th ACM SIGSOFT Symposium on Foundations of Software Engineering."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2647908.2655972"},{"key":"e_1_3_2_1_15_1","volume-title":"Handbook of satisfiability 185","author":"Prestwich Steven D","year":"2009","unstructured":"Steven D Prestwich . 2009. CNF Encodings . Handbook of satisfiability 185 ( 2009 ), 75--97. Steven D Prestwich. 2009. CNF Encodings. Handbook of satisfiability 185 (2009), 75--97."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2918469"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2110147.2110155"},{"key":"e_1_3_2_1_18_1","first-page":"45","article-title":"The Variability Model of The Linux Kernel","volume":"10","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 . VaMoS 10 , 10 (2010), 45 -- 51 . Steven She, Rafael Lotufo, Thorsten Berger, Andrzej Wasowski, and Krzysztof Czarnecki. 2010. The Variability Model of The Linux Kernel. VaMoS 10, 10 (2010), 45--51.","journal-title":"VaMoS"},{"key":"e_1_3_2_1_19_1","volume-title":"PEP 8-style guide for python code. Python. org 1565","author":"Rossum Guido Van","year":"2001","unstructured":"Guido Van Rossum , Barry Warsaw , and Nick Coghlan . 2001. PEP 8-style guide for python code. Python. org 1565 ( 2001 ), 28. Guido Van Rossum, Barry Warsaw, and Nick Coghlan. 2001. PEP 8-style guide for python code. Python. org 1565 (2001), 28."}],"event":{"name":"SPLC '23: 27th ACM International Systems and Software Product Line Conference","location":"Tokyo Japan","acronym":"SPLC '23","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3579028.3609008","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3579028.3609008","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:38:05Z","timestamp":1750178285000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3579028.3609008"}},"subtitle":["A collaborative effort to build a new framework for the automated analysis of feature models"],"short-title":[],"issued":{"date-parts":[[2023,8,28]]},"references-count":19,"alternative-id":["10.1145\/3579028.3609008","10.1145\/3579028"],"URL":"https:\/\/doi.org\/10.1145\/3579028.3609008","relation":{},"subject":[],"published":{"date-parts":[[2023,8,28]]},"assertion":[{"value":"2023-08-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}