[{"text":"\n\n\nJan Midtgaard , Aleksandar S. Dimovski , Claus Brabrand , Andrzej Wąsowski, Systematic derivation of correct variability-aware program analyses, Science of Computer Programming, v.105 n.C, p.145-170, July 2015\n\n\n","citation":"2797555"},{"text":"\n\n\nMukelabai Mukelabai , Damir Nešić , Salome Maro , Thorsten Berger , Jan-Philipp Steghöfer, Tackling combinatorial explosion: a study of industrial needs and practices for analyzing highly configurable systems, Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, September 03-07, 2018, Montpellier, France\n\n\n","citation":"3238201"},{"text":"\n\n\nMahsa Varshosaz , Mustafa Al-Hajjaji , Thomas Thüm , Tobias Runge , Mohammad Reza Mousavi , Ina Schaefer, A classification of product sampling for software product lines, Proceedings of the 22nd International Systems and Software Product Line Conference, September 10-14, 2018, Gothenburg, Sweden\n\n\n","citation":"3233035"},{"text":"\n\n\nThomas Thüm , Sven Apel , Christian Kästner , Ina Schaefer , Gunter Saake, A Classification and Survey of Analysis Strategies for Software Product Lines, ACM Computing Surveys (CSUR), v.47 n.1, p.1-45, July 2014\n\n\n","citation":"2580950"}]