Systematic Approach to Generate a Diverse Set of Model Instantiations
When testing or validating a model we need a diverse set of instances that helps us to analyze the different ways such model can be satisfied. Our work uses classifying terms and constraint strengthening to generate such diverse set.
Recent Comments