Wodel is a Domain-Specific Language for the specification and generation of model mutants.

In this pages, you can access some interesting Wodel mutation operators for Finite Automata, ASPLE Language, Security Policies, Prob. Automata, UML Class Diagrams, and BPEL.

These are the works in which we based these mutation operators:

[Finite Automata 1]: P. Gómez-Abajo, E. Guerra, and J. de Lara. Wodel: A domain-specific language for model mutation. In Proceedings of the 31st Annual ACM Symposium on Applied Computing, SAC ’16, pages 1968–1973, New York, NY, USA, 2016. ACM.

[Finite Automata 2]: D. Sadigh, S. A. Seshia, and M. Gupta. Automating exercise generation: A step towards meeting the MOOC challenge for embedded systems. In WESE, pages 2:1–2:8. ACM, 2013.

[ASPLE Language]: A. J. Offutt, A. Lee, G. Rothermel, R. H. Untch, C. Zapf, An experimental determination of sufficient mutant operators, ACM Transactions on Software Engineering Methodology 5 (2) (1996) 99-118.

[Security Policies]: T. Mouelhi, F. Fleurey, and B. Baudry. A generic metamodel for security policies mutation. In Proc. ICST, pages 278–286. IEEE Computer Society, 2008.

[Prob. Automata]: R. M. Hierons and M. G. Merayo. Mutation testing from probabilistic and stochastic finite state machines. Journal of Systems and Software, 82(11):1804–1818, 2009.

[UML Class Diagrams]: M. F. Granda, N. Condori-Fernández, T. E. J. Vos, and O. Pastor. Mutation operators for UML class diagrams. In Proc. CAiSE, volume 9694 of Lecture Notes in Computer Science, pages 325–341. Springer, 2016.

[BPEL]: A. Estero-Botaro, F. Palomo-Lozano, I. Medina-Bulo, J. J. Domínguez-Jiménez, and A. García-Domínguez. Quality metrics for mutation testing with applications to WS-BPEL compositions. Softw. Test., Verif. Reliab., 25(5-7):536–571, 2015.

Here you can download these examples of Wodel programs.
Wodel-Edu samples .zip
Wodel-Edu samples .tar.gz
DFA samples .zip
DFA samples .tar.gz
ASPLE samples .zip
ASPLE samples .tar.gz
Security Policies samples .zip
Security Policies samples tar.gz
Prob. Automata samples .zip
Prob. Automata samples .tar.gz
UML Class Diagrams samples .zip
UML Class Diagrams samples .tar.gz
BPEL samples .zip
BPEL samples .tar.gz