Hao Wu. Generating Metamodel Instances Satisfying Coverage Criteria via SMT Solving. In Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, Philippe Desfray, editors, MODELSWARD 2016 - Proceedings of the 4rd International Conference on Model-Driven Engineering and Software Development, Rome, Italy, 19-21 February, 2016. pages 40-51, SciTePress, 2016. [doi]
Abstract is missing.