A language-parametric test coverage framework for executable domain-specific languages

Publication
Journal of Systems and Software