Wodel: a domain-specific language for model mutation
Controlled Generation of Models with Defined Properties.