23 citations · 27 across the 2 of their papers we have counts for
2 papers
cs.PL2017★ 23 cited
Effective Analysis of C Programs by Rewriting Variability
Alexandru Florin Iosif-Lazar, Jean Melo, Aleksandar S. Dimovski +2
Context. Variability-intensive programs (program families) appear in many application areas and for many reasons today. Different family members, called variants, are derived by sw…
cs.PL2015★ 4 cited
Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (Extended Version)
Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wąsowski
Family-based (lifted) data-flow analysis for Software Product Lines (SPLs) is capable of analyzing all valid products (variants) without generating any of them explicitly. It takes…