関連ワード:  model testing techniques    model checking techniques    model-checking techniques based on cumulative residuals    model testing tools    model based testing techniques    machine learning model testing techniques    models of testing