Delta-oriented model-based SPL regression testing