Using Pre-Oracled Data in Model-Based Testing