Search Results - "Sagardui, Goiuria"

Spectrum-based fault localization in software product lines by Arrieta, Aitor, Segura, Sergio, Markiegi, Urtzi, Sagardui, Goiuria, Etxeberria, Leire

“…Software Product Line (SPL) testing is challenging mainly due to the potentially huge number of products under test. Most of the research on this field focuses…”
Get full text

Dynamic test prioritization of product lines: An application on configurable simulation models by Markiegi, Urtzi, Arrieta, Aitor, Etxeberria, Leire, Sagardui, Goiuria

“…Product line testing is challenging due to the potentially huge number of configurations. Several approaches have tackled this challenge; most of them focused…”
Get full text

Industrial Cyber-Physical System Evolution Detection and Alert Generation by Iglesias, Aitziber, Sagardui, Goiuria, Arellano, Cristobal

“…Industrial Cyber-Physical System (ICPS) monitoring is increasingly being used to make decisions that impact the operation of the industry. Industrial…”
Get full text

Search-Based test case prioritization for simulation-Based testing of cyber-Physical system product lines by Arrieta, Aitor, Wang, Shuai, Sagardui, Goiuria, Etxeberria, Leire

“…•A search-based test prioritization approach for CPS product lines is proposed.•Five different search algorithms are evaluated using four case studies.•The…”
Get full text

Performance-Driven Metamorphic Testing of Cyber-Physical Systems by Ayerdi, Jon, Valle, Pablo, Segura, Sergio, Arrieta, Aitor, Sagardui, Goiuria, Arratibel, Maite

“…Cyber-physical systems (CPSs) are a new generation of systems, which integrate software with physical processes. The increasing complexity of these systems,…”
Get full text

Employing Multi-Objective Search to Enhance Reactive Test Case Generation and Prioritization for Testing Industrial Cyber-Physical Systems by Arrieta, Aitor, Wang, Shuai, Markiegi, Urtzi, Sagardui, Goiuria, Etxeberria, Leire

“…The test case generation and prioritization of industrial cyber-physical systems face critical challenges, and simulation-based testing is one of the most…”
Get full text

Pareto efficient multi-objective black-box test case selection for simulation-based testing by Arrieta, Aitor, Wang, Shuai, Markiegi, Urtzi, Arruabarrena, Ainhoa, Etxeberria, Leire, Sagardui, Goiuria

“…Context: In many domains, engineers build simulation models (e.g., Simulink) before developing code to simulate the behavior of complex systems (e.g.,…”
Get full text

A microservice-based framework for multi-level testing of cyber-physical systems by Aldalur, Iñigo, Arrieta, Aitor, Agirre, Aitor, Sagardui, Goiuria, Arratibel, Maite

“…In the last years, the use of microservice architectures is spreading in Cyber-Physical Systems (CPSs) and Internet of Things (IoT) domains. CPSs are systems…”
Get full text

Automatic generation of test system instances for configurable cyber-physical systems by Arrieta, Aitor, Sagardui, Goiuria, Etxeberria, Leire, Zander, Justyna

“…Cyber-physical systems (CPSs) are ubiquitous systems that integrate digital technologies with physical processes. These systems are becoming configurable to…”
Get full text

Machine learning‐based test oracles for performance testing of cyber‐physical systems: An industrial case study on elevators dispatching algorithms by Gartziandia, Aitor, Arrieta, Aitor, Ayerdi, Jon, Illarramendi, Miren, Agirre, Aitor, Sagardui, Goiuria, Arratibel, Maite

“…The software of systems of elevators needs constant maintenance to deal with new functionality, bug fixes, or legislation changes. To automatically validate…”
Get full text

QoS-aware Metamorphic Testing: An Elevation Case Study by Ayerdi, Jon, Segura, Sergio, Arrieta, Aitor, Sagardui, Goiuria, Arratibel, Maite

“…Elevators are among the oldest and most widespread transportation systems, yet their complexity increases rapidly to satisfy customization demands and to meet…”
Get full text

Automating Test Oracle Generation in DevOps for Industrial Elevators by Arrieta, Aitor, Otaegi, Maialen, Han, Liping, Sagardui, Goiuria, Ali, Shaukat, Arratibel, Maite

“…Orona is a world-renowned elevators developer. During elevators' lives, their software continues to evolve, e.g., due to hardware obsolescence, requirements…”
Get full text

Model-Based Personalized Visualization System for Monitoring Evolving Industrial Cyber-Physical System by Iglesias, Aitziber, Yue, Tao, Arellano, Cristobal, Ali, Shaukat, Sagardui, Goiuria

“…Monitoring Industrial Cyber-Physical Systems (ICPSs) is increasingly becoming essential, which requires the development of new approaches to capture data from…”
Get full text

Run-Time Variability for Context-Aware Smart Workflows by Murguzur, Aitor, Trujillo, Salvador, Hong-Linh Truong, Dustdar, Schahram, Ortiz, Oscar, Sagardui, Goiuria

“…In variant-rich workflow-based systems, a major concern for process variability is the context-aware configuration of the variants. This means that context…”
Get full text

Towards the automatic generation and management of plant models for the validation of highly configurable cyber-physical systems by Arrieta, Aitor, Sagardui, Goiuria, Etxeberria, Leire

“…The number of cyber-physical systems is increasing considerably, being very usual in automation systems. Many cyber-physical systems must deal with variability…”
Get full text

Enabling co-simulation of smart energy control systems for buildings and districts by Etxeberria, Leire, Larrinaga, Felix, Markiegi, Urtzi, Arrieta, Aitor, Sagardui, Goiuria

“…With buildings accounting for nearly 40 percent of global energy consumption, the improvement of energy efficiency in buildings and districts is a clear…”
Get full text

Runtime Variability for Context-aware Smart Workflows by Murguzur, Aitor, Trujillo, Salvador, Truong, Hong-Linh, Dustdar, Schahram, Ortiz, Oscar, Sagardui, Goiuria

“…In this paper, we present the underpinnings of the LateVa framework (Late Variability for Context-aware Smart Workflows), which offers an end-to-end solution…”
Get full text

Delta Rhapsody by Berreteaga, Oskar, Sagardui, Goiuria, Etxeberria, Leire, Markiegi, Urtzi, Perez, Xabier

“…Model Based System Engineering (MBSE) has become the pre‐eminent paradigm used to improve the development of complex systems. Additionally, Delta Modelling…”
Get full text

Embedded software product lines: domain and application engineering model-based analysis processes by Belategi, Lorea, Sagardui, Goiuria, Etxeberria, Leire, Azanza, Maider

“…SUMMARY Nowadays, embedded systems are gaining importance. At the same time, the development of their software is increasing its complexity, having to deal…”
Get full text

A CAN Restbus HiL Elevator Simulator Based on Code Reuse and Device Para-Virtualization by Nicolas, Carlos-F, Ayestaran, Iban, Poggi, Tomaso, Sagardui, Goiuria, Martin, Jose-Maria

“…In this paper we present an approach to reduce the verification cost of distributed elevator control systems through embedded code re-use to co-simulate…”
Get full text