Un entorno de pruebas de mutación para sistemas de control del tráfico

COMMUNICATIONS OF THE ACM - 1/1/2019

• ISSN 00010782

• iMarina

A domain-specific language for model mutation and its application to the automated generation of exercises

COMPUTER LANGUAGES SYSTEMS & STRUCTURES (p. 152-173) - 1/9/2017

10.1016/j.cl.2016.11.001 View at source

• ISSN 14778424

• iMarina

Automated engineering of domain-specific metamorphic testing environments

Information And Software Technology - 1/5/2023

10.1016/j.infsof.2023.107164 View at source

• ISSN 09505849

• iMarina

Systematic Engineering of Mutation Operators

Journal of Object Technology (p. 1-15) - 1/1/2020

10.5381/jot.2020.19.3.a5 View at source

• ISSN 16601769

• iMarina

Towards a model-driven engineering solution for language independent mutation testing (Un Framework para la generación automática de ejercicios mediante técnicas de mutación)

Proceedings of JISBD'18: XXIII Jornadas de Ingeniería del Software y Bases de Datos - 7/1/2018

• iMarina

Wodel-Edu: A tool for the generation and evaluation of diagram-based exercises

Science Of Computer Programming - 1/8/2023

10.1016/j.scico.2023.103000 View at source

• ISSN 01676423

• iMarina

A tool for domain-independent model mutation

Science Of Computer Programming (p. 85-92) - 1/10/2018

10.1016/j.scico.2018.01.008 View at source

• ISSN 01676423

• iMarina

Wodel-Test: a model-based framework for language-independent mutation testing

Software and Systems Modeling (p. 767-793) - 1/6/2021

10.1007/s10270-020-00827-0 View at source

• ISSN 16191366

• iMarina

Mutation testing for robochart

Software Engineering For Robotics (p. 345-375) - 5/7/2021

10.1007/978-3-030-66494-7_11 View at source

• iMarina

A DSL for model mutation and its applications to different domains

CEUR Workshop Proceedings - 1/1/2016

• ISSN 16130073

• iMarina

Wodel-Edu: An MDE Solution for the Generation and Evaluation of Diagram-based Exercises

Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021 (p. 600-604) - 1/1/2021

10.1109/models-c53483.2021.00091 View at source

• iMarina

Mutation testing for DSLs (Tool demo)

DSM 2019 - Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2019 (p. 60-62) - 20/10/2019

10.1145/3358501.3361234 View at source

• iMarina

Seed Model Synthesis for Testing Model-Based Mutation Operators

Lecture Notes in Business Information Processing (p. 64-76) - 1/1/2020

10.1007/978-3-030-58135-0_6 View at source

• ISSN 18651348

• iMarina

Automatic test amplification for executable models

Proceedings - 25th Acm/Ieee International Conference On Model Driven Engineering Languages And Systems, Models 2022 (p. 109-120) - 23/10/2022

10.1145/3550355.3552451 View at source

• iMarina

Analyzing the reliability of simulated distributed systems using Metamorphic Testing

Proceedings - 7th International Workshop On Metamorphic Testing, Met 2022 (p. 34-41) - 1/1/2022

10.1145/3524846.3527342 View at source

• iMarina

Poster: Adoption of the visual brainstorming technique in the open source software development process

Proceedings - International Conference On Software Engineering (p. 232-233) - 27/5/2018

10.1145/3183440.3194946 View at source

• ISSN 02705257

• iMarina

Wodel: A domain-specific language for model mutation

Proceedings of the ACM Symposium on Applied Computing (p. 1968-1973) - 4/4/2016

10.1145/2851613.2851751 View at source

• iMarina
• iMarina

How to apply the user profile usability technique in the user modelling activity for an adaptive food recommendation system for people on special diets

WMSCI 2017 - 21st World Multi-Conference on Systemics, Cybernetics and Informatics, Proceedings (p. 130-135) - 1/1/2017

• ISSN 00010782

• iMarina