A domain-specific language for model mutation and its application to the automated generation of exercises

Publication
In Computer Languages, Systems and Structures (Elsevier), Vol 49 (September). pp.:152-173. Best papers of Programming Languages track at SAC'16