Wodel

Wodel is a domain-specific language for specifying and generating model mutants.

Wodel is domain-independent because it can generate mutants of models that conform to arbitrary metamodels.

Wodel provides nine mutation primitives for creating and deleting objects, redirecting references, modifying attributes, cloning elements, and retyping objects (changing an object’s type to one of its sibling types), among other operations.

The engine verifies that each generated mutant is a valid model (i.e., that it conforms to the domain metamodel and satisfies its integrity constraints).