{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T23:21:49Z","timestamp":1773789709683,"version":"3.50.1"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2021,7,4]],"date-time":"2021-07-04T00:00:00Z","timestamp":1625356800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,7,4]],"date-time":"2021-07-04T00:00:00Z","timestamp":1625356800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["SPP1593"],"award-info":[{"award-number":["SPP1593"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002322","name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","doi-asserted-by":"publisher","award":["465614\/2014-0"],"award-info":[{"award-number":["465614\/2014-0"]}],"id":[{"id":"10.13039\/501100002322","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002322","name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","doi-asserted-by":"publisher","award":["88881.129599\/2016-0"],"award-info":[{"award-number":["88881.129599\/2016-0"]}],"id":[{"id":"10.13039\/501100002322","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002347","name":"Bundesministerium f\u00fcr Bildung und Forschung","doi-asserted-by":"publisher","award":["01IS16043S"],"award-info":[{"award-number":["01IS16043S"]}],"id":[{"id":"10.13039\/501100002347","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006162","name":"Funda\u00e7\u00e3o de Amparo \u00e1 Ci\u00eancia e Tecnologia do Estado de Pernambuco","doi-asserted-by":"publisher","award":["APQ-0388-1.03\/14"],"award-info":[{"award-number":["APQ-0388-1.03\/14"]}],"id":[{"id":"10.13039\/501100006162","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006162","name":"Funda\u00e7\u00e3o de Amparo \u00e1 Ci\u00eancia e Tecnologia do Estado de Pernambuco","doi-asserted-by":"publisher","award":["APQ-0399-1.03\/17"],"award-info":[{"award-number":["APQ-0399-1.03\/17"]}],"id":[{"id":"10.13039\/501100006162","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006162","name":"Funda\u00e7\u00e3o de Amparo \u00e1 Ci\u00eancia e Tecnologia do Estado de Pernambuco","doi-asserted-by":"publisher","award":["APQ-0570-1.03\/14"],"award-info":[{"award-number":["APQ-0570-1.03\/14"]}],"id":[{"id":"10.13039\/501100006162","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003593","name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","doi-asserted-by":"publisher","award":["409335\/2016-9"],"award-info":[{"award-number":["409335\/2016-9"]}],"id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003593","name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","doi-asserted-by":"publisher","award":["465614\/2014-0"],"award-info":[{"award-number":["465614\/2014-0"]}],"id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003593","name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","doi-asserted-by":"publisher","award":["INES 2.0"],"award-info":[{"award-number":["INES 2.0"]}],"id":[{"id":"10.13039\/501100003593","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":[[2022,2]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>A product line is an approach for systematically managing configuration options of customizable systems, usually by means of features. Products are generated for configurations consisting of selected features. Product-line evolution can lead to unintended changes to product behavior. We illustrate that updating configurations after product-line evolution requires decisions of both, domain engineers responsible for product-line evolution as well as application engineers responsible for configurations. The challenge is that domain and application engineers might not be able to interact with each other. We propose a formal foundation and a methodology that enables domain engineers to guide application engineers through configuration evolution by sharing knowledge on product-line evolution and by defining automatic update operations for configurations. As an effect, we enable knowledge transfer between those engineers without the need for interactions. We evaluate our methodology on four large-scale industrial product lines. The results of the qualitative evaluation indicate that our method is flexible enough for real-world product-line evolution. The quantitative evaluation indicates that we detect product behavior changes for up to <jats:inline-formula><jats:alternatives><jats:tex-math>$$55.3\\%$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mn>55.3<\/mml:mn>\n                    <mml:mo>%<\/mml:mo>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> of the configurations which would not have been detected using existing methods.\n<\/jats:p>","DOI":"10.1007\/s10270-021-00906-w","type":"journal-article","created":{"date-parts":[[2021,7,4]],"date-time":"2021-07-04T07:02:26Z","timestamp":1625382146000},"page":"225-247","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Guiding the evolution of product-line configurations"],"prefix":"10.1007","volume":"21","author":[{"given":"Michael","family":"Nieke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriela","family":"Sampaio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Th\u00fcm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Seidl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leopoldo","family":"Teixeira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,7,4]]},"reference":[{"key":"906_CR1","unstructured":"Th\u00fcm, T., Krieter, S., Schaefer,I.: Product configuration in the wild: strategies for conflicting decisions in web configurators. Proc. Configuration Workshop (ConfWS). pp.\u00a01\u20138, RWTH Aachen University (2018)"},{"key":"906_CR2","doi-asserted-by":"crossref","unstructured":"Pett, T., Th\u00fcm, T., Runge, T., Krieter, S., Lochau, M., Schaefer, I.: Product sampling for product lines: the scalability challenge. Proc. Int\u2019l Systems and Software Product Line Conf. (SPLC). pp.\u00a078\u201383, ACM (2019)","DOI":"10.1145\/3336294.3336322"},{"key":"906_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations","author":"K Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations. Springer, Principles and Techniques (2005)"},{"key":"906_CR4","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., K\u00e4stner, C., Saake, G.: Feature-oriented Software Product Lines: Concepts and Implementation. Springer, Berlin (2013)"},{"key":"906_CR5","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. CMU\/SEI-90-TR-21, Software Engineering Institute (1990)","DOI":"10.21236\/ADA235785"},{"key":"906_CR6","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/s10009-012-0253-y","volume":"14","author":"I Schaefer","year":"2012","unstructured":"Schaefer, I., Rabiser, R., Clarke, D., Bettini, L., Benavides, D., Botterweck, G., Pathak, A., Trujillo, S., Villela, K.: Software diversity: state of the art and perspectives. Int. J. Softw. Tools Technol. Transf. 14, 477\u2013495 (2012)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"906_CR7","volume-title":"Generative Programming: Methods, Tools, and Applications","author":"K Czarnecki","year":"2000","unstructured":"Czarnecki, K., Eisenecker, U.: Generative Programming: Methods, Tools, and Applications. ACM\/Addison-Wesley, New York (2000)"},{"key":"906_CR8","first-page":"2","volume":"33","author":"C Quinton","year":"2021","unstructured":"Quinton, C., Vierhauser, M., Rabiser, R., Baresi, L., Gr\u00fcnbacher, P., Schuhmayer, C.: Evolution in dynamic software product lines. J. Softw. Evolut. Process. 33, 2 (2021)","journal-title":"J. Softw. Evolut. Process."},{"key":"906_CR9","doi-asserted-by":"crossref","unstructured":"Pett, T., Krieter, S., Runge, T., Th\u00fcm, T., Lochau, M., Schaefer, I.: Stability of product-line sampling in continuous integration. In Proc. int\u2019l working conf. on variability modelling of software-intensive systems (VaMoS). ACM (2021)","DOI":"10.1145\/3442391.3442410"},{"key":"906_CR10","doi-asserted-by":"crossref","unstructured":"Michelon, G.K., Obermann, D.,Linsbauer, L., Assun\u00e7\u00e3o, W.K.G., Gr\u00fcnbacher, P., Egyed, A.: Locating feature revisions in software systems evolving in space and time. In Proc. Int\u2019l Systems and Software Product Line Conf. (SPLC). ACM (2020)","DOI":"10.1145\/3382025.3414954"},{"key":"906_CR11","doi-asserted-by":"crossref","unstructured":"Ananieva, S., Greiner, S., K\u00fchn, T., Kr\u00fcger, J., Linsbauer, L., Gr\u00fcner, S., Kehrer, T., Klare, H., Koziolek, A., L\u00f6nn, H., Krieter, S., Seidl, C., Ramesh, S., Reussner, R., Westfechtel, B.: A conceptual model for unifying variability in space and time. In Proc. Int\u2019l systems and software product line conf. (SPLC). pp.\u00a01\u201312, ACM (2020)","DOI":"10.1145\/3382025.3414955"},{"key":"906_CR12","doi-asserted-by":"crossref","unstructured":"Kr\u00f6her, C., Gerling, L., Schmid, K.: Identifying the intensity of variability changes in software product line evolution. In Proc. Int\u2019l systems and software product line conf. (SPLC). pp.\u00a054\u201364, ACM (2018)","DOI":"10.1145\/3233027.3233032"},{"key":"906_CR13","doi-asserted-by":"crossref","unstructured":"Gomes, K., Teixeira, L., Alves, T., Ribeiro, M., Gheyi, R.: characterizing safe and partially safe evolution scenarios in product lines: an empirical study. In Proc. int\u2019l workshop on variability modelling of software-intensive systems (VaMoS). ACM (2019)","DOI":"10.1145\/3302333.3302346"},{"key":"906_CR14","doi-asserted-by":"crossref","unstructured":"Berger, T., Nair, D., Rublack, R., Atlee, J.M., Czarnecki, K., W\u0105sowski, A.: Three cases of feature-based variability modeling in industry. In Proc. int\u2019l conf. on model driven engineering languages and systems (MODELS). pp.\u00a0302\u2013319, Springer (2014)","DOI":"10.1007\/978-3-319-11653-2_19"},{"key":"906_CR15","doi-asserted-by":"crossref","unstructured":"Mukelabai, M., Ne\u0161i\u0107, D., Maro, S., Berger, T., Stegh\u00f6fer, J.-P.: Tackling combinatorial explosion: a study of industrial needs and practices for analyzing highly configurable systems. In Proc. int\u2019l conf. on automated software engineering (ASE). pp.\u00a0155\u2013166, ACM (2018)","DOI":"10.1145\/3238147.3238201"},{"key":"906_CR16","doi-asserted-by":"crossref","unstructured":"White, J., Schmidt, D.C., Benavides, D., Trinidad, P., Ruiz-Cort\u00e9s, A.: Automated diagnosis of product-line configuration errors in feature models. In Proc. int\u2019l systems and software product line conf. (SPLC). pp.\u00a0225\u2013234, IEEE (2008)","DOI":"10.1109\/SPLC.2008.16"},{"key":"906_CR17","unstructured":"Bosch, J.: Software product lines: organizational alternatives. In Proc. int\u2019l conf. on software engineering (ICSE). pp.\u00a091\u2013100, IEEE (2001)"},{"key":"906_CR18","doi-asserted-by":"crossref","unstructured":"Xu, T., Zhang, J., Huang, P., Zheng, J., Sheng, T., Yuan, D., Zhou, Y., Pasupathy, S.: Do no blame users for misconfigurations. In Proc. ACM symposium on operating systems principles (SOSP). pp.\u00a0244\u2013259, ACM (2013)","DOI":"10.1145\/2517349.2522727"},{"key":"906_CR19","doi-asserted-by":"crossref","unstructured":"Zhang, S., Ernst, M.D.: Which configuration option should I change? In Proc. int\u2019l conf. on software engineering (ICSE). pp.\u00a0152\u2013163, ACM (2014)","DOI":"10.1145\/2568225.2568251"},{"key":"906_CR20","doi-asserted-by":"crossref","unstructured":"Wang, B., Passos, L., Xiong, Y., Czarnecki, K., Zhao, H., Zhang, W.: SmartFixer: fixing software configurations based on dynamic priorities. In Proc. Int\u2019l systems and software product line conf. (SPLC). pp.\u00a082\u201390, ACM (2013)","DOI":"10.1145\/2491627.2491640"},{"key":"906_CR21","doi-asserted-by":"crossref","unstructured":"Xiong, Y., Hubaux, A., She, S., Czarnecki, K.: Generating range fixes for software configuration. In Proc. int\u2019l conf. on software engineering (ICSE). pp.\u00a058\u201368, IEEE (2012)","DOI":"10.1109\/ICSE.2012.6227206"},{"key":"906_CR22","doi-asserted-by":"crossref","unstructured":"Sampaio, G., Borba, P., Teixeira, L.: Partially safe evolution of software product lines. In Proc. int\u2019l systems and software product line conf. (SPLC). pp.\u00a0124\u2013133, ACM (2016)","DOI":"10.1145\/2934466.2934482"},{"key":"906_CR23","doi-asserted-by":"crossref","unstructured":"Nieke, M., Sampaio, G., Th\u00fcm, T., Seidl, C., Teixeira, L., Schaefer, I.: GuyDance: guiding configuration updates for product-line evolution. In Proc. int\u2019l workshop on variability and evolution of software-intensive systems (VariVolution). pp.\u00a056\u201364, ACM (2020)","DOI":"10.1145\/3382026.3425769"},{"key":"906_CR24","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.tcs.2012.01.031","volume":"455","author":"P Borba","year":"2012","unstructured":"Borba, P., Teixeira, L., Gheyi, R.: A theory of software product line refinement. Theor. Comput. Sci. 455, 2\u201330 (2012)","journal-title":"Theor. Comput. Sci."},{"key":"906_CR25","doi-asserted-by":"crossref","unstructured":"Th\u00fcm, T., K\u00e4stner, C., Erdweg, S., Siegmund, N.: Abstract features in feature modeling. In Proc. int\u2019l systems and software product line conf. (SPLC). pp.\u00a0191\u2013200, IEEE (2011)","DOI":"10.1109\/SPLC.2011.53"},{"issue":"2","key":"906_CR26","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1090\/S0002-9947-1953-0053041-6","volume":"74","author":"HG Rice","year":"1953","unstructured":"Rice, H.G.: Classes of recursively enumerable sets and their decision problems. Trans. Am. Math. Soc. 74(2), 358\u2013366 (1953)","journal-title":"Trans. Am. Math. Soc."},{"key":"906_CR27","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/s10664-015-9364-x","volume":"21","author":"L Passos","year":"2016","unstructured":"Passos, L., Teixeira, L., Dintzner, N., Apel, S., W\u0105sowski, A., Czarnecki, K., Borba, P., Guo, J.: Coevolution of variability models and related software artifacts. Empir. Softw. Eng. 21, 4 (2016)","journal-title":"Empir. Softw. Eng."},{"key":"906_CR28","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/j.jss.2015.04.024","volume":"106","author":"L Neves","year":"2015","unstructured":"Neves, L., Borba, P., Alves, V., Turnes, L., Teixeira, L., Sena, D., Kulesza, U.: Safe evolution templates for software product lines. J. Syst. Softw. 106, 42\u201358 (2015)","journal-title":"J. Syst. Softw."},{"key":"906_CR29","doi-asserted-by":"crossref","unstructured":"Nieke, M., Seidl, C., Schuster, S.: Guaranteeing configuration validity in evolving software product lines. In Proc. int\u2019l workshop on variability modelling of software-intensive systems (VaMoS). pp.\u00a073\u201380, ACM, (2016)","DOI":"10.1145\/2866614.2866625"},{"key":"906_CR30","doi-asserted-by":"crossref","unstructured":"Owre, S., Rajan, S.P., Rushby, J.M. Shankar, N., Srivas, M.K.: PVS: combining specification, proof checking, and model checking. In Proc. Int\u2019l conf. on computer aided verification (CAV). pp.\u00a0411\u2013414, Springer (1996)","DOI":"10.1007\/3-540-61474-5_91"},{"issue":"2","key":"906_CR31","doi-asserted-by":"publisher","first-page":"905","DOI":"10.1007\/s10664-017-9557-6","volume":"23","author":"N Dintzner","year":"2018","unstructured":"Dintzner, N., van Deursen, A., Pinzger, M.: FEVER: an approach to analyze feature-oriented changes and artefact co-evolution in highly configurable systems. Empir. Softw. Eng. 23(2), 905\u2013952 (2018)","journal-title":"Empir. Softw. Eng."},{"key":"906_CR32","doi-asserted-by":"crossref","unstructured":"Krieter, S., Th\u00fcm, T., Schulze, S., Schr\u00f6ter, R., Saake, G.: Propagating configuration decisions with modal implication graphs. In Proc. int l conf. on software engineering (ICSE). pp.\u00a0898\u2013909, ACM (2018)","DOI":"10.1145\/3180155.3180159"},{"key":"906_CR33","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, C., Giarrusso, P.G., Rendel, T., Erdweg, S., Ostermann, K., Berger, T.: Variability-aware parsing in the presence of lexical macros and conditional compilation. In Proc. conf. on object-oriented programming, systems, languages and applications (OOPSLA). pp.\u00a0805\u2013824, ACM (2011)","DOI":"10.1145\/2076021.2048128"},{"key":"906_CR34","doi-asserted-by":"crossref","unstructured":"Montaghami, V., Rayside, D.: staged evaluation of partial instances in a relational model finder. In Proc. int\u2019l conf. on abstract state machines, alloy, B, TLA, VDM, and Z. pp.\u00a0318\u2013323, Springer (2014)","DOI":"10.1007\/978-3-662-43652-3_32"},{"key":"906_CR35","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)"},{"key":"906_CR36","doi-asserted-by":"crossref","unstructured":"Pereira, J.A., Matuszyk, P., Krieter, S., Spiliopoulou, M., Saake, G.: A feature-based personalized recommender system for product-line configuration. In Proc. int\u2019l conf. on generative programming and component engineering (GPCE). ACM (2016)","DOI":"10.1145\/2993236.2993249"},{"key":"906_CR37","doi-asserted-by":"crossref","unstructured":"Pereira, J.A., Schulze, S., Figueiredo, E., Saake, G.: N-Dimensional tensor factorization for self-configuration of software product lines at runtime. In Proc. int\u2019l systems and software product line conf. (SPLC). p.\u00a087\u201397, ACM (2018)","DOI":"10.1145\/3233027.3233039"},{"key":"906_CR38","doi-asserted-by":"crossref","unstructured":"Pereira, J.A., Schulze, S., Krieter, S., Ribeiro, M., Saake, G.: A context-aware recommender system for extended software product line configurations. In Proc. int\u2019l workshop on variability modelling of software-intensive systems (VaMoS). p.\u00a097\u2013104, ACM (2018)","DOI":"10.1145\/3168365.3168373"},{"key":"906_CR39","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.jss.2019.04.051","volume":"155","author":"G Sampaio","year":"2019","unstructured":"Sampaio, G., Borba, P., Teixeira, L.: Partially safe evolution of software product lines. J. Syst. Softw. 155, 17\u201342 (2019)","journal-title":"J. Syst. Softw."},{"key":"906_CR40","doi-asserted-by":"crossref","unstructured":"Oh, J., Gazzillo, P., Batory, D.: t-Wise coverage by uniform sampling. In Proc. int\u2019l systems and software product line conf. (SPLC). pp.\u00a084\u201387, ACM (2019)","DOI":"10.1145\/3336294.3342359"},{"key":"906_CR41","doi-asserted-by":"crossref","unstructured":"El-Sharkawy, S., Krafczyk, A., Schmid, K.: Analysing the kconfig semantics and its analysis tools. In Proc. int\u2019l conf. on generative programming: concepts & experiences (GPCE). pp.\u00a045\u201354, ACM (2015)","DOI":"10.1145\/2936314.2814222"},{"issue":"4","key":"906_CR42","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1007\/s10515-015-0185-3","volume":"23","author":"J B\u00fcrdek","year":"2015","unstructured":"B\u00fcrdek, J., Kehrer, T., Lochau, M., Reuling, D., Kelter, U., Sch\u00fcrr, A.: Reasoning about product-line evolution using complex feature model differences. Automat. Softw. Eng. 23(4), 687\u2013733 (2015)","journal-title":"Automat. Softw. Eng."},{"key":"906_CR43","doi-asserted-by":"crossref","unstructured":"Ziegler, A., Rothberg, V., Lohmann, D.: Analyzing the impact of feature changes in linux. In Proc. int\u2019l workshop on variability modelling of software-intensive systems (vamos). pp.\u00a025\u201332, ACM, (2016)","DOI":"10.1145\/2866614.2866618"},{"key":"906_CR44","doi-asserted-by":"crossref","unstructured":"Tartler, R., Lohmann, D., Sincero, J., Schr\u00f6der-Preikschat, W.: Feature Consistency in Compile-time-configurable system software: facing the linux 10,000 feature problem. Proc. Europ. Conf. on Computer Systems. pp47\u201360 (2011)","DOI":"10.1145\/1966445.1966451"},{"issue":"3","key":"906_CR45","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1145\/2094091.2094095","volume":"45","author":"R Tartler","year":"2012","unstructured":"Tartler, R., Lohmann, D., Dietrich, C., Egger, C., Sincero, J.: Configuration coverage in the analysis of large-scale system software. ACM SIGOPS Oper. Syst. Rev. 45(3), 10\u201314 (2012)","journal-title":"ACM SIGOPS Oper. Syst. Rev."},{"key":"906_CR46","doi-asserted-by":"crossref","unstructured":"Nadi, S., Dietrich, C., Tartler, R., Holt, R.C., Lohmann, D.: Linux variability anomalies: what causes them and how do they get fixed?,\u201d In Proc. working conf. on mining software repositories (MSR). pp.\u00a0111\u2013120, IEEE (2013)","DOI":"10.1109\/MSR.2013.6624017"},{"key":"906_CR47","doi-asserted-by":"crossref","unstructured":"Th\u00fcm, T., Batory, D., K\u00e4stner, C.: Reasoning about edits to feature models. In Proc. int\u2019l conf. on software engineering (ICSE). pp.\u00a0254\u2013264, IEEE, (2009)","DOI":"10.1109\/ICSE.2009.5070526"},{"key":"906_CR48","doi-asserted-by":"crossref","unstructured":"Alves, V., Gheyi, R., Massoni, T., Kulesza, U., Borba, P., de\u00a0Lucena, C.J.P.: Refactoring product lines. In int\u2019l conf. on generative programming and component engineering (GPCE). pp.\u00a0201\u2013210, ACM, (2006)","DOI":"10.1145\/1173706.1173737"},{"key":"906_CR49","doi-asserted-by":"crossref","unstructured":"Schulze, S.,\u00a0Th\u00fcm, T.,\u00a0Kuhlemann, M.,\u00a0Saake, G.: Variant-preserving refactoring in feature-oriented software product lines. In Proc. int\u2019l workshop on variability modelling of software-intensive systems (VaMoS). pp.\u00a073\u201381, ACM, (2012)","DOI":"10.1145\/2110147.2110156"},{"key":"906_CR50","doi-asserted-by":"crossref","unstructured":"Schulze, S., Richers, O., Schaefer, I.: Refactoring delta-oriented software product lines. In Proc. int\u2019l conf. on aspect-oriented software development (AOSD). pp.\u00a073\u201384, ACM, (2013)","DOI":"10.1145\/2451436.2451446"},{"key":"906_CR51","doi-asserted-by":"crossref","unstructured":"Seidl, C., Heidenreich, F., A\u00dfmann, U.: Co-evolution of models and feature mapping in software product lines. In Proc. int\u2019l systems and software product line conf. (SPLC). pp.\u00a076\u201385, ACM, (2012)","DOI":"10.1145\/2362536.2362550"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-021-00906-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-021-00906-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-021-00906-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,16]],"date-time":"2022-02-16T06:07:37Z","timestamp":1644991657000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-021-00906-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,4]]},"references-count":51,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2022,2]]}},"alternative-id":["906"],"URL":"https:\/\/doi.org\/10.1007\/s10270-021-00906-w","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,7,4]]},"assertion":[{"value":"29 September 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 May 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 June 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 July 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}