"An SMT-based Approach for Generating Coverage Oriented Metamodel Instances."

Hao Wu (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics