A Model-Based Regression Testing Approach for Evolving Software Systems with Flexible Tool Support