Return to Issue Details Proactive model based testing and evaluation for component-based systems Download Download PDF