Title of paper: Guaranteeing Correct Evolution of Software Product Lines

Abstract

Researchers from the Software Engineering and Architecture group, University of LĠAquila, together with the Formal Methods and Tools group of ISTI-CNR are developing a novel approach that extends and adapts assume-guarantee reasoning to evolving SPLs in order to guarantee resilience against changes in the product environment. The proposal is to selectively verify and test assume-guarantee properties over only the components affected by the changes.