A language-parametric test coverage framework for executable domain-specific languages | Publicación