FLAMA: A collaborative effort to build a new framework for the automated analysis of feature models

José A. Galindo, José-Miguel Horcas, Alexander Felfering, David Fernández-Amorós, David Benavides 0001. FLAMA: A collaborative effort to build a new framework for the automated analysis of feature models. In Paolo Arcaini, Maurice H. ter Beek, Gilles Perrouin, Iris Reinhartz-Berger, Ivan Machado, Silvia Regina Vergilio, Rick Rabiser, Tao Yue 0002, Xavier Devroey, Mónica Pinto, Hironori Washizaki, editors, Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023. pages 16-19, ACM, 2023. [doi]

Abstract

Abstract is missing.