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