6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction