Home
Wodel-Test plugins
./Wodel-Test designer
Wodel-Test plugins
./Wodel-Test for ATL
Wodel-Test plugins
./Wodel-Test for Chatbots
Wodel-Test plugins
./Wodel-Test for Finite Automata
Wodel-Test plugins
./Wodel-Test for Java
Wodel-Test plugins
./Wodel-Test for Logic Circuits
Authors & Contributors
Publications & Funding
Wodel-Test tutorial
Wodel
./Wodel-Test for ATL
A mutation testing tool for ATL generated via Wodel-Test
The generated MuT tool for ATL in action:
./Wodel-Test
