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