A language-parametric test coverage framework for executable domain-specific languages - Khorram, Faezeh; Bousse, Erwan; Garmendia, Antonio; Mottu, Jean-Marie; Sunye, Gerson; Wimmer, Manuel (JOURNAL OF SYSTEMS AND SOFTWARE, 2024)