[PDF][PDF] A model-based testing methodology for the systematic validation of highly configurable cyber-physical systems

A Arrieta, G Sagardui, L Etxeberria - VALID, 2014 - academia.edu
Nowadays, the society is dependent on Cyber-Physical Systems (CPSs), which are complex
systems that combine digital technologies and physical processes. The need for dealing …

[PDF][PDF] A configurable test architecture for the automatic validation of variability-intensive cyber-physical systems

A Arrieta, G Sagardui, L Etxeberria - Proc. VALID, 2014 - academia.edu
The strong demand for customizable products is leading to increase variability in cyber-
physical systems. The need of dealing with variability issues increases complexity not only …

Action Research for Improving System Engineering Teaching in Embedded Systems Master

L Etxeberria, X Elkorobarrutia… - 2017 43rd Euromicro …, 2017 - ieeexplore.ieee.org
The paper presents the action research conducted in the context of System Engineering
teaching in Embedded Systems Master to improve the motivation of students. These are the …

Automating systematic map**s, adding quality to quantity

R Motz, G Vargas-Solar, US Da Costa… - 2017 IEEE/ACM 39th …, 2017 - ieeexplore.ieee.org
This paper introduces an approach for enhancing some of the steps of the Systematic
Map** Studies (SMS) with quality criteria1 [3],[1]. The original methodology for producing …

[CITÁCIA][C] Automated Testing of Workshop Robot Behavior

A Hitzmann, P Wentscher, A Gabel, R Gerndt