A Graph Solver for Automatically Generating Consistent Models

February 28, 2018

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 here.