Large-Scale Variability-Aware Type Checking and Dataflow Analysis


A software product line is a family of similar software products that share a common set of assets. The advent of proper variability management and generator technology enables end-users to derive individual products solely based on a selection of desired features. This gives rise to a huge configuration space of possible products. But the high degree of… (More)


10 Figures and Tables