{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:38:38Z","timestamp":1767339518102,"version":"3.37.3"},"reference-count":123,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2022,6,8]],"date-time":"2022-06-08T00:00:00Z","timestamp":1654646400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,6,8]],"date-time":"2022-06-08T00:00:00Z","timestamp":1654646400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"European Union\u2019s H2020","award":["DAEMON 101017109"],"award-info":[{"award-number":["DAEMON 101017109"]}]},{"DOI":"10.13039\/501100004837","name":"Ministerio de Ciencia e Innovaci\u00f3n","doi-asserted-by":"publisher","award":["MCIU-AEI TIN2017-90644-REDT","RTI2018-099213-B-I00"],"award-info":[{"award-number":["MCIU-AEI TIN2017-90644-REDT","RTI2018-099213-B-I00"]}],"id":[{"id":"10.13039\/501100004837","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100011011","name":"Junta de Andaluc\u00eda","doi-asserted-by":"publisher","award":["P18-FR-1081 (MCI\/AEI\/FEDER, UE)","UMA18-FEDERJA-157"],"award-info":[{"award-number":["P18-FR-1081 (MCI\/AEI\/FEDER, UE)","UMA18-FEDERJA-157"]}],"id":[{"id":"10.13039\/501100011011","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2023,2]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>For the last ten years, software product line (SPL) tool developers have been facing the implementation of different variability requirements and the support of SPL engineering activities demanded by emergent domains. Despite systematic literature reviews identifying the main characteristics of existing tools and the SPL activities they support, these reviews do not always help to understand if such tools provide what complex variability projects demand. This paper presents an empirical research in which we evaluate the degree of maturity of existing SPL tools focusing on their support of variability modeling characteristics and SPL engineering activities required by current application domains. We first identify the characteristics and activities that are essential for the development of SPLs by analyzing a selected sample of case studies chosen from application domains with high variability. Second, we conduct an exploratory study to analyze whether the existing tools support those characteristics and activities. We conclude that, with the current tool support, it is possible to develop a basic SPL approach. But we have also found out that these tools present several limitations when dealing with complex variability requirements demanded by emergent application domains, such as non-Boolean features or large configuration spaces. Additionally, we identify the necessity for an integrated approach with appropriate tool support to completely cover all the activities and phases of SPL engineering. To mitigate this problem, we propose different road map using the existing tools to partially or entirely support SPL engineering activities, from variability modeling to product derivation.<\/jats:p>","DOI":"10.1007\/s10270-022-01011-2","type":"journal-article","created":{"date-parts":[[2022,6,8]],"date-time":"2022-06-08T08:03:55Z","timestamp":1654675435000},"page":"377-414","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":32,"title":["Empirical analysis of the tool support for software product lines"],"prefix":"10.1007","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7771-0575","authenticated-orcid":false,"given":"Jos\u00e9 Miguel","family":"Horcas","sequence":"first","affiliation":[]},{"given":"M\u00f3nica","family":"Pinto","sequence":"additional","affiliation":[]},{"given":"Lidia","family":"Fuentes","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,6,8]]},"reference":[{"key":"1011_CR1","doi-asserted-by":"publisher","unstructured":"Berger, T., Collet, P.: Usage scenarios for a common feature modeling language. In: Proceedings of the 23rd International Systems and Software Product Line Conference, ACM, New York, NY, USA, SPLC\u201919, vol\u00a0B, pp. 174\u2013181 (2019). https:\/\/doi.org\/10.1145\/3307630.3342403","DOI":"10.1145\/3307630.3342403"},{"key":"1011_CR2","doi-asserted-by":"publisher","unstructured":"Garc\u00eda, S., Str\u00fcber, D., Brugali, D., Di\u00a0Fava, A., Schillinger, P., Pelliccione, P., Berger, T.: Variability modeling of service robots: experiences and challenges. In: Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), ACM, New York, NY, USA, VAMOS\u201919, pp. 8:1\u20138:6 (2019). https:\/\/doi.org\/10.1145\/3302333.3302350","DOI":"10.1145\/3302333.3302350"},{"key":"1011_CR3","doi-asserted-by":"publisher","unstructured":"Nadi, S., Kr\u00fcger, S.: Variability modeling of cryptographic components: Clafer experience report. In: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, ACM, New York, NY, USA, VaMoS\u201916, pp. 105\u2013112 (2016). https:\/\/doi.org\/10.1145\/2866614.2866629","DOI":"10.1145\/2866614.2866629"},{"issue":"12","key":"1011_CR4","doi-asserted-by":"publisher","first-page":"1611","DOI":"10.1109\/TSE.2013.34","volume":"39","author":"T Berger","year":"2013","unstructured":"Berger, T., She, S., Lotufo, R., Wasowski, A., Czarnecki, K.: A study of variability models and languages in the systems software domain. IEEE Trans. Softw. Eng. 39(12), 1611\u20131640 (2013). https:\/\/doi.org\/10.1109\/TSE.2013.34","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"1011_CR5","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/s11219-017-9400-8","volume":"27","author":"M Alf\u00e9rez","year":"2019","unstructured":"Alf\u00e9rez, M., Acher, M., Galindo, J.A., Baudry, B., Benavides, D.: Modeling variability in the video domain: language and experience report. Softw. Qual. J. 27(1), 307\u2013347 (2019). https:\/\/doi.org\/10.1007\/s11219-017-9400-8","journal-title":"Softw. Qual. J."},{"key":"1011_CR6","doi-asserted-by":"publisher","unstructured":"Rabiser, R., Schmid, K., Becker, M., Botterweck, G., Galster, M., Groher, I., Weyns, D.: A study and comparison of industrial vs. academic software product line research published at SPLC. In: Proceedings of the 22nd International Conference on Systems and Software Product Line (SPLC), pp. 14\u201324 (2018). https:\/\/doi.org\/10.1145\/3233027.3233028","DOI":"10.1145\/3233027.3233028"},{"key":"1011_CR7","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2020.106389","volume":"128","author":"AE Chac\u00f3n-Luna","year":"2020","unstructured":"Chac\u00f3n-Luna, A.E., Guti\u00e9rrez, A.M., Galindo, J.A., Benavides, D.: Empirical software product line engineering: a systematic literature review. Inf. Softw. Technol. 128, 106389 (2020). https:\/\/doi.org\/10.1016\/j.infsof.2020.106389","journal-title":"Inf. Softw. Technol."},{"issue":"1","key":"1011_CR8","doi-asserted-by":"publisher","first-page":"14:1","DOI":"10.1145\/3034827","volume":"50","author":"R Bashroush","year":"2017","unstructured":"Bashroush, R., Garba, M., Rabiser, R., Groher, I., Botterweck, G.: CASE tool support for variability management in software product lines. ACM Comput. Surv. 50(1), 14:1-14:45 (2017). https:\/\/doi.org\/10.1145\/3034827","journal-title":"ACM Comput. Surv."},{"key":"1011_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37521-7","volume-title":"Feature-Oriented Software Product Lines - Concepts and Implementation","author":"S Apel","year":"2013","unstructured":"Apel, S., Batory, D.S., K\u00e4stner, C., Saake, G.: Feature-Oriented Software Product Lines - Concepts and Implementation. Springer, Berlin (2013). https:\/\/doi.org\/10.1007\/978-3-642-37521-7"},{"key":"1011_CR10","doi-asserted-by":"publisher","unstructured":"Benavides, D.: Variability modelling and analysis during 30 years. In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 365\u2013373 (2019). https:\/\/doi.org\/10.1007\/978-3-030-30985-5_21","DOI":"10.1007\/978-3-030-30985-5_21"},{"key":"1011_CR11","doi-asserted-by":"publisher","unstructured":"Laguna, M.A., Crespo, Y.: A systematic mapping study on software product line evolution: From legacy system reengineering to product line refactoring. Sci. Comput. Program. 78(8), 1010\u20131034 (2013). https:\/\/doi.org\/10.1016\/j.scico.2012.05.003.special section on software evolution, adaptability, and maintenance & Special section on the Brazilian Symposium on Programming Languages","DOI":"10.1016\/j.scico.2012.05.003."},{"key":"1011_CR12","doi-asserted-by":"publisher","unstructured":"Benavides, D., Trinidad, P., Cort\u00e9s, A.R.: Automated reasoning on feature models. In: 17th International Conference on Advanced Information Systems Engineering CAiSE, pp. 491\u2013503 (2005). https:\/\/doi.org\/10.1007\/11431855_34","DOI":"10.1007\/11431855_34"},{"key":"1011_CR13","doi-asserted-by":"publisher","unstructured":"Chung, L., Nixon, B.A., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering. International Series in Software Engineering, vol 5. Springer (2000). https:\/\/doi.org\/10.1007\/978-1-4615-5269-7","DOI":"10.1007\/978-1-4615-5269-7"},{"key":"1011_CR14","doi-asserted-by":"publisher","unstructured":"Th\u00fcm, T., K\u00e4stner, C., Benduhn, F., Meinicke, J., Saake, G., Leich, T.: Featureide: an extensible framework for feature-oriented software development. Sci. Comput. Program. 79, 70\u201385 (2014). https:\/\/doi.org\/10.1016\/j.scico.2012.06.002. Experimental Software and Toolkits (EST 4): A special issue of the Workshop on Academic Software Development Tools and Techniques (WASDeTT-3 2010)","DOI":"10.1016\/j.scico.2012.06.002"},{"key":"1011_CR15","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/BFb0053389","volume-title":"ECOOP\u201997\u2014Object-Oriented Programming","author":"C Prehofer","year":"1997","unstructured":"Prehofer, C.: Feature-oriented programming: A fresh look at objects. In: Ak\u015fit, M., Matsuoka, S. (eds.) ECOOP\u201997\u2014Object-Oriented Programming, pp. 419\u2013443. Springer, Berlin (1997)"},{"key":"1011_CR16","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP\u201997\u2014Object-Oriented Programming","author":"G Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.M., Irwin, J.: Aspect-oriented programming. In: Ak\u015fit, M., Matsuoka, S. (eds.) ECOOP\u201997\u2014Object-Oriented Programming, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"issue":"2","key":"1011_CR17","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1007\/s10664-015-9360-1","volume":"21","author":"C Hunsen","year":"2016","unstructured":"Hunsen, C., Zhang, B., Siegmund, J., K\u00e4stner, C., Le\u00dfenich, O., Becker, M., Apel, S.: Preprocessor-based variability in open-source and industrial software systems: an empirical study. Empir. Softw. Eng. 21(2), 449\u2013482 (2016). https:\/\/doi.org\/10.1007\/s10664-015-9360-1","journal-title":"Empir. Softw. Eng."},{"key":"1011_CR18","doi-asserted-by":"publisher","unstructured":"Constantino, K., Pereira, J.A., Padilha, J., Vasconcelos, P., Figueiredo, E.: An empirical study of two software product line tools. In: Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, SCITEPRESS - Science and Technology Publications, Lda, Portugal, ENASE 2016, pp. 164\u2013171 (2016). https:\/\/doi.org\/10.5220\/0005829801640171","DOI":"10.5220\/0005829801640171"},{"key":"1011_CR19","doi-asserted-by":"publisher","first-page":"106910","DOI":"10.1016\/j.infsof.2022.106910","volume":"148","author":"JM Horcas","year":"2022","unstructured":"Horcas, J.M., Corti\u00f1as, A., Fuentes, L., Luaces, M.R.: Combining multiple granularity variability in a software product line approach for web engineering. Inf. Softw. Technol. 148, 106910 (2022)","journal-title":"Inf. Softw. Technol."},{"key":"1011_CR20","doi-asserted-by":"publisher","unstructured":"Berger, T., Rublack, R., Nair, D., Atlee, J.M., Becker, M., Czarnecki, K., Wasowski, A.: A survey of variability modeling in industrial practice. In: Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, ACM, New York, NY, USA, VaMoS\u201913, pp. 7:1\u20137:8 (2013a). https:\/\/doi.org\/10.1145\/2430502.2430513","DOI":"10.1145\/2430502.2430513"},{"issue":"10","key":"1011_CR21","first-page":"1282","volume":"26","author":"AP Allian","year":"2020","unstructured":"Allian, A.P., OliveiraJr, E., Capilla, R., Nakagawa, E.Y.: Have variability tools fulfilled the needs of the software industry? J. Univ. Comput. Sci. 26(10), 1282\u20131311 (2020)","journal-title":"J. Univ. Comput. Sci."},{"key":"1011_CR22","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-319-14130-5_6","volume-title":"Software Reuse for Dynamic Systems in the Cloud and Beyond","author":"JA Pereira","year":"2014","unstructured":"Pereira, J.A., Constantino, K., Figueiredo, E.: A systematic literature review of software product line management tools. In: Schaefer, I., Stamelos, I. (eds.) Software Reuse for Dynamic Systems in the Cloud and Beyond, pp. 73\u201389. Springer, Cham (2014)"},{"issue":"1","key":"1011_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.infsof.2009.05.001","volume":"52","author":"LB Lisboa","year":"2010","unstructured":"Lisboa, L.B., Garcia, V.C., Lucr\u00e9dio, D., de Almeida, E.S., de Lemos Meira, S.R., de Mattos Fortes, R.P.: A systematic review of domain analysis tools. Inf. Softw. Technol. 52(1), 1\u201313 (2010)","journal-title":"Inf. Softw. Technol."},{"key":"1011_CR24","doi-asserted-by":"publisher","unstructured":"Horcas, J., Pinto, M., Fuentes, L.: Software product line engineering: a practical experience. In: Proceedings of the 23rd International Systems and Software Product Line Conference (SPLC), ACM, vol\u00a0A, pp. 25:1\u201325:13 (2019). https:\/\/doi.org\/10.1145\/3336294.3336304","DOI":"10.1145\/3336294.3336304"},{"key":"1011_CR25","unstructured":"Horcas, J.M.: WeaFQAs: a software product line approach for customizing and weaving efficient functional quality attributes. PhD thesis, Universidad de M\u00e1laga (2018). https:\/\/hdl.handle.net\/10630\/17231"},{"key":"1011_CR26","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations, Principles and Techniques","author":"K Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., Linden, FJvd: Software Product Line Engineering: Foundations, Principles and Techniques. Springer, Berlin (2005)"},{"issue":"6","key":"1011_CR27","doi-asserted-by":"publisher","first-page":"2972","DOI":"10.1007\/s10664-017-9499-z","volume":"22","author":"WKG Assun\u00e7\u00e3o","year":"2017","unstructured":"Assun\u00e7\u00e3o, W.K.G., Lopez-Herrejon, R.E., Linsbauer, L., Vergilio, S.R., Egyed, A.: Reengineering legacy applications into software product lines: a systematic mapping. Empir. Softw. Eng. 22(6), 2972\u20133016 (2017). https:\/\/doi.org\/10.1007\/s10664-017-9499-z","journal-title":"Empir. Softw. Eng."},{"key":"1011_CR28","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-oriented domain analysis (FODA) feasibility study, Tech. rep.. Carnegie-Mellon Univ Pittsburgh Pa Software Engineering Inst (1990)","DOI":"10.21236\/ADA235785"},{"key":"1011_CR29","doi-asserted-by":"publisher","unstructured":"Czarnecki, K.,, She, S.,, Wasowski, A.: Sample spaces and feature models: There and back again. In: International Conference on Software Product Lines, SPLC, pp. 22\u201331 (2008). https:\/\/doi.org\/10.1109\/SPLC.2008.49","DOI":"10.1109\/SPLC.2008.49"},{"key":"1011_CR30","doi-asserted-by":"publisher","unstructured":"Gonz\u00e1lez-Baixauli, B., do\u00a0Prado\u00a0Leite, J.C.S., Mylopoulos, J.: Visual variability analysis for goal models. In: 12th IEEE International Conference on Requirements Engineering (RE), pp. 198\u2013207 (2004). https:\/\/doi.org\/10.1109\/RE.2004.56","DOI":"10.1109\/RE.2004.56"},{"issue":"3","key":"1011_CR31","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/j.scico.2003.04.002","volume":"53","author":"K Schmid","year":"2004","unstructured":"Schmid, K., John, I.: A customizable approach to full lifecycle variability management. Sci. Comput. Program. 53(3), 259\u2013284 (2004). https:\/\/doi.org\/10.1016\/j.scico.2003.04.002","journal-title":"Sci. Comput. Program."},{"key":"1011_CR32","doi-asserted-by":"publisher","unstructured":"Haugen, \u00d8., M\u00f8ller-Pedersen, B., Oldevik, J., Olsen, G.K., Svendsen, A.: Adding standardized variability to domain specific languages. In: 12th International Software Product Line Conference (SPLC), pp. 139\u2013148 (2008). https:\/\/doi.org\/10.1109\/SPLC.2008.25","DOI":"10.1109\/SPLC.2008.25"},{"key":"1011_CR33","doi-asserted-by":"publisher","unstructured":"Haugen, \u00d8., \u00d8g\u00e5rd, O.: BVR - better variability results. In: International Conference on System Analysis and Modeling: Models and Reusability, SAM, pp. 1\u201315 (2014). https:\/\/doi.org\/10.1007\/978-3-319-11743-0_1","DOI":"10.1007\/978-3-319-11743-0_1"},{"issue":"2","key":"1011_CR34","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1016\/j.comnet.2006.08.008","volume":"51","author":"P Schobbens","year":"2007","unstructured":"Schobbens, P., Heymans, P., Trigaux, J., Bontemps, Y.: Generic semantics of feature diagrams. Comput. Netw. 51(2), 456\u2013479 (2007). https:\/\/doi.org\/10.1016\/j.comnet.2006.08.008","journal-title":"Comput. Netw."},{"key":"1011_CR35","doi-asserted-by":"crossref","unstructured":"Capilla, R., Due\u00f1as, J.C.: Modelling variability with features in distributed architectures. In: Revised Papers from the 4th International Workshop on Software Product-Family Engineering, Springer-Verlag, Berlin, Heidelberg, PFE\u201901, pp. 319-329 (2001)","DOI":"10.1007\/3-540-47833-7_28"},{"key":"1011_CR36","doi-asserted-by":"publisher","unstructured":"Munoz, D., Oh, J., Pinto, M., Fuentes, L., Batory, D.S.: Uniform random sampling product configurations of feature models that have numerical features. In: Proceedings of the 23rd International Systems and Software Product Line Conference (SPLC), vol.\u00a0A, pp. 39:1\u201339:13 (2019). https:\/\/doi.org\/10.1145\/3336294.3336297","DOI":"10.1145\/3336294.3336297"},{"issue":"1","key":"1011_CR37","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1002\/spip.213","volume":"10","author":"K Czarnecki","year":"2005","unstructured":"Czarnecki, K., Helsen, S., Eisenecker, U.W.: Formalizing cardinality-based feature models and their specialization. Softw. Process: Improv. Pract. 10(1), 7\u201329 (2005). https:\/\/doi.org\/10.1002\/spip.213","journal-title":"Softw. Process: Improv. Pract."},{"key":"1011_CR38","doi-asserted-by":"publisher","unstructured":"Quinton, C., Romero, D., Duchien, L.: Cardinality-based feature models with constraints: a pragmatic approach. In: 17th International Software Product Line Conference (SPLC), pp. 162\u2013166 (2013). https:\/\/doi.org\/10.1145\/2491627.2491638","DOI":"10.1145\/2491627.2491638"},{"key":"1011_CR39","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1023\/A:1018980625587","volume":"5","author":"KC Kang","year":"1998","unstructured":"Kang, K.C., Kim, S., Lee, J., Kim, K., Shin, E., Huh, M.: FORM: a feature-oriented reuse method with domain-specific reference architectures. Ann. Softw. Eng. 5, 143\u2013168 (1998). https:\/\/doi.org\/10.1023\/A:1018980625587","journal-title":"Ann. Softw. Eng."},{"key":"1011_CR40","doi-asserted-by":"publisher","unstructured":"Schroeter, J., Lochau, M., Winkelmann, T.: Multi-perspectives on feature models. In: 15th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 252\u2013268 (2012). https:\/\/doi.org\/10.1007\/978-3-642-33666-9_17","DOI":"10.1007\/978-3-642-33666-9_17"},{"key":"1011_CR41","doi-asserted-by":"publisher","unstructured":"Rosenm\u00fcller, M., Siegmund, N., Th\u00fcm, T., Saake, G.: Multi-dimensional variability modeling. In: Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems (VaMoS), ACM, New York, NY, USA, VaMoS\u201911, pp. 11\u201320 (2011). https:\/\/doi.org\/10.1145\/1944892.1944894","DOI":"10.1145\/1944892.1944894"},{"key":"1011_CR42","unstructured":"Rosenm\u00fcller, M., Siegmund, N.: Automating the configuration of multi software product lines. In: Fourth International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), pp. 123\u2013130 (2010). http:\/\/www.vamos-workshop.net\/proceedings\/VaMoS_2010_Proceedings.pdf"},{"key":"1011_CR43","doi-asserted-by":"publisher","unstructured":"Urli, S., Blay-Fornarino, M., Collet, P., Mosser, S.: Using composite feature models to support agile software product line evolution. In: Proceedings of the 6th International Workshop on Models and Evolution (ME@MoDELS), pp. 21\u201326 (2012). https:\/\/doi.org\/10.1145\/2523599.2523604","DOI":"10.1145\/2523599.2523604"},{"key":"1011_CR44","doi-asserted-by":"publisher","unstructured":"G\u00e1mez, N., Fuentes, L.: Software product line evolution with cardinality-based feature models. In: 12th International Conference on Software Reuse (ICSR) - Top Productivity through Software Reuse, pp. 102\u2013118. (2011). https:\/\/doi.org\/10.1007\/978-3-642-21347-2_9","DOI":"10.1007\/978-3-642-21347-2_9"},{"key":"1011_CR45","doi-asserted-by":"publisher","unstructured":"Th\u00fcm, T., Batory, D.S., K\u00e4stner, C.: Reasoning about edits to feature models. In: International Conference on Software Engineering, ICSE, pp. 254\u2013264 (2009). https:\/\/doi.org\/10.1109\/ICSE.2009.5070526","DOI":"10.1109\/ICSE.2009.5070526"},{"key":"1011_CR46","doi-asserted-by":"publisher","unstructured":"Bosch, J., Florijn, G., Greefhorst, D., Kuusela, J., Obbink, J.H., Pohl, K.: Variability issues in software product lines. In: Software Product-Family Engineering, PFE, pp. 13\u201321 (2001). https:\/\/doi.org\/10.1007\/3-540-47833-7_3","DOI":"10.1007\/3-540-47833-7_3"},{"issue":"5","key":"1011_CR47","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/s00607-018-0646-1","volume":"101","author":"JA Galindo","year":"2019","unstructured":"Galindo, J.A., Benavides, D., Trinidad, P., Guti\u00e9rrez-Fern\u00e1ndez, A.M., Ruiz-Cort\u00e9s, A.: Automated analysis of feature models: Quo vadis? Computing 101(5), 387\u2013433 (2019). https:\/\/doi.org\/10.1007\/s00607-018-0646-1","journal-title":"Computing"},{"issue":"6","key":"1011_CR48","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1016\/j.is.2010.01.001","volume":"35","author":"D Benavides","year":"2010","unstructured":"Benavides, D., Segura, S., Ruiz-Cort\u00e9s, A.: Automated analysis of feature models 20 years later: a literature review. Inf. Syst. 35(6), 615\u2013636 (2010). https:\/\/doi.org\/10.1016\/j.is.2010.01.001","journal-title":"Inf. Syst."},{"key":"1011_CR49","first-page":"11","volume-title":"International Software Product Line Conference (SPLC)","author":"J White","year":"2009","unstructured":"White, J., Dougherty, B., Schmidt, D.C., Benavides, D.: Automated reasoning for multi-step feature model configuration problems. In: International Software Product Line Conference (SPLC), pp. 11\u201320. Carnegie Mellon University, Pittsburgh (2009)"},{"issue":"3","key":"1011_CR50","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1002\/spe.2525","volume":"48","author":"J Kr\u00fcger","year":"2018","unstructured":"Kr\u00fcger, J., Pinnecke, M., Kenner, A., Kruczek, C., Benduhn, F., Leich, T., Saake, G.: Composing annotations without regret? practical experiences using featureC. Softw. Pract. Exp. 48(3), 402\u2013427 (2018). https:\/\/doi.org\/10.1002\/spe.2525","journal-title":"Softw. Pract. Exp."},{"issue":"8","key":"1011_CR51","doi-asserted-by":"publisher","first-page":"921","DOI":"10.1002\/spe.1087","volume":"41","author":"J D\u00edaz","year":"2011","unstructured":"D\u00edaz, J., P\u00e9rez, J., Alarc\u00f3n, P.P., Garbajosa, J.: Agile product line engineering\u2014a systematic literature review. Softw. Pract. Exp. 41(8), 921\u2013941 (2011). https:\/\/doi.org\/10.1002\/spe.1087","journal-title":"Softw. Pract. Exp."},{"issue":"4","key":"1011_CR52","doi-asserted-by":"publisher","first-page":"1763","DOI":"10.1007\/s10664-016-9462-4","volume":"22","author":"WKG Assun\u00e7\u00e3o","year":"2017","unstructured":"Assun\u00e7\u00e3o, W.K.G., Lopez-Herrejon, R.E., Linsbauer, L., Vergilio, S.R., Egyed, A.: Multi-objective reverse engineering of variability-safe feature models based on code dependencies of system variants. Empir. Softw. Eng. 22(4), 1763\u20131794 (2017). https:\/\/doi.org\/10.1007\/s10664-016-9462-4","journal-title":"Empir. Softw. Eng."},{"key":"1011_CR53","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/j.jss.2015.11.005","volume":"112","author":"JM Horcas","year":"2016","unstructured":"Horcas, J.M., Pinto, M., Fuentes, L.: An automatic process for weaving functional quality attributes using a software product line approach. J. Syst. Softw. 112, 78\u201395 (2016). https:\/\/doi.org\/10.1016\/j.jss.2015.11.005","journal-title":"J. Syst. Softw."},{"key":"1011_CR54","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1016\/j.infsof.2018.08.014","volume":"105","author":"M Marques","year":"2019","unstructured":"Marques, M., Simmonds, J., Rossel, P.O., Bastarrica, M.C.: Software product line evolution: a systematic literature review. Inf. Softw. Technol. 105, 190\u2013208 (2019)","journal-title":"Inf. Softw. Technol."},{"key":"1011_CR55","doi-asserted-by":"publisher","unstructured":"Horcas, J.M., Pinto, M., Fuentes, L.: Product line architecture for automatic evolution of multi-tenant applications. In: 20th IEEE International Enterprise Distributed Object Computing Conference (EDOC), pp. 1\u201310 (2016). https:\/\/doi.org\/10.1109\/EDOC.2016.7579384","DOI":"10.1109\/EDOC.2016.7579384"},{"key":"1011_CR56","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1016\/j.jss.2018.12.027","volume":"149","author":"M Raatikainen","year":"2019","unstructured":"Raatikainen, M., Tiihonen, J., M\u00e4nnist\u00f6, T.: Software product lines and variability modeling: a tertiary study. J. Syst. Softw. 149, 485\u2013510 (2019)","journal-title":"J. Syst. Softw."},{"key":"1011_CR57","unstructured":"Ralph, P., Baltes, S., Bianculli, D., Dittrich, Y., Felderer, M., Feldt, R., Filieri, A., Furia, C.A., Graziotin, D., He, P., Hoda, R., Juristo, N., Kitchenham, B., Robbes, R., Mendez, D., Molleri, J., Spinellis, D., Staron, M., Stol, K., Tamburri, D., Torchiano, M., Treude, C., Turhan, B., Vegas, S.: Acm sigsoft empirical standards (2020). arXiv: 2010.03525"},{"key":"1011_CR58","doi-asserted-by":"publisher","unstructured":"Dumitrescu, C., Mazo, R., Salinesi, C., Dauron, A.: Bridging the gap between product lines and systems engineering: an experience in variability management for automotive model based systems engineering. In: 17th International Software Product Line Conference (SPLC), pp. 254\u2013263 (2013). https:\/\/doi.org\/10.1145\/2491627.2491655","DOI":"10.1145\/2491627.2491655"},{"key":"1011_CR59","doi-asserted-by":"publisher","unstructured":"Ali, S., Arcaini, P., Hasuo, I., Ishikawa, F., Lee, N.Z.: Towards a framework for the analysis of multi-product lines in the automotive domain. In: Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, ACM, New York, NY, USA, VAMOS\u201919, pp. 12:1\u201312:6 (2019). https:\/\/doi.org\/10.1145\/3302333.3302345","DOI":"10.1145\/3302333.3302345"},{"issue":"4","key":"1011_CR60","doi-asserted-by":"publisher","first-page":"1926","DOI":"10.1002\/smr.1926","volume":"30","author":"JM Horcas","year":"2018","unstructured":"Horcas, J.M., Monteil, J., Bouroche, M., Pinto, M., Fuentes, L., Clarke, S.: Context-dependent reconfiguration of autonomous vehicles in mixed traffic. J. Softw. Evol. Process 30(4), 1926 (2018). https:\/\/doi.org\/10.1002\/smr.1926","journal-title":"J. Softw. Evol. Process"},{"key":"1011_CR61","doi-asserted-by":"publisher","unstructured":"Temple, P., Acher, M., Perrouin, G., Biggio, B., Jezequel, J.M., Roli, F.: Towards quality assurance of software product lines with adversarial configurations. In: Proceedings of the 23rd International Systems and Software Product Line Conference (SPLC), ACM, New York, NY, USA, SPLC\u201919, vol\u00a0A, pp. 277\u2013288 (2019). https:\/\/doi.org\/10.1145\/3336294.3336309","DOI":"10.1145\/3336294.3336309"},{"issue":"6","key":"1011_CR62","doi-asserted-by":"publisher","first-page":"657","DOI":"10.1016\/j.scico.2012.12.004","volume":"78","author":"M Acher","year":"2013","unstructured":"Acher, M., Collet, P., Lahire, P., France, R.B.: FAMILIAR: a domain-specific language for large scale management of feature models. Sci. Comput. Program. 78(6), 657\u2013681 (2013)","journal-title":"Sci. Comput. Program."},{"key":"1011_CR63","doi-asserted-by":"publisher","unstructured":"Acher, M., Collet, P., Lahire, P., Moisan, S., Rigault, J.: Modeling variability from requirements to runtime. In: 16th IEEE International Conference on Engineering of Complex Computer Systems, pp. 77\u201386 (2011). https:\/\/doi.org\/10.1109\/ICECCS.2011.15","DOI":"10.1109\/ICECCS.2011.15"},{"key":"1011_CR64","doi-asserted-by":"publisher","unstructured":"Arzt, S., Nadi, S., Ali, K., Bodden, E., Erdweg, S., Mezini, M.: Towards secure integration of cryptographic software. In: ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!), ACM, New York, NY, USA, Onward! 2015, pp. 1\u201313 (2015). https:\/\/doi.org\/10.1145\/2814228.2814229","DOI":"10.1145\/2814228.2814229"},{"key":"1011_CR65","doi-asserted-by":"publisher","unstructured":"Horcas, J., Pinto, M., Fuentes, L.: Automatic enforcement of security properties. In: 13th International Conference on Trust, Privacy and Security in Digital Business (TrustBus), pp. 19\u201331 (2016a). https:\/\/doi.org\/10.1007\/978-3-319-44341-6_2","DOI":"10.1007\/978-3-319-44341-6_2"},{"issue":"11","key":"1011_CR66","doi-asserted-by":"publisher","first-page":"1520","DOI":"10.1016\/j.infsof.2014.05.005","volume":"56","author":"T Berger","year":"2014","unstructured":"Berger, T., Pfeiffer, R., Tartler, R., Dienst, S., Czarnecki, K., Wasowski, A., She, S.: Variability mechanisms in software ecosystems. Inf. Softw. Technol. 56(11), 1520\u20131535 (2014). https:\/\/doi.org\/10.1016\/j.infsof.2014.05.005","journal-title":"Inf. Softw. Technol."},{"key":"1011_CR67","doi-asserted-by":"publisher","unstructured":"Kr\u00fcger, J., Nielebock, S., Krieter, S., Diedrich, C., Leich, T., Saake, G., Zug, S., Ortmeier, F.: Beyond software product lines: Variability modeling in cyber-physical systems. In: Proceedings of the 21st International Systems and Software Product Line Conference (SPLC), ACM, New York, NY, USA, SPLC\u201917, vol\u00a0A, pp. 237\u2013241 (2017). https:\/\/doi.org\/10.1145\/3106195.3106217","DOI":"10.1145\/3106195.3106217"},{"key":"1011_CR68","unstructured":"Arrieta, A., Sagardui, G., Etxeberria, L.: Cyber-physical systems product lines: Variability analysis and challenges. In: VI Jornadas de Computaci\u00f3n Empotrada (2015)"},{"key":"1011_CR69","doi-asserted-by":"publisher","unstructured":"Beek, M.H., Fantechi, A., Gnesi, S.: Product line models of large cyber-physical systems: The case of ERTMS\/ETCS. In: Proceedings of the 22nd International Systems and Software Product Line Conference, ACM, New York, NY, USA, SPLC\u201918, vol\u00a01, pp. 208\u2013214 (2018). https:\/\/doi.org\/10.1145\/3233027.3233046","DOI":"10.1145\/3233027.3233046"},{"key":"1011_CR70","doi-asserted-by":"publisher","unstructured":"Abd\u00a0Halim, S., Jawawi, D., Ibrahim, N., deris, S.: An approach for representing domain requirements and domain architecture in software product line. (2012). https:\/\/doi.org\/10.5772\/37704","DOI":"10.5772\/37704"},{"key":"1011_CR71","doi-asserted-by":"publisher","unstructured":"Gherardi, L., Hunziker, D., Mohanarajah, G.: A software product line approach for configuring cloud robotics applications. In: Proceedings of the IEEE International Conference on Cloud Computing, IEEE Computer Society, Washington, DC, USA, CLOUD\u201914, pp. 745\u2013752 (2014). https:\/\/doi.org\/10.1109\/CLOUD.2014.104","DOI":"10.1109\/CLOUD.2014.104"},{"key":"1011_CR72","unstructured":"Ziadi, T., Farges, J.L., Stinckwich, S., Ziane, M., Dhouib, S., Marmoiton, F., Morette, N., Novales, C., Kchir, S., Patin, B.: A toolset to address variability in mobile robotics. J. Softw. Eng. Robot. 7(1), 20\u201335 (2016). https:\/\/hal.sorbonne-universite.fr\/hal-01353929"},{"key":"1011_CR73","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/11554844_6","volume-title":"Software Product Lines","author":"KC Kang","year":"2005","unstructured":"Kang, K.C., Kim, M., Lee, J., Kim, B.: Feature-oriented re-engineering of legacy systems into product line assets\u2014a case study. In: Obbink, H., Pohl, K. (eds.) Software Product Lines, pp. 45\u201356. Springer, Heidelberg (2005)"},{"key":"1011_CR74","doi-asserted-by":"publisher","unstructured":"Horcas, J.M., Pinto, M., Fuentes, L.: An aspect-oriented model transformation to weave security using CVL. In: Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pp. 138\u2013147 (2014). https:\/\/doi.org\/10.5220\/0004890601380147","DOI":"10.5220\/0004890601380147"},{"key":"1011_CR75","unstructured":"She, S., Lotufo, R., Berger, T., Wasowski, A., Czarnecki, K.: The variability model of the linux kernel. In: Benavides, D., Batory, D.S., Gr\u00fcnbacher, P. (eds.) Fourth International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Universit\u00e4t Duisburg-Essen, ICB-Research Report, vol.\u00a037, pp. 45\u201351 (2010). http:\/\/www.vamos-workshop.net\/proceedings\/VaMoS_2010_Proceedings.pdf"},{"key":"1011_CR76","doi-asserted-by":"publisher","unstructured":"Pett, T., Th\u00fcm, T., Runge, T., Krieter, S., Lochau, M., Schaefer, I.: Product sampling for product lines: the scalability challenge. In: Proceedings of the 23rd International Systems and Software Product Line Conference (SPLC), ACM, vol\u00a0A, pp. 14:1\u201314:6 (2019). https:\/\/doi.org\/10.1145\/3336294.3336322,","DOI":"10.1145\/3336294.3336322"},{"key":"1011_CR77","doi-asserted-by":"publisher","unstructured":"Ochoa, L., Pereira, J.A., Gonz\u00e1lez-Rojas, O., Castro, H., Saake, G.: A survey on scalability and performance concerns in extended product lines configuration. In: Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), ACM, New York, NY, USA, VAMOS\u201917, pp. 5\u201312 (2017). https:\/\/doi.org\/10.1145\/3023956.3023959","DOI":"10.1145\/3023956.3023959"},{"key":"1011_CR78","doi-asserted-by":"publisher","unstructured":"Mendonca, M., Branco, M., Cowan, D.: S.P.L.O.T: software product lines online tools. In: Proceedings of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications, ACM, New York, NY, USA, OOPSLA\u201909, pp. 761\u2013762 (2009). https:\/\/doi.org\/10.1145\/1639950.1640002","DOI":"10.1145\/1639950.1640002"},{"key":"1011_CR79","doi-asserted-by":"publisher","unstructured":"Schmitt, A., Bettinger, C., Rock, G.: Glencoe\u2014a tool for specification, visualization and formal analysis of product lines. In: Transdisciplinary Engineering Methods for Social Innovation of Industry 4.0, Advances in Transdisciplinary Engineering, vol.\u00a07, pp. 665\u2013673 (2018). https:\/\/doi.org\/10.3233\/978-1-61499-898-3-665","DOI":"10.3233\/978-1-61499-898-3-665"},{"key":"1011_CR80","doi-asserted-by":"publisher","unstructured":"Spinczyk, O., Beuche, D.: Modeling and building software product lines with eclipse. In: Companion to the 19th Annual ACM SIGPLAN Conference on Object-oriented Programming Systems, Languages, and Applications, ACM, New York, NY, USA, OOPSLA\u201904, pp. 18\u201319 (2004). https:\/\/doi.org\/10.1145\/1028664.1028675","DOI":"10.1145\/1028664.1028675"},{"key":"1011_CR81","doi-asserted-by":"publisher","unstructured":"Antkiewicz, M., Bak, K., Murashkin, A., Olaechea, R., Liang, J.H.J., Czarnecki, K.: Clafer tools for product line engineering. In: Proceedings of the 17th International Software Product Line Conference Co-located Workshops, ACM, New York, NY, USA, SPLC\u201913 Workshops, pp. 130\u2013135 (2013). https:\/\/doi.org\/10.1145\/2499777.2499779","DOI":"10.1145\/2499777.2499779"},{"key":"1011_CR82","unstructured":"Prud\u2019homme, C., Fages, J.G., Lorca, X.: Choco Documentation. TASC - LS2N CNRS UMR 6241, COSLING S.A.S., (2017). http:\/\/www.choco-solver.org"},{"key":"1011_CR83","unstructured":"Benavides, D., Segura, S., Trinidad, P., Cort\u00e9s, A.R.: FAMA: tooling a framework for the automated analysis of feature models. In: International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS, pp. 129\u2013134 (2007)"},{"key":"1011_CR84","doi-asserted-by":"publisher","unstructured":"Leich, T., Apel, S., Marnitz, L., Saake, G.: Tool support for feature-oriented software development: FeatureIDE: an eclipse-based approach. In: Proceedings of the 2005 OOPSLA Workshop on Eclipse Technology eXchange, ACM, New York, NY, USA, eclipse\u201905, pp. 55\u201359 (2005). https:\/\/doi.org\/10.1145\/1117696.1117708","DOI":"10.1145\/1117696.1117708"},{"key":"1011_CR85","doi-asserted-by":"publisher","unstructured":"Krieter, S., Pinnecke, M., Kr\u00fcger, J., Sprey, J., Sontag, C., Th\u00fcm, T., Leich, T., Saake, G.: FeatureIDE: Empowering third-party developers. In: Proceedings of the 21st International Systems and Software Product Line Conference (SPLC), ACM, New York, NY, USA, SPLC\u201917, vol.\u00a0B, pp. 42\u201345 (2017). https:\/\/doi.org\/10.1145\/3109729.3109751","DOI":"10.1145\/3109729.3109751"},{"key":"1011_CR86","doi-asserted-by":"publisher","unstructured":"Beuche, D.: Using pure: variants across the product line lifecycle. In: Proceedings of the 20th International Systems and Software Product Line Conference (SPLC), ACM, New York, NY, USA, SPLC\u201916, pp. 333\u2013336 (2016). https:\/\/doi.org\/10.1145\/2934466.2962729","DOI":"10.1145\/2934466.2962729"},{"key":"1011_CR87","doi-asserted-by":"publisher","unstructured":"Horcas, J.M., Pinto, M., Fuentes, L.: Extending the common variability language (cvl) engine: a practical tool. In: Proceedings of the 21st International Systems and Software Product Line Conference (SPLC), ACM, New York, NY, USA, SPLC\u201917, vol.\u00a0B, pp. 32\u201337 (2017). https:\/\/doi.org\/10.1145\/3109729.3109749","DOI":"10.1145\/3109729.3109749"},{"key":"1011_CR88","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/j.jss.2016.05.018","volume":"120","author":"J Yli-Huumo","year":"2016","unstructured":"Yli-Huumo, J., Maglyas, A., Smolander, K.: How do software development teams manage technical debt? An empirical study. J. Syst. Softw. 120, 195\u2013218 (2016). https:\/\/doi.org\/10.1016\/j.jss.2016.05.018","journal-title":"J. Syst. Softw."},{"issue":"1","key":"1011_CR89","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1109\/TSE.2011.120","volume":"39","author":"S Apel","year":"2013","unstructured":"Apel, S., K\u00e4stner, C., Lengauer, C.: Language-independent and automated software composition: the featurehouse experience. IEEE Trans. Softw. Eng. 39(1), 63\u201379 (2013). https:\/\/doi.org\/10.1109\/TSE.2011.120","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"6","key":"1011_CR90","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1109\/TSE.2004.23","volume":"30","author":"D Batory","year":"2004","unstructured":"Batory, D., Sarvela, J.N., Rauschmayer, A.: Scaling step-wise refinement. IEEE Trans. Softw. Eng. 30(6), 355\u2013371 (2004). https:\/\/doi.org\/10.1109\/TSE.2004.23","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1011_CR91","doi-asserted-by":"publisher","unstructured":"Horcas, J.M., Pinto, M., Fuentes, L.: Variability and dependency modeling of quality attributes. In: 39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), pp 185\u2013188 (2013). https:\/\/doi.org\/10.1109\/SEAA.2013.20","DOI":"10.1109\/SEAA.2013.20"},{"key":"1011_CR92","doi-asserted-by":"publisher","unstructured":"Ghofrani, J., Fehlhaber, A.L.: Productlinre: Online management tool for requirements engineering of software product lines. In: Proceedings of the 22nd International Systems and Software Product Line Conference (SPLC), ACM, New York, NY, USA, SPLC\u201918, vol.\u00a02, pp 17\u201322 (2018). https:\/\/doi.org\/10.1145\/3236405.3236407","DOI":"10.1145\/3236405.3236407"},{"key":"1011_CR93","doi-asserted-by":"publisher","unstructured":"Basile, D., Di\u00a0Giandomenico, F., Gnesi, S.: FMCAT: Supporting dynamic service-based product lines. In: Proceedings of the 21st International Systems and Software Product Line Conference - Volume B, ACM, New York, NY, USA, SPLC\u201917, pp. 3\u20138 (2017). https:\/\/doi.org\/10.1145\/3109729.3109760","DOI":"10.1145\/3109729.3109760"},{"issue":"11","key":"1011_CR94","doi-asserted-by":"publisher","first-page":"1155","DOI":"10.1007\/s00607-018-0632-7","volume":"100","author":"D Munoz","year":"2018","unstructured":"Munoz, D., Pinto, M., Fuentes, L.: Finding correlations of features affecting energy consumption and performance of web servers using the HADAS eco-assistant. Computing 100(11), 1155\u20131173 (2018). https:\/\/doi.org\/10.1007\/s00607-018-0632-7","journal-title":"Computing"},{"key":"1011_CR95","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/3-540-46020-9_38","volume-title":"Software Reuse: Methods, Techniques, and Tools","author":"K Czarnecki","year":"2002","unstructured":"Czarnecki, K.: Generative programming: Methods, techniques, and applications tutorial abstract. In: Gacek, C. (ed.) Software Reuse: Methods, Techniques, and Tools, pp. 351\u2013352. Springer, Heidelberg (2002)"},{"key":"1011_CR96","unstructured":"Svendsen, A., Zhang, X., Fleurey, F., Haugen, \u00d8., Olsen, G.K., M\u00f8ller-Pedersen, B.: CVL tool - modeling variability in spls. In: 14th International Conference Software Product Lines (SPLC), vol\u00a02, p. 299 (2010)"},{"key":"1011_CR97","doi-asserted-by":"publisher","unstructured":"Vasilevskiy, A., Haugen Chauvel, F., Johansen, M.F., Shimbara, D.: The bvr tool bundle to support product line engineering. In: Proceedings of the 19th International Conference on Software Product Line (SPLC), ACM, New York, NY, USA, SPLC\u201915, pp. 380\u2013384 (2015). https:\/\/doi.org\/10.1145\/2791060.2791094","DOI":"10.1145\/2791060.2791094"},{"key":"1011_CR98","doi-asserted-by":"crossref","unstructured":"Cordy, M., Schobbens, P.Y., Heymans, P., Legay, A.: Beyond boolean product-line model checking: Dealing with feature attributes and multi-features. In: Proceedings of the 2013 International Conference on Software Engineering, IEEE Press, Piscataway, NJ, USA, ICSE\u201913, pp. 472\u2013481 (2013). http:\/\/dl.acm.org\/citation.cfm?id=2486788.2486851","DOI":"10.1109\/ICSE.2013.6606593"},{"key":"1011_CR99","doi-asserted-by":"publisher","unstructured":"Czarnecki, K., Wasowski, A.: Feature diagrams and logics: There and back again. In: 11th International Software Product Line Conference (SPLC), pp. 23\u201334 (2007). https:\/\/doi.org\/10.1109\/SPLINE.2007.24","DOI":"10.1109\/SPLINE.2007.24"},{"issue":"2","key":"1011_CR100","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/s10664-021-10102-5","volume":"27","author":"R Heradio","year":"2022","unstructured":"Heradio, R., Fern\u00e1ndez-Amor\u00f3s, D., Galindo, J.A., Benavides, D., Batory, D.S.: Uniform and scalable sampling of highly configurable systems. Empir. Softw. Eng. 27(2), 44 (2022). https:\/\/doi.org\/10.1007\/s10664-021-10102-5","journal-title":"Empir. Softw. Eng."},{"key":"1011_CR101","unstructured":"Oztok, U., Darwiche, A.: A top-down compiler for sentential decision diagrams. In: Proceedings of the 24th International Conference on Artificial Intelligence. AAAI Press, IJCAI\u201915, pp. 3141\u20133148 (2015). http:\/\/dl.acm.org\/citation.cfm?id=2832581.2832687"},{"key":"1011_CR102","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1016\/j.cl.2018.01.003","volume":"54","author":"JA Pereira","year":"2018","unstructured":"Pereira, J.A., Matuszyk, P., Krieter, S., Spiliopoulou, M., Saake, G.: Personalized recommender systems for product-line configuration processes. Comput. Lang. Syst. Struct. 54, 451\u2013471 (2018). https:\/\/doi.org\/10.1016\/j.cl.2018.01.003","journal-title":"Comput. Lang. Syst. Struct."},{"key":"1011_CR103","doi-asserted-by":"publisher","unstructured":"Pereira, J.A., Martinez, J., Gurudu, H.K., Krieter, S., Saake, G.: Visual guidance for product line configuration using recommendations and non-functional properties. In: Haddad, H.M., Wainwright, R.L., Chbeir, R. (eds.) Proceedings of the 33rd Annual ACM Symposium on Applied Computing (SAC), ACM, pp. 2058\u20132065 (2018). https:\/\/doi.org\/10.1145\/3167132.3167353","DOI":"10.1145\/3167132.3167353"},{"key":"1011_CR104","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/j.infsof.2017.10.018","volume":"95","author":"JM Horcas","year":"2018","unstructured":"Horcas, J.M., Pinto, M., Fuentes, L.: Variability models for generating efficient configurations of functional quality attributes. Inf. Softw. Technol. 95, 147\u2013164 (2018). https:\/\/doi.org\/10.1016\/j.infsof.2017.10.018","journal-title":"Inf. Softw. Technol."},{"issue":"3\u20134","key":"1011_CR105","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1007\/s11219-011-9152-9","volume":"20","author":"N Siegmund","year":"2012","unstructured":"Siegmund, N., Rosenm\u00fcller, M., Kuhlemann, M., K\u00e4stner, C., Apel, S., Saake, G.: SPL conqueror: toward optimization of non-functional properties in software product lines. Softw. Qual. J. 20(3\u20134), 487\u2013517 (2012). https:\/\/doi.org\/10.1007\/s11219-011-9152-9","journal-title":"Softw. Qual. J."},{"key":"1011_CR106","doi-asserted-by":"publisher","unstructured":"Oh, J., Batory, D., Myers, M., Siegmund, N.: Finding near-optimal configurations in product lines by random sampling. In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ACM, New York, NY, USA, ESEC\/FSE 2017, pp. 61\u201371 (2017). https:\/\/doi.org\/10.1145\/3106237.3106273","DOI":"10.1145\/3106237.3106273"},{"issue":"4","key":"1011_CR107","doi-asserted-by":"publisher","first-page":"14:1","DOI":"10.1145\/3176644","volume":"26","author":"Y Xiang","year":"2018","unstructured":"Xiang, Y., Zhou, Y., Zheng, Z., Li, M.: Configuring software product lines by combining many-objective optimization and sat solvers. ACM Trans. Softw. Eng. Methodol. 26(4), 14:1-14:46 (2018). https:\/\/doi.org\/10.1145\/3176644","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"1011_CR108","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/978-3-319-95171-3_34","volume-title":"Computational Science and Its Applications - ICCSA 2018","author":"A Buccella","year":"2018","unstructured":"Buccella, A., Pol\u2019la, M., de Galarreta, E.R., Cechich, A.: Combining automatic variability analysis tools: an SPL approach for building a framework for composition. In: Gervasi, O., Murgante, B., Misra, S., Stankova, E., Torre, C.M., Rocha, A.M.A., Taniar, D., Apduhan, B.O., Tarantino, E., Ryu, Y. (eds.) Computational Science and Its Applications - ICCSA 2018, pp. 435\u2013451. Springer, Cham (2018)"},{"key":"1011_CR109","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61443-4","volume-title":"Mastering Software Variability with FeatureIDE","author":"J Meinicke","year":"2017","unstructured":"Meinicke, J., Th\u00fcm, T., Schr\u00f6ter, R., Benduhn, F., Leich, T., Saake, G.: Mastering Software Variability with FeatureIDE. Springer, Berlin (2017). https:\/\/doi.org\/10.1007\/978-3-319-61443-4"},{"key":"1011_CR110","doi-asserted-by":"publisher","unstructured":"Schulze, S., Schulze, M., Ryssel, U., Seidl, C.: Aligning coevolving artifacts between software product lines and products. In: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), ACM, New York, NY, USA, VaMoS\u201916, pp. 9\u201316 (2016). https:\/\/doi.org\/10.1145\/2866614.2866616","DOI":"10.1145\/2866614.2866616"},{"key":"1011_CR111","doi-asserted-by":"publisher","first-page":"269","DOI":"10.3390\/e18080269","volume":"18","author":"GK Narwane","year":"2016","unstructured":"Narwane, G.K., Galindo, J.A., Krishna, S.N., Benavides, D., Millo, J.V., Ramesh, S.: Traceability analyses between features and assets in software product lines. Entropy 18, 269 (2016)","journal-title":"Entropy"},{"key":"1011_CR112","doi-asserted-by":"publisher","unstructured":"Hellebrand, R., Schulze, M., Ryssel, U.: Reverse engineering challenges of the feedback scenario in co-evolving product lines. In: Proceedings of the 21st International Systems and Software Product Line Conference (SPLC), ACM, New York, NY, USA, SPLC \u201917, vol\u00a0B, pp. 53\u201356 (2017). https:\/\/doi.org\/10.1145\/3109729.3109735","DOI":"10.1145\/3109729.3109735"},{"key":"1011_CR113","doi-asserted-by":"publisher","first-page":"104883","DOI":"10.1016\/j.knosys.2019.104883","volume":"184","author":"I Ayala","year":"2019","unstructured":"Ayala, I., Amor, M., Horcas, J.M., Fuentes, L.: A goal-driven software product line approach for evolving multi-agent systems in the internet of things. Knowl. Based Syst. 184, 104883 (2019). https:\/\/doi.org\/10.1016\/j.knosys.2019.104883","journal-title":"Knowl. Based Syst."},{"issue":"4","key":"1011_CR114","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/MS.2002.1020283","volume":"19","author":"PC Clements","year":"2002","unstructured":"Clements, P.C., Krueger, C.W.: Point\u2014counterpoint: being proactive pays off\u2014eliminating the adoption. IEEE Softw. 19(4), 28\u201331 (2002). https:\/\/doi.org\/10.1109\/MS.2002.1020283","journal-title":"IEEE Softw."},{"key":"1011_CR115","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2021.111086","volume":"183","author":"A Ca\u00f1ete","year":"2022","unstructured":"Ca\u00f1ete, A., Amor, M., Fuentes, L.: Supporting IoT applications deployment on edge-based infrastructures using multi-layer feature models. J. Syst. Softw. 183, 111086 (2022). https:\/\/doi.org\/10.1016\/j.jss.2021.111086","journal-title":"J. Syst. Softw."},{"key":"1011_CR116","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29044-2","volume-title":"Experimentation in Software Engineering","author":"C Wohlin","year":"2012","unstructured":"Wohlin, C., Runeson, P., H\u00f6st, M., Ohlsson, M.C., Regnell, B.: Experimentation in Software Engineering. Springer, Berlin (2012). https:\/\/doi.org\/10.1007\/978-3-642-29044-2"},{"key":"1011_CR117","doi-asserted-by":"publisher","unstructured":"Martinez, J., Assun\u00e7\u00e3o, W.K.G., Ziadi, T.: ESPLA: a catalog of extractive SPL adoption case studies. In: Proceedings of the 21st International Systems and Software Product Line Conference (SPLC), ACM, vol.\u00a0B, pp. 38\u201341 (2017). https:\/\/doi.org\/10.1145\/3109729.3109748","DOI":"10.1145\/3109729.3109748"},{"key":"1011_CR118","unstructured":"Capilla, R., S\u00e1nchez, A., Due\u00f1as, J.C.: An analysis of variability modeling and management tools for product line development. In: Software and Service Variability Management Workshop-Concepts, Models, and Tools, pp. 32\u201347 (2007)"},{"issue":"3","key":"1011_CR119","doi-asserted-by":"publisher","first-page":"2265","DOI":"10.1007\/s10270-018-0662-9","volume":"18","author":"SS Kolesnikov","year":"2019","unstructured":"Kolesnikov, S.S., Siegmund, N., K\u00e4stner, C., Grebhahn, A., Apel, S.: Tradeoffs in modeling performance of highly configurable software systems. Softw. Syst. Model. 18(3), 2265\u20132283 (2019). https:\/\/doi.org\/10.1007\/s10270-018-0662-9","journal-title":"Softw. Syst. Model."},{"key":"1011_CR120","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1016\/j.jss.2018.07.054","volume":"144","author":"L Ochoa","year":"2018","unstructured":"Ochoa, L., Rojas, O.G., Pereira, J.A., Castro, H., Saake, G.: A systematic literature review on the semi-automatic configuration of extended product lines. J. Syst. Softw. 144, 511\u2013532 (2018). https:\/\/doi.org\/10.1016\/j.jss.2018.07.054","journal-title":"J. Syst. Softw."},{"key":"1011_CR121","doi-asserted-by":"publisher","unstructured":"Tolvanen, J.P., Kelly, S.: How domain-specific modeling languages address variability in product line development: investigation of 23 cases. In: Proceedings of the 23rd International Systems and Software Product Line Conference (SPLC), ACM, New York, NY, USA, SPLC\u201919, vol.\u00a0A, pp. 155\u2013163 (2019). https:\/\/doi.org\/10.1145\/3336294.3336316","DOI":"10.1145\/3336294.3336316"},{"key":"1011_CR122","doi-asserted-by":"publisher","unstructured":"Pereira, J.A., Souza, C., Figueiredo, E., Ab\u00edlio, R., Vale, G., Costa, H.A.X.: Software variability management: an exploratory study with two feature modeling tools. In: VII Brazilian Symposium on Software Components, Architectures and Reuse, IEEE Computer Society, pp. 20\u201329 (2013). https:\/\/doi.org\/10.1109\/SBCARS.2013.13","DOI":"10.1109\/SBCARS.2013.13"},{"key":"1011_CR123","doi-asserted-by":"publisher","unstructured":"Krueger, C., Clements, P.: Feature-based systems and software product line engineering with gears from biglever. In: Proceedings of the 22nd International Systems and Software Product Line Conference (SPLC), ACM, New York, NY, USA, SPLC\u201918, vol.\u00a02, pp. 1\u20134 (2018). https:\/\/doi.org\/10.1145\/3236405.3236409","DOI":"10.1145\/3236405.3236409"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-022-01011-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-022-01011-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-022-01011-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,22]],"date-time":"2023-02-22T06:42:37Z","timestamp":1677048157000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-022-01011-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,8]]},"references-count":123,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,2]]}},"alternative-id":["1011"],"URL":"https:\/\/doi.org\/10.1007\/s10270-022-01011-2","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2022,6,8]]},"assertion":[{"value":"30 April 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 December 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 April 2022","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 June 2022","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}