Reducing the verification cost of evolving product families using static analysis techniques ?
We model product families using Rebeca. We reduce the number of verified products. We re-use previous result of verification after evolution of product lines. The results show the effectiveness of our approach.
static analysis software product lines model checking program slicing reduction techniques