Generating Metamodel Instances Satisfying Coverage Criteria via SMT Solving.

Hao Wu

Browse the full MODELSWARD paper archive.