Qué hacemos

GenMorph: Automatically Generating Metamorphic Relations via Genetic Programming

ARTICULO  |  IEEE Transactions on Software Engineering (Early Access),

Año: 2024  |  ISBN/ISSN: 1939-3520

Autoría: AYERDI CANTALEJO, JON   ARRIETA MARCOS, AITOR   JAHANGIROVA, GUNEL   TERRAGNI, VALERIO   TONELLA, PAOLO  

A microservice-based framework for multi-level testing of cyber-physical systems

ARTICULO  |  Software Quality Journal. Vol. 32. Pp. 193-223,

Año: 2024  |  ISBN/ISSN: 0963-9314 (papel)

Autoría: ALDALUR CEBERIO, IÑIGO   ARRIETA MARCOS, AITOR   AGIRRE, AITOR   SAGARDUY MENDIETA, GOIURIA   ARRATIBEL, MAITE  

A novel mutation operator for search-based test case selection

COMUNICACION_CONGRESO  |  15th International Symposium on Search-Based Software Engineering (SSBSE). Pp. 84-98. San Francisco, 8 December,

Año: 2024  |  ISBN/ISSN: 9783031487958

Autoría: ARRIETA MARCOS, AITOR   ILLARRAMENDI REZABAL, MIREN  

How Do Deep Learning Faults Affect AI-Enabled Cyber-Physical Systems in Operation? A Preliminary Study Based on DeepCrime Mutation Operators

COMUNICACION_CONGRESO  |  ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM). New Orleans, 26-27 October,

Año: 2023  |  ISBN/ISSN: 978-1-6654-5223-6

Autoría: ARRIETA MARCOS, AITOR   IRIARTE Murgiondo, Asier   VALLE Entrena, Pablo   ILLARRAMENDI REZABAL, MIREN  

Search-based test case selection for plc systems using functional block diagram programs

COMUNICACION_CONGRESO  |  34th International Symposium on Software Reliability Engineering (ISSRE). Pp. 228-239. Florence (Italy), 9-12 October,

Año: 2023  |  ISBN/ISSN: 979-8-3503-1594-3

Autoría: UGARTE QUEREJETA, MIRIAM   ILLARRAMENDI REZABAL, MIREN   ARRIETA MARCOS, AITOR   VALLE Entrena, Pablo   LIU, LINGJUN   JEE, EUNKYOUNG  

DevOps for Cyber-Physical Systems: Objectives, Results and Lessons Learned from the Adeptness H2020 Project

COMUNICACION_CONGRESO  |  2023 26th Euromicro Conference on Digital System Design (DSD)

Año: 2023  |  ISBN/ISSN: 979-8-3503-4419-6

Autoría: ARRIETA MARCOS, AITOR   AGIRRE, AITOR   SAGARDUY MENDIETA, GOIURIA   ALI, SHAUKAT   AFZAL, WASIF  

Uncertainty-aware Robustness Assessment of Industrial Elevator Systems

ARTICULO  |  ACM Transactions on Software Engineering and Methodology. Vol. 32. N. 4. N. art. 95. Pp. 1-51,

Año: 2023  |  ISBN/ISSN: 1557-7392

Autoría: HAN, LIPING   ARRATIBEL, MAITE   YUE, TAO   ARRIETA MARCOS, AITOR   ALI, SHAUKAT  

Spectrum-based feature localization for families of systems

ARTICULO  |  Journal of Systems and Software. Vol. 195. N. artículo 111532. January,

Año: 2023  |  ISBN/ISSN: 0164-1212

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

Some Seeds are Strong: Seeding Strategies for Search-based Test Case Selection

ARTICULO  |  ACM Transactions on Software Engineering and Methodology. Vol. 32. N. 1. N. art. 17. Pp 1–47,

Año: 2023  |  ISBN/ISSN: 1557-7392

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

RoadSign at the SBFT 2023 Tool Competition Cyber-Physical Systems Track

COMUNICACION_CONGRESO  |  IEEE/ACM International Workshop on Search-Based and Fuzz Testing (SBFT). 14 May 2023, Melbourne (Australia). IEEE,

Año: 2023  |  ISBN/ISSN: 979-8-3503-0182-3

Autoría: AYERDI CANTALEJO, JON   ARRIETA MARCOS, AITOR   ILLARRAMENDI REZABAL, MIREN  

Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper)

COMUNICACION_CONGRESO  |  Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). Pp. 1055-1067. July,

Año: 2023  |  ISBN/ISSN: 9798400702211

Autoría: VALLE Entrena, Pablo   ARRIETA MARCOS, AITOR   ARRATIBEL, MAITE  

Automated Misconfiguration Repair of Configurable Cyber-Physical Systems with Search: an Industrial Case Study on Elevator Dispatching Algorithms

COMUNICACION_CONGRESO  |  IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP), Melbourne, Australia. Pp. 396-408,

Año: 2023  |  ISBN/ISSN: 979-8-3503-0037-6

Autoría: VALLE Entrena, Pablo   ARRATIBEL, MAITE   ARRIETA MARCOS, AITOR  

Performance-Driven Metamorphic Testing of Cyber-Physical Systems

ARTICULO  |  IEEE Transactions on Reliability. Vol. 72. N. 2. June,

Año: 2023  |  ISBN/ISSN: 0018-9529 print

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

Automating Test Oracle Generation in DevOps for Industrial Elevators

COMUNICACION_CONGRESO  |  2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). 15-18 March 2022. IEEE,

Año: 2022  |  ISBN/ISSN: 978-1-6654-3786-8

Autoría: ARRIETA MARCOS, AITOR   SAGARDUY MENDIETA, GOIURIA   ARRATIBEL, MAITE   ALI, SHAUKAT   OTAEGI GURRUTXAGA, MAIALEN  

Multi-Objective Metamorphic Follow-up Test Case Selection for Deep Learning Systems

COMUNICACION_CONGRESO  |  GECCO '22: Proceedings of the Genetic and Evolutionary Computation ConferenceJuly 2022. Boston, Massachusetts. Pp. 1327–1335. New York: Association for Computing Machinery,

Año: 2022

Autoría: ARRIETA MARCOS, AITOR  

Is the Revisited Hypervolume an Appropriate Quality Indicator to Evaluate Multi-Objective Test Case Selection Algorithms?

COMUNICACION_CONGRESO  |  Genetic and Evolutionary Computation Conference (GECCO ’22). 9-13 July. Pp. 1317–1326. ACM,

Año: 2022

Autoría: ARRIETA MARCOS, AITOR  

On the Cost-Effectiveness of Composite Metamorphic Relations for Testing Deep Learning Systems

COMUNICACION_CONGRESO  |  2022 IEEE/ACM 7th International Workshop on Metamorphic Testing (MET). 09 May. Pp. 42-47. IEEE,

Año: 2022  |  ISBN/ISSN: 978-1-4503-9307-2

Autoría: ARRIETA MARCOS, AITOR  

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: 0012-7361

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

Evolutionary generation of metamorphic relations for cyber-physical systems

COMUNICACION_CONGRESO  |  Proceedings of the Genetic and Evolutionary Computation Conference Companion (GECCO '22). Boston, 9-13 July 2022. Pp. 15–16. New York: Association for Computing Machinery,

Año: 2022  |  ISBN/ISSN: 978-1-4503-9268-6

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

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

COMUNICACION_CONGRESO  |  26th Jornadas de Ingenieria del Software y Bases de Datos (JISBD). Code 193112. Santiago de Compostela, 5-7 September,

Año: 2022

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

Towards the Isolation of Failure-Inducing Inputs in Cyber-Physical Systems: is Delta Debugging Enough?

COMUNICACION_CONGRESO  |  IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). Honolulu, 15-18 March 2022. Pp. 549-553. IEEE,

Año: 2022  |  ISBN/ISSN: 978-1-6654-3787-5

Autoría: VALLE Entrena, Pablo   ARRIETA MARCOS, AITOR  

Machine learning-based test oracles for performance testing of cyber-physical systems: An industrial case study on elevators dispatching algorithms

ARTICULO  |  Journal of Software: Evolution and Process. Vol. 32. N. 11. November,

Año: 2022  |  ISBN/ISSN: 2047-7481

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

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). Pp. 30-39. IEEE,

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

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

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   ARRATIBEL, MAITE   SAGARDUY MENDIETA, GOIURIA   AGIRRE, AITOR   YUE, TAO   ALI, SHAUKAT   ARRIETA MARCOS, AITOR   AYERDI CANTALEJO, JON  

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. ACM,

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

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

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   ARRATIBEL, MAITE   ARRIETA MARCOS, AITOR   TONELLA, PAOLO   TERRAGNI, VALERIO   SAGARDUY MENDIETA, GOIURIA  

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: 2021  |  ISBN/ISSN: 978-1-6654-2604-6 print

Autoría: GALARRAGA AROTZENA, JORITZ   ALI, SHAUKAT   ARRIETA MARCOS, AITOR   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.   ARRIETA MARCOS, AITOR   ABREU, R.   MARTINEZ, J   SOTTO-MAYOR B.   ASSUNÇÃO W.K.G.  

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   ALI, SHAUKAT   ARRIETA MARCOS, AITOR  

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   SAGARDUY MENDIETA, GOIURIA   AGIRRE, AITOR   ARRIETA MARCOS, AITOR   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: 0963-9314 print

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

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   SAGARDUY MENDIETA, GOIURIA   ARRIETA MARCOS, AITOR   ARRATIBEL, MAITE  

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. ACM,

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

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

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. IEEE,

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

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

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. 24-28 October,

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

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

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   MARKIEGI GONZALEZ, URTZI   ETXEBERRIA ELORZA, LEIRE   SAGARDUY MENDIETA, GOIURIA   SEGURA, SERGIO  

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   SAGARDUY MENDIETA, GOIURIA   ARRIETA MARCOS, AITOR   ETXEBERRIA ELORZA, LEIRE  

A general approach to Software Product Line testing

COMUNICACION_CONGRESO  |  Actas de las 24th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2019

Año: 2019

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

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   SAGARDUY MENDIETA, GOIURIA   ETXEBERRIA ELORZA, LEIRE   WANG, SHUAI  

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   ETXEBERRIA ELORZA, LEIRE   WANG, SHUAI   MARKIEGI GONZALEZ, URTZI   ARRUABARRENA ORTIZ, AINHOA   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   SAGARDUY MENDIETA, GOIURIA   MARKIEGI GONZALEZ, URTZI   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  

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  

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.  

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  

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   AGIRRE BASTEGIETA, JOSEBA ANDONI   MARKIEGI GONZALEZ, URTZI   ARRIETA MARCOS, AITOR   MARTÍN, JOSE MARÍA   NICOLÁS, CARLOS FERNANDO  

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   ETXEBERRIA ELORZA, LEIRE   SAGARDUY MENDIETA, GOIURIA   MARKIEGI GONZALEZ, URTZI   WANG, SHUAI  

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   MARKIEGI GONZALEZ, URTZI   ARRIETA MARCOS, AITOR   LARRINAGA BARRENECHEA, FELIX   SAGARDUY MENDIETA, GOIURIA  

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   AGIRRE BASTEGIETA, JOSEBA ANDONI   ETXEBERRIA ELORZA, LEIRE   ARRIETA MARCOS, AITOR   MARTÍN, JOSE MARÍA   NICOLÁS, CARLOS FERNANDO  

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   ETXEBERRIA ELORZA, LEIRE   MARKIEGI GONZALEZ, URTZI   ARRIETA MARCOS, AITOR   BERRETEAGA, OSKAR  

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  

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   WANG, SHUAI   ETXEBERRIA ELORZA, LEIRE  

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  

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   ETXEBERRIA ELORZA, LEIRE   SAGARDUY MENDIETA, GOIURIA  

Sistema Ziber-Fisiko Aldakorrak : analisia, kudeaketa eta simulazioa

COMUNICACION_CONGRESO  |  I. Ikergazte. Nazioarteko ikerketa euskaraz. Kongresuko artikulu bilduma. 2015eko maiatzaren 13, 14 eta 15 Durango, Euskal Herria. 646-654 or. Udako Euskal Unibertsitatea (UEU),

Año: 2015  |  ISBN/ISSN: 978-84-8438-539-4

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

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   ETXEBERRIA ELORZA, LEIRE   SAGARDUY MENDIETA, GOIURIA  

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   ETXEBERRIA ELORZA, LEIRE   SAGARDUY MENDIETA, GOIURIA  

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   ETXEBERRIA ELORZA, LEIRE   SAGARDUY MENDIETA, GOIURIA  

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