Leire
Etxeberria Elorza
Universidad de Mondragón/Mondragon Unibertsitatea
Mondragón, EspañaPublicaciones en colaboración con investigadores/as de Universidad de Mondragón/Mondragon Unibertsitatea (60)
2021
-
Dynamic test prioritization of product lines: An application on configurable simulation models
Software Quality Journal, Vol. 29, Núm. 4, pp. 943-988
2020
-
CRESCO Framework and Checker: Automatic generation of Reflective UML State Machine's C++ Code and Checker
Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020
-
Towards a DevOps Approach in Cyber Physical Production Systems Using Digital Twins
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019
-
Exekuzio Denboran barne egoera ikusi eta aldatzea ahalbideratzen duten UML Egoera Makinak
III. Ikergazte. Nazioarteko ikerketa euskaraz. Kongresuko artikulu bilduma
-
Extended abstract of "Spectrum-based fault localization in Software Product Lines"
ACM International Conference Proceeding Series
-
MDE based IoT service to enhance the safety of controllers at runtime
CEUR Workshop Proceedings
-
Pareto efficient multi-objective black-box test case selection for simulation-based testing
Information and Software Technology, Vol. 114, pp. 137-154
-
Runtime Contracts Checker: Increasing Robustness of Component-Based Software Systems
IOP Conference Series: Materials Science and Engineering
-
Runtime observable and adaptable UML State Machines: Models@run.time approach
Proceedings of the ACM Symposium on Applied Computing
-
Search-Based test case prioritization for simulation-Based testing of cyber-Physical system product lines
Journal of Systems and Software, Vol. 149, pp. 1-34
-
Test case selection using structural coverage in software product lines for time-budget constrained scenarios
Proceedings of the ACM Symposium on Applied Computing
-
White-box and black-box test qality metrics for configurable simulation models
ACM International Conference Proceeding Series
2018
-
A methodology for model-based verification of safety contracts and performance requirements
Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, Vol. 232, Núm. 3, pp. 227-247
-
Employing Multi-Objective Search to Enhance Reactive Test Case Generation and Prioritization for Testing Industrial Cyber-Physical Systems
IEEE Transactions on Industrial Informatics, Vol. 14, Núm. 3, pp. 1055-1066
-
Entorno de validación configurable para software embebido refactorizado y su aplicación en ascensores
Actas de las 23rd Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2018
-
Generating test systems in simulink models for testing product lines with ASTERYSCO
Actas de las 23rd Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2018
-
Iterative prototyping methodology for the development of innovative and dependable complex embedded systems through SPC&KPI techniques
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Low cost photonic sensor for in-line oil quality monitoring: Methodological development process towards uncertainty mitigation
Sensors (Switzerland), Vol. 18, Núm. 7
-
Multi-objective black-box test case selection for cost-effectively testing simulation models
GECCO 2018 - Proceedings of the 2018 Genetic and Evolutionary Computation Conference
-
Spectrum-based fault localization in software product lines
Information and Software Technology, Vol. 100, pp. 18-31