Publications & Funding
Related publications and supporting projects
Gómez-Abajo, P., Guerra, E., and de Lara, J. (2025). Wodel-Test: A model-based framework for engineering language-specific mutation testing tools. SoftwareX (Elsevier), 31, article 102195.
- Khorram, F., Bousse, E., Mottu, J. M., Sunyé, G., Khelladi, D. E., Gómez-Abajo, P., Cañizares, P. C., Guerra, E., and de Lara, J. (2025). A language-parametric test amplification framework for executable domain-specific languages. Software and Systems Modeling (Springer).
- Gómez-Abajo, P., Pérez-Soler, S., Cañizares, P. C., Guerra, E., and de Lara, J. (2024). Mutation testing for task-oriented chatbots. Proceedings of the 28th ACM International Conference on Evaluation and Assessment in Software Engineering (EASE 2024), Salerno.
- Khorram, F., Bousse, E., Mottu, J. M., Sunyé, G., Gómez-Abajo, P., Cañizares, P. C., Guerra, E., and de Lara, J. (2022). Automatic test amplification for executable models. Proceedings of the 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS 2022), Montreal.
- Hierons, R. M., Gazda, M., Gómez-Abajo, P., Lefticaru, R., and Merayo, M. G. (2021). Mutation Testing for RoboChart. In Software Engineering for Robotics (Springer), pp. 3:1–3:16.
- Gómez-Abajo, P., Guerra, E., de Lara, J., and Merayo, M. G. (2021). Wodel-Test: A model-based framework for language-independent mutation testing. Software and Systems Modeling (Springer), 20, 767–793.
- Gómez-Abajo, P., Guerra, E., de Lara, J., and Merayo, M. G. (2020). Systematic engineering of mutation operators. Journal of Object Technology, 19, 3:1–3:16.
- Gómez-Abajo, P. (2020). A domain-specific language for model mutation. Doctoral thesis in Computer Science and Engineering, Universidad Autónoma de Madrid. Awarded Excellent cum laude.
- Gómez-Abajo, P., Guerra, E., de Lara, J., and Merayo, M. G. (2020). Seed model synthesis for testing model-based mutation operators. Proceedings of the International Conference on Advanced Information Systems Engineering Forum (CAiSE Forum), virtual event originally hosted in Grenoble. Lecture Notes in Business Information Processing (Springer), 386, 64–76.
- Gómez-Abajo, P., Guerra, E., de Lara, J., and Merayo, M. G. (2019). Mutation testing for DSLs (tool demo). Proceedings of the ACM SIGPLAN International Workshop on Domain-Specific Modeling (DSM 2019), Athens.
- Gómez-Abajo, P., Guerra, E., de Lara, J., and Merayo, M. G. (2018). A tool for domain-independent model mutation. Science of Computer Programming (Elsevier), 163, 85–92.
- Gómez-Abajo, P. (2016). A DSL for model mutation and its applications to different domains. Doctoral Symposium at the International Conference on Model-Driven Engineering Languages and Systems (MoDELS 2016), Saint-Malo.
- Gómez-Abajo, P., Guerra, E., and de Lara, J. (2016). Wodel: a domain-specific language for model mutation. Proceedings of the ACM Symposium on Applied Computing (SAC 2016), Pisa, pp. 1968–1973.
Funding
Wodel-Test has received support from the following research projects:
FINESSE (PID2021-122270OB-I00), funded by the Spanish Ministry of Science, 2022–2025.
- SATORI-UAM (TED2021-129381B-C21), funded by the Spanish State Research Agency, 2022–2024.
- Lowcomote, Marie Skłodowska-Curie grant agreement No 813884, funded by the European Union, 2019–2023.
- FORTE (P2018/TCS-4314), funded through the R&D programme of the Madrid Region, 2019–2023.
- MASSIVE (RTI2018-095255-B-I00), funded by the Spanish Ministry of Science, 2019–2022.
- Flexor (TIN2014-52129-R), funded by the Spanish Ministry of Economy, 2015–2018.
- SICOMORo (S2013/ICE-3006), funded through the R&D programme of the Madrid Region, 2014–2018.
- Go-Lite (TIN2011-24139), funded by the Spanish Ministry of Economy, 2012–2015.
