The article is about a new model generator which automatically creates well-formed instance models that satisfy consistency constraints. The generator is based on a graph solver that natively operates over EMF-based (graph) models and combines advanced graph algorithms (like partial models, graph shapes, incremental graph queries) with rule-based exploration driven by traditional SAT solving techniques.

The article is available at the official site of Modeling Languages.