Reasoning About Software Architecture-Based Regression Testing Through a Case Study