./Wodel-Test

A model-based framework for the engineering of language-specific mutation testing tools

Wodel-Test is built on top of Wodel, a domain-specific language to define and execute model mutations.

Wodel is language independent, enabling the creation of mutation operators for any language defined by a meta-model.

Once the mutation operators are defined, Wodel-Test generates a complete Mutation Testing (MuT) environment for the language as an Eclipse plugin.

The generated MuT tools parse the programs representing them as models conformant to the language meta-models, apply the mutation operators, and evaluate the test suites on the generated mutants, offering a rich collection of metrics about the MuT process.

./Wodel-Test designer

MuT tools generated with Wodel-Test

./Wodel-Test for Java

./Wodel-Test for ATL

./Wodel-Test for Finite Automata

./Wodel-Test for Logic Circuits

./Wodel-Test for Chatbots