sentence1: model-based testing is a testing methodology where test cases are drawn from models or program specifications .
sentence2: model-based testing is a test technique for generating test cases based on the model of the system under test .