MDEOptimiser logo MDEOptimiser

MDEO DSL

DSL

Manual mutation operators

The mutate keyword can be used to specify predefined mutation operators implemented using Henshin. The tool supports both rules and units.

Automatic mutation generation

MDEOptimiser can also be used to automatically generate atomic mutation operators that can create, delete a node and add, remove, change or swap an edge.

The syntax to do this is the following: