Model-Based Regression Test Selection for Validating Runtime Adaptation of Software Systems | IEEE Conference Publication | IEEE Xplore