6th ICSE workshop on component-based software engineering: automated reasoning and prediction | IEEE Conference Publication | IEEE Xplore