Wodel: a domain-specific language for model mutation
MuDeL: a language and a system for describing and generating mutants