A Model-Based Regression Testing Approach for Evolving Software Systems with Flexible Tool Support | IEEE Conference Publication | IEEE Xplore