Assume-Guarantee Testing of Evolving Software Product Line Architectures