Generating Metamodel Instances Satisfying Coverage Criteria via SMT Solving Topics: Meta-Modeling: Foundations and Tools; Reasoning about Models In Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development MODELSWARD - Volume 1, 40-51, 2016 , Rome, Italy