Wodel is a domain-specific language (DSL) for specifying and generating model mutants.
These pages provide collections of Wodel mutation operators for Finite Automata, the ASPLE Language, Security Policies, Probabilistic Automata, UML Class Diagrams, BPEL, BPMN, and Logic Circuits.
The mutation operators are derived from the following publications:
[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.
[Probabilistic 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.
[BPMN]: C. Li, M. Reichert, A. Wombacher. On measuring process model similarity based on high-level change operations. Conceptual Modeling - ER 2008, LNCS, vol. 5231, pp. 248-264. Springer (2008)
[Logic Circuits]: 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.
Download the Wodel program examples here.
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)
BPMN samples (ZIP)
BPMN samples (TAR.GZ)
Logic Circuits samples (ZIP)
Logic Circuits samples (TAR.GZ)
Acknowledgements
This work was funded by the Spanish Ministry of Science through project “MASSIVE” (RTI2018-095255-B-I00), and by the R&D programme of the Madrid Region through project “FORTE” (P2018/TCS-4314).