This hands-on course teaches model-based testing and validation using Reactis. Reactis can automatically generate high-quality test data from Simulink and Stateflow models; check user-specified requirements on such models; and support the interactive analysis of model behavior.