Viatra solver: a framework for the automated generation of consistent domain-specific models.

Oszkr Semerth, Aren A. Babikian, Sebastian Pilarski, Dniel Varr

Browse the full ICSE paper archive.