SAHA BT: An Introduction to Model-Based Testing

Tutorial of model-based testing recorded by SAGA BT for the TESTOMAT project.