Leire
Etxeberria Elorza
Publicaciones (69) Publicaciones de Leire Etxeberria Elorza
2022
-
Implementation of Digital Twin-based Virtual Commissioning in Machine Tool Manufacturing
Procedia Computer Science
-
Multidimensional Framework for Characterizing Verification and Validation of Automated Systems
Proceedings - 2022 18th European Dependable Computing Conference, EDCC 2022
2021
-
Dynamic test prioritization of product lines: An application on configurable simulation models
Software Quality Journal, Vol. 29, Núm. 4, pp. 943-988
-
La puesta en marcha virtual en la fabricación de máquinas herramienta: encuesta industrial
Revista DYNA, Vol. 96, Núm. 6, pp. 612-619
-
The VALU3S ECSEL project: Verification and validation of automated systems safety and security
Microprocessors and Microsystems, Vol. 87
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
-
Prodevelop A Test Automation Case Study from academic research to the real-world tool chain
Actas de las 24th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2019
-
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