AGEDIS stands for Automated Generation and Execution of Test Suites for Distributed Component-Based Software