Stefan Krüger

Variability Hiding in Contracts for Dependent Software Product Lines

2016

Software product lines are used to efficiently develop and verify similar software products. While they focus on reuse of artifacts between products, a product line may also be reused itself in other product lines. A …