Variability-Aware Static Analysis at Scale: An Empirical Study - Rhein, Alexander Von; Liebig, JöRG; Janker, Andreas; Kästner, Christian; Apel, Sven (ACM transactions on software engineering and methodology, 2018)