{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T00:34:42Z","timestamp":1767832482038,"version":"3.49.0"},"reference-count":82,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2022,3,17]],"date-time":"2022-03-17T00:00:00Z","timestamp":1647475200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,3,17]],"date-time":"2022-03-17T00:00:00Z","timestamp":1647475200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100002347","name":"Bundesministerium f\u00fcr Bildung und Forschung","doi-asserted-by":"publisher","award":["01IS16042H"],"award-info":[{"award-number":["01IS16042H"]}],"id":[{"id":"10.13039\/501100002347","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Universit\u00e4t Hildesheim"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Empir Software Eng"],"published-print":{"date-parts":[[2022,5]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Verification approaches for Software Product Lines (SPL) aim at detecting variability-related defects and inconsistencies. In general, these analyses take a significant amount of time to provide complete results for an entire, complex SPL. If the SPL evolves, these results potentially become invalid, which requires a time-consuming re-verification of the entire SPL for each increment. However, in previous work we showed that variability-related changes occur rather infrequently and typically only affect small parts of a SPL. In this paper, we utilize this observation and present an <jats:italic>incremental dead variable code analysis<\/jats:italic> as an example for <jats:italic>incremental SPL verification<\/jats:italic>, which achieves significant performance improvements. It explicitly considers changes and partially updates its previous results by re-verifying changed artifacts only. We apply this approach to the Linux kernel demonstrating that our fastest incremental strategy takes only 3.20 seconds or less for most of the changes, while the non-incremental approach takes 1,020 seconds in median. We also discuss the impact of different variants of our strategy on the overall performance, providing insights into optimizations that are worthwhile.<\/jats:p>","DOI":"10.1007\/s10664-021-10090-6","type":"journal-article","created":{"date-parts":[[2022,3,17]],"date-time":"2022-03-17T14:06:53Z","timestamp":1647526013000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Incremental software product line verification\u00a0-\u00a0A performance analysis with dead variable code"],"prefix":"10.1007","volume":"27","author":[{"given":"Christian","family":"Kr\u00f6her","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Moritz","family":"Fl\u00f6ter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lea","family":"Gerling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Schmid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,3,17]]},"reference":[{"key":"10090_CR1","doi-asserted-by":"crossref","unstructured":"Acher M, Collet P, Lahire P, France R (2011) Decomposing feature models: Language, environment, and applications. In: 26th International conference on automated software engineering. IEEE Computer Society, Washington, pp 600\u2013603","DOI":"10.1109\/ASE.2011.6100135"},{"key":"10090_CR2","doi-asserted-by":"crossref","unstructured":"Acher M, Collet P, Lahire P, France R (2011) Slicing feature models. In: 26th international conference on automated software engineering. IEEE Computer Society, Washington, pp 424\u2013427","DOI":"10.1109\/ASE.2011.6100089"},{"key":"10090_CR3","first-page":"1","volume":"8","author":"B Adams","year":"2007","unstructured":"Adams B, De Schutter K, Tromp H, De Meuter W (2007) The evolution of the linux build system. Electronic Communication of the European Association of Software Science and Technology 8:1\u201316","journal-title":"Electronic Communication of the European Association of Software Science and Technology"},{"key":"10090_CR4","volume-title":"Compilers: principles, techniques, and tools","author":"AV Aho","year":"2006","unstructured":"Aho AV, Lam MS, Sethi R, Ullman JD (2006) Compilers: principles, techniques, and tools, 2nd edn. Addison-Wesley Longman Publishing Co., Inc., Boston","edition":"2"},{"key":"10090_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10515-019-00253-7","volume":"26","author":"F Angerer","year":"2019","unstructured":"Angerer F, Grimmer A, Pr\u00e4hofer H, Gr\u00fcnbacher P (2019) Change impact analysis for maintenance and evolution of variable software systems. Automated Software Engineering 26:1\u201345","journal-title":"Automated Software Engineering"},{"issue":"6","key":"10090_CR6","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 (2010) Automated analysis of feature models 20 years later: A literature review. Information Systems 35(6):615\u2013636","journal-title":"Information Systems"},{"key":"10090_CR7","unstructured":"Berger T, K\u00e4stner C (2016) KBuildMiner. https:\/\/github.com\/ckaestne\/KBuildMiner. Accessed 18 Aug 2021"},{"key":"10090_CR8","doi-asserted-by":"crossref","unstructured":"Bohner S (1996) Impact analysis in the software change process: a year 2000 perspective. In: International conference on software maintenance. IEEE Computer Society, Los Alamitos, pp 42\u201351","DOI":"10.1109\/ICSM.1996.564987"},{"key":"10090_CR9","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 (2012) A theory of software product line refinement. Theoretical Computer Science 455:2\u201330","journal-title":"Theoretical Computer Science"},{"key":"10090_CR10","doi-asserted-by":"crossref","unstructured":"Chastek G, Donohoe P, Kang KC, Thiel S (2001) Product line analysis: a practical introduction. Tech. Rep. CMU\/SEI-2001-TR-001, ESC-TR-2001-001, Carnegie Mellon Software Engineering Institute","DOI":"10.21236\/ADA388924"},{"key":"10090_CR11","unstructured":"ComAn Team (2018) Commit Analysis (ComAn). https:\/\/github.com\/SSE-LinuxAnalysis\/ComAn. Accessed 14 May 2020"},{"key":"10090_CR12","unstructured":"ComAnI Team (2019) Commit Analysis Infrastructure (ComAnI). https:\/\/github.com\/CommitAnalysisInfrastructure. Accessed 14 May 2020"},{"key":"10090_CR13","doi-asserted-by":"crossref","unstructured":"Czarnecki K, Gr\u00fcnbacher P, Rabiser R, Schmid K, W\u0105sowski A (2012) Cool features and tough decisions: a comparison of variability modeling approaches. In: 6th international workshop on variability modeling of software-intensive systems. ACM, New York, pp 173\u2013182","DOI":"10.1145\/2110147.2110167"},{"key":"10090_CR14","doi-asserted-by":"crossref","unstructured":"D\u00edaz J, P\u00e9rez J, Garbajosa J, Wolf AL (2011) Change Impact analysis in product-line architectures. In: 5th European conference on software architecture. Springer, Berlin, pp 114\u2013129","DOI":"10.1007\/978-3-642-23798-0_12"},{"key":"10090_CR15","doi-asserted-by":"crossref","unstructured":"Dietrich C, Tartler R, Schr\u00f6der-Preikschat W, Lohmann D (2012) A robust approach for variability extraction from the Linux build system. In: 16th international software product line conference, vol 1. ACM, New York, pp 21\u201330","DOI":"10.1145\/2362536.2362544"},{"key":"10090_CR16","doi-asserted-by":"crossref","unstructured":"Dintzner N, Kulesza U, van Deursen A, Pinzger M (2015) Evaluating feature change impact on multi-product line configurations using partial information. In: 14th International conference on software reuse. Springer International Publishing, Cham, pp 1\u201316","DOI":"10.1007\/978-3-319-14130-5_1"},{"issue":"2","key":"10090_CR17","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 (2018) Fever: an approach to analyze feature-oriented changes and artefact co-evolution in highly configurable systems. Empirical Software Engineering 23(2):905\u2013952","journal-title":"Empirical Software Engineering"},{"key":"10090_CR18","doi-asserted-by":"crossref","unstructured":"Eichelberger H, Schmid K (2013) A systematic analysis of textual variability modeling languages. In: 17th International software product line conference. ACM, New York, pp 12\u201321","DOI":"10.1145\/2491627.2491652"},{"key":"10090_CR19","doi-asserted-by":"crossref","unstructured":"Eichelberger H, Kr\u00f6her C, Schmid K (2013) An analysis of variability modeling concepts: expressiveness vs. analyzability. In: 13th international conference on software reuse, Springer, Berlin Heidelberg, pp 32\u201348","DOI":"10.1007\/978-3-642-38977-1_3"},{"key":"10090_CR20","doi-asserted-by":"crossref","unstructured":"El-Sharkawy S, Krafczyk A, Schmid K (2015) Analysing the Kconfig semantics and related analysis tools. In: 14th international conference on generative programming: concepts and experiences, ACM, New York, pp 45\u201354.","DOI":"10.1145\/2936314.2814222"},{"key":"10090_CR21","doi-asserted-by":"crossref","unstructured":"El-Sharkawy S, Krafczyk A, Schmid K (2017) An empirical study of configuration mismatches in Linux. In: 21st international systems and software product line conference, vol A. ACM, New York, pp 19\u201328","DOI":"10.1145\/3106195.3106208"},{"issue":"1","key":"10090_CR22","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1137\/1114019","volume":"14","author":"VA Epanechnikov","year":"1969","unstructured":"Epanechnikov VA (1969) Non-parametric estimation of a multivariate probability density. Theory of Probability & Its Applications 14(1):153\u2013158","journal-title":"Theory of Probability & Its Applications"},{"key":"10090_CR23","doi-asserted-by":"crossref","unstructured":"Gerling L, Schmid K (2019) Variability-aware semantic slicing using code property graphs. In: 23rd international systems and software product line conference, vol A. ACM, New York, pp 1\u20137","DOI":"10.1145\/3336294.3336312"},{"key":"10090_CR24","doi-asserted-by":"crossref","unstructured":"Gerling L, Schmid K (2020) Syntax-preserving slicing of c-based software product lines: an experience report. In: Proceedings of the 14th international working conference on variability modelling of software-intensive systems, pp 1\u20135","DOI":"10.1145\/3377024.3377029"},{"key":"10090_CR25","unstructured":"Git (2020) Git version control system. https:\/\/git-scm.com\/. Accessed 14 May 2020"},{"key":"10090_CR26","unstructured":"Git (2021) Git documentation reference - git-apply. https:\/\/git-scm.com\/docs\/git-apply, version 2.33.0. Accessed 18 Aug 2021"},{"key":"10090_CR27","doi-asserted-by":"crossref","unstructured":"Godfrey M, Tu Q (2000) Evolution in open source software: a case study. In: International conference on software maintenance. IEEE Computer Society, Washington, pp 131\u2013142","DOI":"10.1109\/ICSM.2000.883030"},{"key":"10090_CR28","doi-asserted-by":"crossref","unstructured":"Gomes K, Teixeira L, Alves T, Ribeiro M, Gheyi R (2019) Characterizing safe and partially safe evolution scenarios in product lines: an empirical study. In: 13th international workshop on variability modelling of software-intensive systems. Article 15, ACM, New York, pp 1\u20139","DOI":"10.1145\/3302333.3302346"},{"key":"10090_CR29","doi-asserted-by":"crossref","unstructured":"Hamza M, Walker RJ, Elaasar M (2018) CIAhelper: Towards change impact analysis in delta-oriented software product lines. In: 22nd international conference on systems and software product line. ACM Press, Gothenburg, pp 31\u201342","DOI":"10.1145\/3233027.3233036"},{"key":"10090_CR30","doi-asserted-by":"crossref","unstructured":"Hellebrand R, Silva A, Becker M, Zhang B, Sierszecki K, Savolainen J (2014) Coevolution of variability models and code: an industrial case study. In: 18th international software product line conference. vol 1, ACM, New York, pp 274\u2013283","DOI":"10.1145\/2648511.2648542"},{"issue":"2","key":"10090_CR31","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 (2016) Preprocessor-based variability in open-source and industrial software systems: an empirical study. Empirical Software Engineering 21(2):449\u2013482","journal-title":"Empirical Software Engineering"},{"issue":"3","key":"10090_CR32","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1016\/j.jss.2009.09.042","volume":"83","author":"A Israeli","year":"2010","unstructured":"Israeli A, Feitelson D (2010) The linux kernel as a case study in software evolution. Journal of Systems and Software 83(3):485\u2013501","journal-title":"Journal of Systems and Software"},{"key":"10090_CR33","unstructured":"K\u00e4stner C (2016) kconfigreader. https:\/\/github.com\/ckaestne\/kconfigreader. Accessed 27 Nov 2020"},{"key":"10090_CR34","doi-asserted-by":"crossref","unstructured":"K\u00e4stner C, Giarrusso G P, Rendel T, Erdweg S, Ostermann K, Berger T, (2011) Variability-aware parsing in the presence of lexical macros and conditional compilation. In: 2011 ACM international conference on object-oriented programming systems languages and applications. ACM, New York, pp 805\u2013824","DOI":"10.1145\/2076021.2048128"},{"key":"10090_CR35","unstructured":"KernelHaven Team (2019a) KernelHaven plug-in: incremental analyses infrastructure. https:\/\/github.com\/KernelHaven\/IncrementalAnalysesInfrastructure. Accessed 14 May 2020"},{"key":"10090_CR36","unstructured":"KernelHaven Team (2019b) KernelHaven plug-in: incrementalDeadCodeAnalysis. https:\/\/github.com\/KernelHaven\/IncrementalDeadCodeAnalysis. Accessed 14 May 2020"},{"key":"10090_CR37","unstructured":"KernelHaven Team (2020) KernelHaven. https:\/\/github.com\/KernelHaven. Accessed 14 May 2020"},{"key":"10090_CR38","doi-asserted-by":"crossref","unstructured":"Krieter S, Schr\u00f6ter R, Th\u00fcm T, Fenske W, Saake G (2016) Comparing algorithms for efficient feature-model slicing. In: 20th international systems and software product line conference. ACM, New York, pp 60\u201364","DOI":"10.1145\/2934466.2934477"},{"key":"10090_CR39","unstructured":"Kr\u00f6her C, Schmid K (2017a) A commit-based analysis of software product line evolution: two case studies. Technical Report SSE 2\/17\/E, University of Hildesheim"},{"key":"10090_CR40","unstructured":"Kr\u00f6her C, Schmid K (2017b) Towards a better understanding of software product line evolution. In: Softwaretechnik-trends, gesellschaft f\u00fcr informatik e.V., Fachgruppe PARS, Berlin, Germany, vol 37, no 2, pp 40\u201341"},{"key":"10090_CR41","doi-asserted-by":"crossref","unstructured":"Kr\u00f6her C, El-Sharkawy S, Schmid K (2018) KernelHaven: An experimentation workbench for analyzing software product lines. In: 40th international conference on software engineering: companion proceeedings. ACM, New York, pp 73\u201376","DOI":"10.1145\/3183440.3183480"},{"key":"10090_CR42","doi-asserted-by":"crossref","unstructured":"Kr\u00f6her C, El-Sharkawy S, Schmid K (2018b) KernelHaven: An open infrastructure for product line analysis. In: 22nd international systems and software product line conference, vol 2. ACM, New York, pp 5\u201310","DOI":"10.1145\/3236405.3236410"},{"key":"10090_CR43","doi-asserted-by":"crossref","unstructured":"Kr\u00f6her C, Gerling L, Schmid K (2018c) Identifying the intensity of variability changes in software product line evolution. In: 22nd international systems and software product line conference, vol 1. ACM, New York, pp 54\u201364","DOI":"10.1145\/3233027.3233032"},{"key":"10090_CR44","doi-asserted-by":"crossref","unstructured":"Liebig J, Apel S, Lengauer C, K\u00e4stner C, Schulze M (2010) An analysis of the variability in fourty preprocessor-based software product lines. In: 32nd ACM\/IEEE international conference on software engineering, vol 1. ACM, New York, pp 105\u2013114","DOI":"10.1145\/1806799.1806819"},{"key":"10090_CR45","unstructured":"Linux (2018) Kconfig language. https:\/\/www.kernel.org\/doc\/Documentation\/kbuild\/kconfig-language.txt. Accessed 14 May 2020"},{"key":"10090_CR46","unstructured":"Linux (2019) Linux kernel makefiles. https:\/\/www.kernel.org\/doc\/Documentation\/kbuild\/makefiles.txt. Accessed 14 May 2020"},{"key":"10090_CR47","doi-asserted-by":"crossref","unstructured":"Lity S, Baller H, Schaefer I (2015) Towards incremental model slicing for delta-oriented software product lines. In: 22nd international conference on software analysis, evolution, and reengineering. IEEE Computer Society, Washington, pp 530\u2013534","DOI":"10.1109\/SANER.2015.7081871"},{"key":"10090_CR48","doi-asserted-by":"crossref","unstructured":"Lity S, Kowal M, Schaefer I (2016) Higher-order delta modeling for software product line evolution. In: 7th international workshop on feature-oriented software development. ACM, New York, pp 39\u201348","DOI":"10.1145\/3001867.3001872"},{"key":"10090_CR49","doi-asserted-by":"crossref","unstructured":"Lity S, Morbach T, Th\u00fcm T, Schaefer I (2016) Applying incremental model slicing to product-line regression testing. In: 15th international conference on software reuse: bridging with social-awareness. Springer, New York Inc, New York, pp 3\u201319","DOI":"10.1007\/978-3-319-35122-3_1"},{"issue":"2","key":"10090_CR50","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0167-6423(02)00134-X","volume":"47","author":"YA Liu","year":"2003","unstructured":"Liu YA, Stoller SD (2003) Eliminating dead code on recursive data. Science of Computer Programming 47(2):221\u2013242","journal-title":"Science of Computer Programming"},{"key":"10090_CR51","doi-asserted-by":"crossref","unstructured":"Livengood S (2011) Issues in software product line evolution: complex changes in variability models. In: 2nd international workshop on product line approaches in software engineering. ACM, New York, pp 6\u20139","DOI":"10.1145\/1985484.1985487"},{"key":"10090_CR52","doi-asserted-by":"crossref","unstructured":"L\u00fcdemann D, Koschke R (2015) From preprocessor-constrained parse graphs to preprocessor-constrained control flow. In: 2015 IEEE 15th international working conference on source code analysis and manipulation (SCAM), pp 211\u2013220","DOI":"10.1109\/SCAM.2015.7335417"},{"key":"10090_CR53","doi-asserted-by":"crossref","unstructured":"Meinicke J, Th\u00fcm T, Schr\u00f6ter R, Benduhn F, Saake G (2014) An overview on analysis tools for software product lines. In: 18th international software product line conference, vol 2. ACM, New York, pp 94\u2013101","DOI":"10.1145\/2647908.2655972"},{"key":"10090_CR54","unstructured":"Mendonca M, Wasowski A, Czarnecki K (2009) SAT-based analysis of feature models is easy. In: 13th international software product line conference. Carnegie Mellon University, Pittsburgh, pp 231\u2013240"},{"key":"10090_CR55","doi-asserted-by":"crossref","unstructured":"Michalik B, Weyns D (2011) Towards a solution for change impact analysis of software product line products. In: 9th working IEEE\/IFIP conference on software architecture. IEEE Computer Society, Washington, pp 290\u2013293","DOI":"10.1109\/WICSA.2011.45"},{"key":"10090_CR56","doi-asserted-by":"crossref","unstructured":"Mukelabai M, Ne\u0161i\u0107 D, Maro S, Berger T, Stegh\u00f6fer JP (2018) Tackling combinatorial explosion: a study of industrial needs and practices for analyzing highly configurable systems. In: 33rd ACM\/IEEE international conference on automated software engineering. ACM, New York, pp 155\u2013166","DOI":"10.1145\/3238147.3238201"},{"key":"10090_CR57","doi-asserted-by":"crossref","unstructured":"Nadi S, Holt R (2012) Mining kbuild to detect variability anomalies in Linux. In: 16th European conference on software maintenance and reengineering. IEEE Computer Society, Washington, pp 107\u2013116","DOI":"10.1109\/CSMR.2012.21"},{"issue":"8","key":"10090_CR58","first-page":"730","volume":"26","author":"S Nadi","year":"2014","unstructured":"Nadi S, Holt R (2014) The Linux kernel: A case study of build system variability. Journal of Software: Evolution and Process 26(8):730\u2013746","journal-title":"Journal of Software: Evolution and Process"},{"key":"10090_CR59","doi-asserted-by":"publisher","first-page":"820","DOI":"10.1109\/TSE.2015.2415793","volume":"41","author":"S Nadi","year":"2015","unstructured":"Nadi S, Berger T, K\u00e4stner C, Czarnecki K (2015) Where do configuration constraints stem from? An extraction approach and an empirical study. IEEE Transactions on Software Engineering 41:820\u2013841","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10090_CR60","doi-asserted-by":"crossref","unstructured":"Neves L, Teixeira L, Sena D, Alves V, Kulesza U, Borba P (2011) Investigating the safe evolution of software product lines. In: 10th ACM international conference on generative programming and component engineering. ACM, New York, pp 33\u201342","DOI":"10.1145\/2047862.2047869"},{"issue":"C","key":"10090_CR61","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 (2015) Safe evolution templates for software product lines. Journal of Systems and Software 106(C):42\u201358","journal-title":"Journal of Systems and Software"},{"key":"10090_CR62","doi-asserted-by":"crossref","unstructured":"Paskevicius P, Damasevicius R, \u0160tuikys V (2012) Change impact analysis of feature models. In: 18th international conference on information and software technologies. Springer, Berlin, Heidelberg, pp 108\u2013122","DOI":"10.1007\/978-3-642-33308-8_10"},{"issue":"4","key":"10090_CR63","doi-asserted-by":"publisher","first-page":"1744","DOI":"10.1007\/s10664-015-9364-x","volume":"21","author":"L Passos","year":"2016","unstructured":"Passos L, Teixeira L, Dintzner N, Apel S, Wasowski A, Czarnecki K, Borba P, Guo J (2016) Coevolution of variability models and related software artifacts - a fresh look at evolution patterns in the Linux kernel. Empirical Software Engineering 21(4):1744\u20131793","journal-title":"Empirical Software Engineering"},{"key":"10090_CR64","doi-asserted-by":"crossref","unstructured":"Ribeiro M, Borba P, K\u00e4stner C (2014) Feature maintenance with emergent interfaces. In: 36th International conference on software engineering. ACM, New York, pp 989\u20131000","DOI":"10.1145\/2568225.2568289"},{"key":"10090_CR65","doi-asserted-by":"crossref","unstructured":"Sabouri H, Khosravi R (2011) Efficient verification of evolving software product lines. In: 4th IPM international conference on fundamentals of software engineering. Springer, Berlin, Heidelberg, pp 351\u2013358","DOI":"10.1007\/978-3-642-29320-7_24"},{"key":"10090_CR66","doi-asserted-by":"crossref","unstructured":"Sabouri H, Khosravi R (2011) Reducing the model checking cost of product lines using static analysis techniques. In: 8th international symposium on formal aspects of component software. Springer, Berlin, Heidelberg, pp 296\u2013312","DOI":"10.1007\/978-3-642-35743-5_18"},{"key":"10090_CR67","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.scico.2013.06.009","volume":"83","author":"H Sabouri","year":"2014","unstructured":"Sabouri H, Khosravi R (2014) Reducing the verification cost of evolving product families using static analysis techniques. Science of Computer Programming 83:35\u201355","journal-title":"Science of Computer Programming"},{"key":"10090_CR68","doi-asserted-by":"crossref","unstructured":"Sampaio G, Borba P, Teixeira L (2016) Partially safe evolution of software product lines. In: 20th International systems and software product line conference. ACM, New York, pp 124\u2013133","DOI":"10.1145\/2934466.2934482"},{"key":"10090_CR69","unstructured":"Sat4j Team (2021) Sat4j. https:\/\/www.sat4j.org\/. Accessed 18 Aug 2021"},{"issue":"4","key":"10090_CR70","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/MS.2013.83","volume":"30","author":"K Schmid","year":"2013","unstructured":"Schmid K, de Almeida ES (2013) Product line engineering. IEEE Software 30(4):24\u201330","journal-title":"IEEE Software"},{"key":"10090_CR71","doi-asserted-by":"crossref","unstructured":"Schr\u00f6ter R, Krieter S, Th\u00fcm T, Benduhn F, Saake G (2016) Feature-model interfaces: the highway to compositional analyses of highly-configurable systems. In: 38th international conference on software engineering. ACM, New York, pp 667\u2013678","DOI":"10.1145\/2884781.2884823"},{"key":"10090_CR72","unstructured":"Silverman B (1986) Density estimation for statistics and data analysis. Monog Stat Appl Probab 26"},{"key":"10090_CR73","doi-asserted-by":"crossref","unstructured":"Szab\u00f3 T, Erdweg S, Voelter M (2016) IncA: a DSL for the definition of incremental program analyses. In: 31st IEEE\/ACM international conference on automated software engineering. ACM, New York, pp 320\u2013331","DOI":"10.1145\/2970276.2970298"},{"key":"10090_CR74","doi-asserted-by":"crossref","unstructured":"Szab\u00f3 T, Erdweg S, Bergmann G (2021) Incremental whole-program analysis in Datalog with lattices. In: Proceedings of the 42nd ACM SIGPLAN international conference on programming language design and implementation, ACM, pp 1\u201315","DOI":"10.1145\/3453483.3454026"},{"key":"10090_CR75","doi-asserted-by":"crossref","unstructured":"Tartler R, Lohmann D, Sincero J, Schr\u00f6der-Preikschat W (2011) Feature consistency in compile-time-configurable system software: facing the Linux 10,000 feature problem. In: 6th conference on computer systems. ACM, New York, pp 47\u201360","DOI":"10.1145\/1966445.1966451"},{"key":"10090_CR76","doi-asserted-by":"crossref","unstructured":"Teixeira L, Gheyi R, Borba P (2020) Safe evolution of product lines using configuration knowledge laws. In: Brazilian symposium on formal methods, Springer, pp 210\u2013227","DOI":"10.1007\/978-3-030-63882-5_13"},{"issue":"1","key":"10090_CR77","doi-asserted-by":"publisher","first-page":"6:1","DOI":"10.1145\/2580950","volume":"47","author":"T Th\u00fcm","year":"2014","unstructured":"Th\u00fcm T, Apel S, K\u00e4stner C, Schaefer I, Saake G (2014) A classification and survey of analysis strategies for software product lines. ACM Computing Surveys 47(1):6:1-45","journal-title":"ACM Computing Surveys"},{"key":"10090_CR78","doi-asserted-by":"crossref","unstructured":"Th\u00fcm T, Teixeira L, Schmid K, Walkingshaw E, Mukelabai M, Varshosaz M, Botterweck G, Schaefer I, Kehrer T (2019) Towards efficient analysis of variation in time and space. In: 23rd International systems and software product line conference, vol B. ACM, New York, pp 57\u201364","DOI":"10.1145\/3307630.3342414"},{"key":"10090_CR79","unstructured":"Torvalds L (2020) Linux kernel source tree. https:\/\/git.kernel.org\/pub\/scm\/linux\/kernel\/git\/torvalds\/linux.git. Accessed 14 May 2020"},{"key":"10090_CR80","unstructured":"VAMOS\/CADOS Team (2015) Undertaker. https:\/\/vamos.informatik.uni-erlangen.de\/trac\/undertaker. Accessed 14 May 2020"},{"key":"10090_CR81","unstructured":"Weiser M (1981) Program slicing. In: 5th International conference on software engineering. IEEE Press, Piscataway, pp 439\u2013449"},{"key":"10090_CR82","doi-asserted-by":"crossref","unstructured":"Yazdanshenas AR, Moonen L (2012) Fine-grained change impact analysis for component-based product families. In: 28th IEEE international conference on software maintenance. IEEE Computer Society, Los Alamitos, pp 119\u2013128","DOI":"10.1109\/ICSM.2012.6405262"}],"container-title":["Empirical Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-021-10090-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10664-021-10090-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-021-10090-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,19]],"date-time":"2022-05-19T08:08:57Z","timestamp":1652947737000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10664-021-10090-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,17]]},"references-count":82,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2022,5]]}},"alternative-id":["10090"],"URL":"https:\/\/doi.org\/10.1007\/s10664-021-10090-6","relation":{},"ISSN":["1382-3256","1573-7616"],"issn-type":[{"value":"1382-3256","type":"print"},{"value":"1573-7616","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,3,17]]},"assertion":[{"value":"28 November 2021","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 March 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 May 2022","order":3,"name":"change_date","label":"Change Date","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Update","order":4,"name":"change_type","label":"Change Type","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The original version of this paper was updated due to the addition of Leopoldo Motta Teixeira in the \"Communicated by\" line.","order":5,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflicts of interest"}}],"article-number":"68"}}