State-Model-Based Regression Test Reduction for Component-Based Software. (15th October 2012)