Life cycle integration use of model-based testing tools

The paper discusses how organizations use specific model-based tools and evolved their existing engineering processes to develop and test large-scale critical applications. It discusses challenges and best practices observed from the use of model-based testing tools, and reflects on tool requirements that are essential for organizational adoption, including support for requirement-to-test traceability from requirement management tools, through requirement and design modeling, model-based test generation, to automated test execution and analysis using model-based testing tools that have qualification evidence to support use on safety-critical applications.