1. Esin KaramanSWE550Boğaziçi University1 2. AgendaSoftware testing process evalutionWhat is model-based testingThe process of model-based testingMBT (Model-based…