Publications

(2023). Gotten: A model-driven solution to engineer domain-specific metamorphic testing environments. In ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2023), Västerås.

PDF Code Project

(2023). Automated generation and correction of diagram-based exercises for Moodle. In Computer Applications in Engineering Education (Wiley).

PDF Code Project Video

(2023). Wodel-Edu: A tool for the generation and evaluation of diagram-based exercises. In Science of Computer Programming (Elsevier).

PDF Code Project Video

(2023). Automated engineering of domain-specific metamorphic testing environments. In Information and Software Technology (Elsevier).

PDF Code Project

(2022). Automatic test amplification for executable models. In ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2022), Montreal.

PDF Code Project

(2022). Analyzing the reliability of simulated distributed systems using Metamorphic Testing. In International workshop on Metamorphic Testing (MET at ICSE 2022), Pittsburgh.

PDF Code Project

(2021). New ideas: Automated engineering of metamorphic testing environments for domain-specific languages. In ACM SIGPLAN International Conference on Software Language Engineering (SLE 2021), Chicago. Best new ideas/vision paper award at SLE'21.

PDF Code Project

(2021). Wodel-Edu: An MDE solution for the generation and evaluation of diagram-based exercises. In ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2021), Tokyo. Best tool demo award at MoDELS'21.

PDF Code Project

(2021). Mutation Testing for RoboChart. In Software Engineering for Robotics (Springer). pp.:345–375.

PDF Code Project

(2021). Wodel-Test: A model-based framework for language-independent mutation testing. In Software and Systems Modeling (Springer), Vol 20 (June). pp.:767–793.

PDF Code Project

(2020). Systematic engineering of mutation operators. In Journal of Object Technology, Vol 19 (October). pp.:3:1-16.

PDF Code Project

(2020). A domain-specific language for model mutation. Thesis document. Doctor of Philosophy (PhD) in Computer Science and Engineering, 2020. Universidad Autónoma de Madrid.

PDF Code Project

(2020). Seed model synthesis for testing model-based mutation operators. In International Conference on Advanced Information Systems Engineering (CAiSE Forum 2020), Grenoble. Lecture Notes in Business Information Processing (Springer), Vol 386 (August). pp.:64-76.

PDF Code Project

(2019). Wodel-Test: A language-independent approach for the generation of mutation testing tools. In Workshop on Software Reliability for Madrid Flight On Chip (2019). IMDEA Software Institute, Madrid.

PDF Code Project

(2019). Mutation testing for DSLs (tool demo). In ACM SIGPLAN International Workshop on Domain-Specific Modeling (DSM 2019), Athens.

PDF Code

(2019). Desafíos éticos del coche autónomo. In Course ‘Metodologías y problemas actuales de la investigación científica’ (2019), Universidad Autónoma de Madrid.

PDF

(2018). Un entorno de pruebas de mutación para sistemas de control del tráfico. In Course ‘Metodologías y problemas actuales de la investigación científica’ (2018), Universidad Autónoma de Madrid.

PDF Code Project

(2018). A tool for domain-independent model mutation. In Science of Computer Programming (Elsevier), Vol 163 (October). pp.:85-92.

PDF Code Project

(2018). Towards a model-driven engineering solution for language independent mutation testing. In Jornadas de Ingeniería del Software y Bases de Datos 2018 (JISBD 2018), Sevilla.

PDF Code Project

(2018). Poster: "Adoption of the visual brainstorming technique in the open source software development process". In International Conference on Software Engineering (ICSE 2018), Gothenburg.

PDF

(2017). A domain-specific language for model mutation and its application to the automated generation of exercises. In Computer Languages, Systems and Structures (Elsevier), Vol 49 (September). pp.:152-173. Best papers of Programming Languages track at SAC'16.

PDF Code Project

(2017). How to apply the user profile usability technique in the user modelling activity for an adaptive food recommendation system for people on special diets (extended version). In Journal of Systemics Cybernetics and Informatics (JSCI 2017). Best papers of World Multi-Conference on Systemics, Cybernetics and Informatics (WMSCI 2017).

PDF Code

(2016). A DSL for model mutation and its applications to different domains. In Doctoral Symposium at the International Conference of Model-Driven Engineering Languages and Systems 2016 (MoDELS 2016), Saint-Malo.

PDF Code Project

(2016). Poster: "Wodel: A DSL for model mutation; and Wodel-Edu: its application to the automated generation of exercises". In 7th International Summer School on Domain-Specific Modeling (DSM-TP 2016), Genève.

PDF Code Project

(2016). A framework for the automated generation of exercises via model mutation. Final master’s thesis. Master’s Program (MSc) in ICT Research and Innovation, 2016. Universidad Autónoma de Madrid.

PDF Code Project

(2016). Wodel: A domain-specific language for model mutation. In Symposium on Applied Computing 2016 (SAC'16), Pisa (ACM). pp.:1968-1973.

PDF Code Project