Model Learning And Model Based Testing