Grupos de Investigación y Transferencia

Safety manager: servicio IOT para asegurar el buen comportamiento de las máquinas y controles en la fábrica digital = Digital safety manager: IoT service to assure the safe behaviour of machines and controls in the digital industry

ARTICULO  |  DYNA Ingenieria e Industria. Vol. 97. Pp. 18-22,

Año: 2022  |  ISBN/ISSN: 00127361

Autoría: ILLARRAMENDI REZABAL, MIREN   IRIARTE, ASIER   ARRIETA MARCOS, AITOR   SAGARDUY MENDIETA, GOIURIA   LARRINAGA BARRENECHEA, FELIX  

Genetic Algorithm-based Testing of Industrial Elevators under Passenger Uncertainty

COMUNICACION_CONGRESO  |  IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2021. Pp. 353-358,

Año: 2022  |  ISBN/ISSN: 978-1-6654-2604-6 print

Autoría: GALARRAGA AROTZENA, JORITZ   ARRIETA MARCOS, AITOR   ALI, SHAUKAT   SAGARDUY MENDIETA, GOIURIA   ARRATIBEL, MAITE  

Spectrum-based feature localization: A case study using ArgoUML

COMUNICACION_CONGRESO  |  ACM International Conference Proceeding Series. Vol. F171624-A. Pp. 126 - 1306,

Año: 2021  |  ISBN/ISSN: 978-1-4503-8469-8

Autoría: MICHELON G.K.   SOTTO-MAYOR B.   MARTINEZ, J   ARRIETA MARCOS, AITOR   ABREU, R.   ASSUNÇÃO W.K.G.  

Using Machine Learning to Build Test Oracles: an Industrial Case Study on Elevators Dispatching Algorithms

COMUNICACION_CONGRESO  |  2021 IEEE/ACM International Conference on Automation of Software Test (AST), 2021, pp. 30-39,

Año: 2021  |  ISBN/ISSN: 978-1-6654-3567-3 online

Autoría: ARRIETA MARCOS, AITOR   AYERDI CANTALEJO, JON   ILLARRAMENDI REZABAL, MIREN   AGIRRE, AITOR   SAGARDUY MENDIETA, GOIURIA   ARRATIBEL, MAITE  

Message from the Workshop Chairs: DevOps4CPS-Testing

COMUNICACION_CONGRESO  |  Proceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation Workshops, ICSTW. Pp. XV-XVI. N. artículo 9440177,

Año: 2021  |  ISBN/ISSN: 978-166544456-9

Autoría: PANICHELLA, SEBASTIANO   ARRIETA MARCOS, AITOR   ALI, SHAUKAT  

Using regression learners to predict performance problems on software updates: A case study on elevators dispatching algorithms

COMUNICACION_CONGRESO  |  Proceedings of the ACM Symposium on Applied Computing. Pp. 135 - 144

Año: 2021  |  ISBN/ISSN: 978-145038104-8

Autoría: GARTZIANDIA, AITOR   ARRIETA MARCOS, AITOR   AGIRRE, AITOR   SAGARDUY MENDIETA, GOIURIA   ARRATIBEL, MAITE  

Microservices for Continuous Deployment, Monitoring and Validation in Cyber-Physical Systems: an Industrial Case Study for Elevators Systems

COMUNICACION_CONGRESO  |  18th Internacional Conference on Software Architecture Companion (ICSA-C), SII 2021, P.p. 46-53

Año: 2021  |  ISBN/ISSN: 978-1-6654-3910-7

Autoría: GARTZIANDIA, AITOR   AYERDI CANTALEJO, JON   ARRIETA MARCOS, AITOR   ALI, SHAUKAT   YUE, TAO   AGIRRE, AITOR   SAGARDUY MENDIETA, GOIURIA   ARRATIBEL, MAITE  

Model-Based Testing in Practice: An Industrial Case Study using GraphWalker

COMUNICACION_CONGRESO  |  14th Innovations in Software Engineering Conference, ISEC 2021. ACM International Conference Proceeding Series. 25-27 de febrero 2021. N. artículo 5,

Año: 2021  |  ISBN/ISSN: 978-1-4503-9046-0

Autoría: ZAFAR, M.N.   AFZAL, W.   ENOIU, E.   STRATIS, A.   ARRIETA MARCOS, AITOR   SAGARDUY MENDIETA, GOIURIA  

Generating metamorphic relations for cyber-physical systems with genetic programming: an industrial case study

COMUNICACION_CONGRESO  |  Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2021). Atenas. 25-27 agosto. Pp. 1264–1274,

Año: 2021  |  ISBN/ISSN: 978-1-4503-8562-6

Autoría: AYERDI CANTALEJO, JON   TERRAGNI, VALERIO   ARRIETA MARCOS, AITOR   TONELLA, PAOLO   SAGARDUY MENDIETA, GOIURIA   ARRATIBEL, MAITE  

Dynamic test prioritization of product lines: An application on configurable simulation models

ARTICULO  |  Software Quality Journal. Vol. 29. Pp. 943–988,

Año: 2021  |  ISBN/ISSN: 1573-1367 online

Autoría: MARKIEGI GONZALEZ, URTZI   ARRIETA MARCOS, AITOR   ETXEBERRIA ELORZA, LEIRE   SAGARDUY MENDIETA, GOIURIA  

Towards a Taxonomy for Eliciting Design-Operation Continuum Requirements of Cyber-Physical Systems

COMUNICACION_CONGRESO  |  IEEE 28th International Requirements Engineering Conference (RE), Zurich, Switzerland. Pp. 280-290,

Año: 2020  |  ISBN/ISSN: 978-1-7281-7438-9

Autoría: AYERDI CANTALEJO, JON   GARCIANDIA ALUSTIZA, AITOR   ARRIETA MARCOS, AITOR   AFZAL, WASIF   ENOIU, EDUARD   AGIRRE ARRILLAGA, AITOR   SAGARDUY MENDIETA, GOIURIA   ARRATIBEL, MAITE   SELLIN, OLA  

QoS-aware Metamorphic Testing: An Elevation Case Study

COMUNICACION_CONGRESO  |  Proceedings - International Symposium on Software Reliability Engineering, ISSRE. Coimbra. 12-15, octubre, 2020. Vol. 2020. N. artículo 09251056. Pp. 104-114,

Año: 2020  |  ISBN/ISSN: 978-172819870-5

Autoría: AYERDI CANTALEJO, JON   SEGURA, SERGIO   ARRIETA MARCOS, AITOR   SAGARDUY MENDIETA, GOIURIA   ARRATIBEL, MAITE  

A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements

COMUNICACION_CONGRESO  |  2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Porto,

Año: 2020  |  ISBN/ISSN: 978-1-7281-1075-2

Autoría: ARRIETA MARCOS, AITOR   AGIRRE BASTEGIETA, JOSEBA ANDONI   SAGARDUY MENDIETA, GOIURIA  

Seeding Strategies for Multi-Objective Test Case Selection: An Application on Simulation-based Testing

COMUNICACION_CONGRESO  |  GECCO '20: Proceedings of the 2020 Genetic and Evolutionary Computation Conference. Cancún. 18-22 julio 2020. P. 1222–1231,

Año: 2020  |  ISBN/ISSN: 978-1-4503-7127-8

Autoría: ARRIETA MARCOS, AITOR   AGIRRE BASTEGIETA, JOSEBA ANDONI   SAGARDUY MENDIETA, GOIURIA  

Extended Abstract of “Spectrum-Based Fault Localization in Software Product Lines”

COMUNICACION_CONGRESO  |  Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A (SPLC ’19). P. 13,

Año: 2019  |  ISBN/ISSN: 978-1-4503-7138-4

Autoría: ARRIETA MARCOS, AITOR   SEGURA, SERGIO   MARKIEGI GONZALEZ, URTZI   SAGARDUY MENDIETA, GOIURIA   ETXEBERRIA ELORZA, LEIRE  

A general approach to Software Product Line testing

COMUNICACION_CONGRESO  |  Actas de las XV Jornadas de Ingeniería de Ciencia e Ingeniería de Servicios (JCIS 2019). Cáceres, septiembre de 2019.

Año: 2019

Autoría: RUIZ, ELVIRA G.   AYERDI CANTALEJO, JON   GALINDO, JOSÉ A.   ARRIETA MARCOS, AITOR   SAGARDUY MENDIETA, GOIURIA   BENAVIDES, DAVID  

Search-Based test case prioritization for simulation-Based testing of cyber-Physical system product lines

ARTICULO  |  Journal of Systems and Software. Vol. 149. Pp. 1-34. March,

Año: 2019  |  ISBN/ISSN: 01641212

Autoría: ARRIETA MARCOS, AITOR   WANG, SHUAI   SAGARDUY MENDIETA, GOIURIA   ETXEBERRIA ELORZA, LEIRE  

Pareto efficient multi-objective black-box test case selection for simulation-based testing

ARTICULO  |  Information and Software Technology. Vol. 114. Pp. 137-154. October,

Año: 2019  |  ISBN/ISSN: 09505849

Autoría: ARRIETA MARCOS, AITOR   WANG, SHUAI   MARKIEGI GONZALEZ, URTZI   ARRUABARRENA ORTIZ, AINHOA   ETXEBERRIA ELORZA, LEIRE   SAGARDUY MENDIETA, GOIURIA  

White-Box and Black-Box Test Quality Metrics for Configurable Simulation Models

COMUNICACION_CONGRESO  |  Proceedings of the 23rd International Systems and Software Product Line Conference. Paris. Septiembre 2019. - Volume B (SPLC ’19). ACM. Pp. 211–214,

Año: 2019  |  ISBN/ISSN: 978-1-4503-6668-7

Autoría: MARKIEGI GONZALEZ, URTZI   ARRIETA MARCOS, AITOR   ETXEBERRIA ELORZA, LEIRE   SAGARDUY MENDIETA, GOIURIA  

Variability Modeling and Management of MATLAB/Simulink Models

COMUNICACION_CONGRESO  |  Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A (SPLC ’19). P. 332,

Año: 2019  |  ISBN/ISSN: 978-1-4503-7138-4

Autoría: ARRIETA MARCOS, AITOR  

Test case selection using structural coverage in software product lines for time-budget constrained scenarios

COMUNICACION_CONGRESO  |  The 34th ACM/SIGAPP Symposium on Applied Computing (SAC ’19). April 8–12, 2019, Limassol, Cyprus. ACM, New

Año: 2019  |  ISBN/ISSN: 9781450359337

Autoría: MARKIEGI GONZALEZ, URTZI   ARRIETA MARCOS, AITOR   ETXEBERRIA ELORZA, LEIRE   SAGARDUY MENDIETA, GOIURIA  

Spectrum-based fault localization in software product lines

ARTICULO  |  Information and Software Technology. Vol. 100. Pp. 18-31. August,

Año: 2018  |  ISBN/ISSN: 09505849

Autoría: ARRIETA MARCOS, AITOR   MARKIEGI GONZALEZ, URTZI   SAGARDUY MENDIETA, GOIURIA   SEGURA, SERGIO   ETXEBERRIA ELORZA, LEIRE  

Employing Multi-Objective Search to Enhance Reactive Test Case Generation and Prioritization for Testing Industrial Cyber-Physical Systems

ARTICULO  |  IEEE Transactions on Industrial Informatics. Vol. 14. Nº. 3. Pp. 1055-1066. March,

Año: 2018  |  ISBN/ISSN: 15513203

Autoría: ARRIETA MARCOS, AITOR   MARKIEGI GONZALEZ, URTZI   WANG, SHUAI   SAGARDUY MENDIETA, GOIURIA   ETXEBERRIA ELORZA, LEIRE  

Generating test systems in simulink models for testing product lines with ASTERYSCO

COMUNICACION_CONGRESO  |  Actas de las 23rd Jornadas de Ingenieria del Software y Bases de Datos (JISBD). 23rd Conference on Software Engineering and Databases, JISBD 2018; Sevilla; Spain; 17 September 2018 through 19 September 2018; Code 149676. Editor, F. Sanchez-Figueroa. Sistedes,

Año: 2018

Autoría: ARRIETA MARCOS, AITOR   ETXEBERRIA ELORZA, LEIRE   ZANDER, J.  

Multi-Objective Black-Box Test Case Selection for Cost-Effectively Testing Simulation Models

COMUNICACION_CONGRESO  |  Proceedings of the Genetic and Evolutionary Computation Conference (GECCO '18). Pp. 1411-1418. New York: ACM,

Año: 2018  |  ISBN/ISSN: 9781450356183

Autoría: ARRIETA MARCOS, AITOR   MARKIEGI GONZALEZ, URTZI   SAGARDUY MENDIETA, GOIURIA   ETXEBERRIA ELORZA, LEIRE  

A Configurable Validation Environment for Refactored Embedded Software : an Application to the Vertical Transport Domain

COMUNICACION_CONGRESO  |  28th International Symposium on Software Reliability Engineering (ISSRE). Toulouse. 23-26 October. Pp. 16-19. IEEE,

Año: 2017  |  ISBN/ISSN: 9781538623879

Autoría: SAGARDUY MENDIETA, GOIURIA   ETXEBERRIA ELORZA, LEIRE   MARTÍN, JOSE MARÍA   NICOLÁS, CARLOS FERNANDO   AGIRRE BASTEGIETA, JOSEBA ANDONI   ARRIETA MARCOS, AITOR  

Modeling Systems Variability with Delta Rhapsody

COMUNICACION_CONGRESO  |  Actas de las XXII Jornadas de Ingeniería del Software y Bases de Datos (JISBD). Tenerife. 19-21 Julio,

Año: 2017

Autoría: PEREZ, XABIER   BERRETEAGA, OSKAR   ETXEBERRIA ELORZA, LEIRE   ARRIETA MARCOS, AITOR   MARKIEGI GONZALEZ, URTZI  

Towards Mutation Testing of Configurable Simulink Models: a Product Line Engineering Perspective

COMUNICACION_CONGRESO  |  Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD). La Laguna. 19-21 de julio,

Año: 2017

Autoría: ARRIETA MARCOS, AITOR   MARKIEGI GONZALEZ, URTZI   ETXEBERRIA ELORZA, LEIRE  

Search-based product line fault detection allocating test cases iteratively

COMUNICACION_CONGRESO  |  Proceedings of the 21st International Systems and Software Product Line Conference (SPLC). Vol. A. Pp. 123-132. ACM,

Año: 2017  |  ISBN/ISSN: 9781450352215

Autoría: MARKIEGI GONZALEZ, URTZI   SAGARDUY MENDIETA, GOIURIA   ARRIETA MARCOS, AITOR   ETXEBERRIA ELORZA, LEIRE  

Multiplex: A Co-Simulation Architecture for Elevators Validation

COMUNICACION_CONGRESO  |  IEEE International Workshop of Electronics, Control, Measurement, Signals and their application to Mechatronics (ECMSM). San Sebastian. 24-26 May. IEEE,

Año: 2017  |  ISBN/ISSN: 9781509055821

Autoría: SAGARDUY MENDIETA, GOIURIA   MARKIEGI GONZALEZ, URTZI   NICOLÁS, CARLOS FERNANDO   MARTÍN, JOSE MARÍA   AGIRRE BASTEGIETA, JOSEBA ANDONI   ARRIETA MARCOS, AITOR  

Search-Based Test Case Generation for Cyber-Physical Systems

COMUNICACION_CONGRESO  |  Proceedings of the IEEE Congress on Evolutionary Computation (CEC). Donostia - San Sebastián. 5-8 June 5-8. IEEE,

Año: 2017  |  ISBN/ISSN: 9781509046010

Autoría: ARRIETA MARCOS, AITOR   MARKIEGI GONZALEZ, URTZI   WANG, SHUAI   SAGARDUY MENDIETA, GOIURIA   ETXEBERRIA ELORZA, LEIRE  

Automatic generation of test system instances for configurable cyber-physical systems

ARTICULO  |  Software Quality Journal. Vol 25. Nº3. Pp. 1041–1083. September,

Año: 2017  |  ISBN/ISSN: 09639314

Autoría: ARRIETA MARCOS, AITOR   SAGARDUY MENDIETA, GOIURIA   ETXEBERRIA ELORZA, LEIRE   ZANDER, JUSTYNA  

Enabling Co-Simulation of Smart Energy Control Systems for Buildings and Districts

COMUNICACION_CONGRESO  |  22nd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA). Limassol. 12-15 September. Pp. 1-4. IEEE,

Año: 2017  |  ISBN/ISSN: 9781509065059

Autoría: ETXEBERRIA ELORZA, LEIRE   SAGARDUY MENDIETA, GOIURIA   MARKIEGI GONZALEZ, URTZI   ARRIETA MARCOS, AITOR   LARRINAGA BARRENECHEA, FELIX  

Search-Based Test Case Selection of Cyber-Physical System Product Lines for Simulation-Based Validation

COMUNICACION_CONGRESO  |  Proceedings of the 20th International Systems and Software Product Line Conference (SPLC). Beijing. 16 - 23 September. Pp. 297-306. New York: ACM,

Año: 2016  |  ISBN/ISSN: 9781450340502

Autoría: ARRIETA MARCOS, AITOR   SAGARDUY MENDIETA, GOIURIA   ETXEBERRIA ELORZA, LEIRE   WANG, SHUAI  

Test Case Prioritization of Configurable Cyber-Physical Systems with Weight-Based Search Algorithms

COMUNICACION_CONGRESO  |  GECCO '16 Proceedings of the Genetic and Evolutionary Computation Conference, 2016. Pp. 1053-1060. New York: ACM,

Año: 2016  |  ISBN/ISSN: 9781450342063

Autoría: ARRIETA MARCOS, AITOR   SAGARDUY MENDIETA, GOIURIA   ETXEBERRIA ELORZA, LEIRE   WANG, SHUAI  

Test Control Algorithms for the Validation of Cyber-Physical Systems Product Lines

COMUNICACION_CONGRESO  |  Proceedings of the 19th International Software Product Line Conference: New Directions in Systems and Software Product Line Engineering (SPLC). Nashville, TN USA. 20-24 July. New York: ACM,

Año: 2015  |  ISBN/ISSN: 9781450336130

Autoría: ARRIETA MARCOS, AITOR   SAGARDUY MENDIETA, GOIURIA   ETXEBERRIA ELORZA, LEIRE  

Cyber-Physical Systems Product Lines : Variability Analysis and Challenges

COMUNICACION_CONGRESO  |  Actas Jornadas Computación Empotrada SARTECO. VI Jornadas de Computación Empotrada (JCE). Córdoba. 23- 25 Septiembre,

Año: 2015  |  ISBN/ISSN: 9788416017546

Autoría: ARRIETA MARCOS, AITOR   SAGARDUY MENDIETA, GOIURIA   ETXEBERRIA ELORZA, LEIRE  

Variability in Test Systems: Review and Challenges

COMUNICACION_CONGRESO  |  The Seventh International Conference on Advances in System Testing and Validation Lifecycle (VALID). Barcelona. 5-10 November. Proceedings. IARIA,

Año: 2015  |  ISBN/ISSN: 9781612084411

Autoría: ARRIETA MARCOS, AITOR   SAGARDUY MENDIETA, GOIURIA   ETXEBERRIA ELORZA, LEIRE  

Sistema Ziber-Fisiko Aldakorrak : analisia, kudeaketa eta

COMUNICACION_CONGRESO  |  IkerGazte. Durango. Maiatzak 13-15. Pp. 646-654. Udako Euskal Unibertsitatea,

Año: 2015  |  ISBN/ISSN: 9788484385400

Autoría: ARRIETA MARCOS, AITOR   SAGARDUY MENDIETA, GOIURIA   ETXEBERRIA ELORZA, LEIRE  

Towards the automatic generation and management of plant models for the validation of highly configurable cyber-physical systems

COMUNICACION_CONGRESO  |  Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, ETFA 2014, Barcelona, Spain, September 16-19. Pp. 1-8. IEEE,

Año: 2014  |  ISBN/ISSN: 9781479948468

Autoría: ARRIETA MARCOS, AITOR   SAGARDUY MENDIETA, GOIURIA   ETXEBERRIA ELORZA, LEIRE  

A comparative on variability modelling and management approaches in Simulink for embedded systems

COMUNICACION_CONGRESO  |  Actas de las V Jornadas de Computación Empotrada. Valladolid. 17-19 Septiembre. Valladolid,

Año: 2014  |  ISBN/ISSN: 8469709720

Autoría: ARRIETA MARCOS, AITOR   SAGARDUY MENDIETA, GOIURIA   ETXEBERRIA ELORZA, LEIRE  

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

COMUNICACION_CONGRESO  |  VALID 2014. The Sixth International Conference on Advances in System Testing and Validation Lifecycle. October 12 - 16. Nice, France. Pp. 66-73. Editors, Teemu Kanstrén, Philipp Helle,

Año: 2014  |  ISBN/ISSN: 9781634394727

Autoría: ARRIETA MARCOS, AITOR   SAGARDUY MENDIETA, GOIURIA   ETXEBERRIA ELORZA, LEIRE  

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

COMUNICACION_CONGRESO  |  6th International Conference on Advances in System Testing and Validation Lifecycle(VALID). 12-16 October, 2014. Nice, France. Pp. 79-83. IARIA,

Año: 2014  |  ISBN/ISSN: 9781612083704

Autoría: ARRIETA MARCOS, AITOR   SAGARDUY MENDIETA, GOIURIA   ETXEBERRIA ELORZA, LEIRE