Ikerketa eta Transferentzia taldeak
ARRIETA MARCOS, AITOR
Dagokion taldea: Software eta sistemen ingeniaritza
Izen abizenak: AITOR ARRIETA MARCOS
Herritartasuna:
Harremanetarako Telefonoa: 943794700
Kontaktatu
Formakuntza
Doktoregoa
- MEKANIKA ETA ENERGIA ELEKTRIKOKO INGENIARITZAKO DOKTORETZA PROGRAMA, Simulation-Based Testing of Highly Configurable Cyber-Physical Systems: Automation, Optimization and Debugging, Mondragon Unibertsitatea, 2017
Lizentziatua, Ingeniaria, Gradua, Arkitektoa
- Gradua Automatizazio Ingenieritzan, University of Skövde, 2012
- Industria Elektronikan Ingenieritza Gradua, Mondragon Unibertsitatea, 2012
Graduondoa
- Sistema Txertatuen Masterra, Mondragon Unibertsitea, 2014
Egungo lan egoera
- Erakundea: Mondragon Unibertsitatea
- Zentroa: Goi Eskola Politeknikoa
- Departamentua: Elektronika eta Informatika
- Kontratazio mota: Plantilla
- Ikerketa taldea: Software eta sistemen ingeniaritza
Txostenak kongresuetan/Konferentziak
A general approach to Software Product Line testing Actas de las XV Jornadas de Ingeniería de Ciencia e Ingeniería de Servicios (JCIS 2019). Cáceres, septiembre de 2019. Urtea: 2019 Egileak: Elvira G. Ruiz, Jon Ayerdi, José A. Galindo, Aitor Arrieta, Goiuria Sagardui, David Benavides |
Extended Abstract of “Spectrum-Based Fault Localization in Software Product Lines” Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A (SPLC ’19). P. 13, Urtea: 2019 Egileak: Aitor Arrieta, Sergio Segura, Urtzi Markiegi, Goiuria Sagardui, and Leire Etxeberria |
Variability Modeling and Management of MATLAB/Simulink Models Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A (SPLC ’19). P. 332, Urtea: 2019 Egileak: |
Test case selection using structural coverage in software product lines for time-budget constrained scenarios The 34th ACM/SIGAPP Symposium on Applied Computing (SAC ’19). April 8–12, 2019, Limassol, Cyprus. ACM, New Urtea: 2019 Egileak: Urtzi Markiegi, Aitor Arrieta, Leire Etxeberria, Goiuria Sagardui |
Generating test systems in simulink models for testing product lines with ASTERYSCO 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, Urtea: 2018 Egileak: A. Arrieta, L. Etxeberria, J. Zander |
Towards Mutation Testing of Configurable Simulink Models: a Product Line Engineering Perspective Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD). La Laguna. 19-21 de julio, Urtea: 2017 Egileak: Aitor Arrieta, Urtzi Markiegi and Leire Etxeberria |
Multiplex: A Co-Simulation Architecture for Elevators Validation IEEE International Workshop of Electronics, Control, Measurement, Signals and their application to Mechatronics (ECMSM). San Sebastian. 24-26 May. IEEE, Urtea: 2017 Egileak: G. Sagardui, J. Agirre, U. Markiegi, A. Arrieta, C.F. Nicolás, and J.M. Martín |
Search-Based Test Case Generation for Cyber-Physical Systems Proceedings of the IEEE Congress on Evolutionary Computation (CEC). Donostia - San Sebastián. 5-8 June 5-8. IEEE, Urtea: 2017 Egileak: Aitor Arrieta, Shuai Wang, Urtzi Markiegi, Goiuria Sagardui and Leire Etxeberria |
Search-based product line fault detection allocating test cases iteratively Proceedings of the 21st International Systems and Software Product Line Conference (SPLC). Vol. A. Pp. 123-132. ACM, Urtea: 2017 Egileak: Urtzi Markiegi, Aitor Arrieta, Goiuria Sagardui and Leire Etxeberria |
Enabling Co-Simulation of Smart Energy Control Systems for Buildings and Districts 22nd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA). Limassol. 12-15 September. Pp. 1-4. IEEE, Urtea: 2017 Egileak: Leire Etxeberria, Felix Larrinaga, Urtzi Markiegi, Aitor Arrieta, Goiuria Sagardui |
A Configurable Validation Environment for Refactored Embedded Software : an Application to the Vertical Transport Domain 28th International Symposium on Software Reliability Engineering (ISSRE). Toulouse. 23-26 October. Pp. 16-19. IEEE, Urtea: 2017 Egileak: G. Sagardui, L. Etxeberria, J. Agirre, A. Arrieta, C.F. Nicolás, J.M. Martín |
Test Case Prioritization of Configurable Cyber-Physical Systems with Weight-Based Search Algorithms GECCO '16 Proceedings of the Genetic and Evolutionary Computation Conference, 2016. Pp. 1053-1060. New York: ACM, Urtea: 2016 Egileak: Aitor Arrieta, Shuai Wang, Goiuria Sagardui, Leire Etxeberria |
Search-Based Test Case Selection of Cyber-Physical System Product Lines for Simulation-Based Validation Proceedings of the 20th International Systems and Software Product Line Conference (SPLC). Beijing. 16 - 23 September. Pp. 297-306. New York: ACM, Urtea: 2016 Egileak: Aitor Arrieta, Shuai Wang, Goiuria Sagardui, Leire Etxeberria |
Sistema Ziber-Fisiko Aldakorrak : analisia, kudeaketa eta IkerGazte. Durango. Maiatzak 13-15. Pp. 646-654. Udako Euskal Unibertsitatea, Urtea: 2015 Egileak: A. Arrieta, G. Sagardui, L. Etxeberria |
Test Control Algorithms for the Validation of Cyber-Physical Systems Product Lines 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, Urtea: 2015 Egileak: Aitor Arrieta, Goiuria Sagardui and Leire Etxeberria |
Variability in Test Systems: Review and Challenges The Seventh International Conference on Advances in System Testing and Validation Lifecycle (VALID). Barcelona. 5-10 November. Proceedings. IARIA, Urtea: 2015 Egileak: Aitor Arrieta, Goiuria Sagardui, Leire Etxeberria |
Towards the automatic generation and management of plant models for the validation of highly configurable cyber-physical systems Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, ETFA 2014, Barcelona, Spain, September 16-19. Pp. 1-8. IEEE, Urtea: 2014 Egileak: Aitor Arrieta, Goiuria Sagardui, Leire Etxeberria |
A configurable test architecture for the automatic validation of variability-intensive cyber-physical systems 6th International Conference on Advances in System Testing and Validation Lifecycle(VALID). 12-16 October, 2014. Nice, France. Pp. 79-83. IARIA, Urtea: 2014 Egileak: Aitor Arrieta, Goiuria Sagardui, Leire Etxeberria |
White-Box and Black-Box Test Quality Metrics for Configurable Simulation Models Proceedings of the 23rd International Systems and Software Product Line Conference - Volume B (SPLC ’19). ACM. Pp. 211–214, Urtea: 2019 Egileak: Urtzi Markiegi, Aitor Arrieta, Leire Etxeberria, Goiuria Sagardui |
Employing Multi-Objective Search to Enhance Reactive Test Generation and Prioritization for Testing Industrial Cyber-Physical Systems GECCO - Genetic and Evolutionary Computation Conference Urtea: 2018 Egileak: Aitor Arrieta, Shuai Wang, Ainhoa Arruabarrena, Urtzi Markiegi, Goiuria Sagardui, Leire Etxeberria |
Multi-Objective Black-Box Test Case Selection for Cost-Effectively Testing Simulation Models Proceedings of the Genetic and Evolutionary Computation Conference (GECCO '18). Pp. 1411-1418. New York: ACM, Urtea: 2018 Egileak: Aitor Arrieta, Shuai Wang, Ainhoa Arruabarrena, Urtzi Markiegi, Goiuria Sagardui, Leire Etxeberria |
Modeling Systems Variability with Delta Rhapsody Actas de las XXII Jornadas de Ingeniería del Software y Bases de Datos (JISBD). Tenerife. 19-21 Julio, Urtea: 2017 Egileak: X. Perez, O. Berreteaga, L. Etxeberria, A. Arrieta, U. Markiegi |
Test Case Prioritization of Configurable Cyber-Physical Systems with Weight-Based Search Algorithms GECCO '16 Proceedings of the Genetic and Evolutionary Computation Conference 2016 Pages 1053-1060 Urtea: 2016 Egileak: Aitor Arrieta, Shuai Wang, Goiuria Sagardui, Leire Etxeberria |
Search-based test case selection of cyber-physical system product lines for simulation-based validation SPLC '16 Proceedings of the 20th International Systems and Software Product Line Conference Pages 297-306 Urtea: 2016 Egileak: Aitor Arrieta, Shuai Wang, Goiuria Sagardui, Leire Etxeberria |
Cyber-Physical Systems Product Lines : Variability Analysis and Challenges Actas Jornadas Computación Empotrada SARTECO. VI Jornadas de Computación Empotrada (JCE). Córdoba. 23- 25 Septiembre, Urtea: 2015 Egileak: Aitor Arrieta, Goiuria Sagardui, Leire Etxeberria |
A comparative on variability modelling and management approaches in Simulink for embedded systems Actas de las V Jornadas de Computación Empotrada. Valladolid. 17-19 Septiembre. Valladolid, Urtea: 2014 Egileak: Aitor Arrieta, Goiuria Sagardui, Leire Etxeberria |
A model-based testing methodology for the systematic validation of highly configurable cyber-physical systems 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, Urtea: 2014 Egileak: Aitor Arrieta, Goiuria Sagardui, Leire Etxeberria |
Hizkuntzen ezagutza
- Ingelesa (C1)
FORMAKUNTZA
IRAKASKUNTZAREN JARDUERA
AURREKO LAN ESPERIENTZIA
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, Urtea: 2020 | ISBN/ISSN: 978-1-7281-7438-9 Egilea: 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, Urtea: 2020 | ISBN/ISSN: 978-172819870-5 Egilea: 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, Urtea: 2020 | ISBN/ISSN: 978-1-7281-1075-2 Egilea: 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, Urtea: 2020 | ISBN/ISSN: 978-1-4503-7127-8 Egilea: 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, Urtea: 2019 | ISBN/ISSN: 978-1-4503-7138-4 Egilea: 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. Urtea: 2019 Egilea: 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, Urtea: 2019 | ISBN/ISSN: 01641212 Egilea: WANG, SHUAI SAGARDUY MENDIETA, GOIURIA ETXEBERRIA ELORZA, LEIRE ARRIETA MARCOS, AITOR |
Pareto efficient multi-objective black-box test case selection for simulation-based testing ARTICULO | Information and Software Technology. Vol. 114. Pp. 137-154. October, Urtea: 2019 | ISBN/ISSN: 09505849 Egilea: 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, Urtea: 2019 | ISBN/ISSN: 978-1-4503-6668-7 Egilea: 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, Urtea: 2019 | ISBN/ISSN: 978-1-4503-7138-4 Egilea: 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 Urtea: 2019 | ISBN/ISSN: 9781450359337 Egilea: 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, Urtea: 2018 | ISBN/ISSN: 09505849 Egilea: MARKIEGI GONZALEZ, URTZI SAGARDUY MENDIETA, GOIURIA SEGURA, SERGIO ETXEBERRIA ELORZA, LEIRE ARRIETA MARCOS, AITOR |
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, Urtea: 2018 | ISBN/ISSN: 15513203 Egilea: MARKIEGI GONZALEZ, URTZI WANG, SHUAI SAGARDUY MENDIETA, GOIURIA ETXEBERRIA ELORZA, LEIRE ARRIETA MARCOS, AITOR |
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, Urtea: 2018 Egilea: 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, Urtea: 2018 | ISBN/ISSN: 9781450356183 Egilea: 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, Urtea: 2017 | ISBN/ISSN: 9781538623879 Egilea: ETXEBERRIA ELORZA, LEIRE MARTÍN, JOSE MARÍA NICOLÁS, CARLOS FERNANDO AGIRRE BASTEGIETA, JOSEBA ANDONI ARRIETA MARCOS, AITOR SAGARDUY MENDIETA, GOIURIA |
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, Urtea: 2017 Egilea: 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, Urtea: 2017 Egilea: MARKIEGI GONZALEZ, URTZI ETXEBERRIA ELORZA, LEIRE ARRIETA MARCOS, AITOR |
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, Urtea: 2017 | ISBN/ISSN: 9781450352215 Egilea: ETXEBERRIA ELORZA, LEIRE ARRIETA MARCOS, AITOR SAGARDUY MENDIETA, GOIURIA MARKIEGI GONZALEZ, URTZI |
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, Urtea: 2017 | ISBN/ISSN: 9781509055821 Egilea: MARKIEGI GONZALEZ, URTZI ARRIETA MARCOS, AITOR NICOLÁS, CARLOS FERNANDO AGIRRE BASTEGIETA, JOSEBA ANDONI MARTÍN, JOSE MARÍA SAGARDUY MENDIETA, GOIURIA |
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, Urtea: 2017 | ISBN/ISSN: 9781509046010 Egilea: ARRIETA MARCOS, AITOR SAGARDUY MENDIETA, GOIURIA MARKIEGI GONZALEZ, URTZI ETXEBERRIA ELORZA, LEIRE 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, Urtea: 2017 | ISBN/ISSN: 09639314 Egilea: SAGARDUY MENDIETA, GOIURIA ZANDER, JUSTYNA ETXEBERRIA ELORZA, LEIRE ARRIETA MARCOS, AITOR |
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, Urtea: 2017 | ISBN/ISSN: 9781509065059 Egilea: SAGARDUY MENDIETA, GOIURIA MARKIEGI GONZALEZ, URTZI ARRIETA MARCOS, AITOR LARRINAGA BARRENECHEA, FELIX 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, Urtea: 2016 | ISBN/ISSN: 9781450340502 Egilea: SAGARDUY MENDIETA, GOIURIA ETXEBERRIA ELORZA, LEIRE WANG, SHUAI ARRIETA MARCOS, AITOR |
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, Urtea: 2016 | ISBN/ISSN: 9781450342063 Egilea: SAGARDUY MENDIETA, GOIURIA ARRIETA MARCOS, AITOR WANG, SHUAI ETXEBERRIA ELORZA, LEIRE |
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, Urtea: 2015 | ISBN/ISSN: 9781450336130 Egilea: ETXEBERRIA ELORZA, LEIRE SAGARDUY MENDIETA, GOIURIA ARRIETA MARCOS, AITOR |
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, Urtea: 2015 | ISBN/ISSN: 9788416017546 Egilea: 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, Urtea: 2015 | ISBN/ISSN: 9781612084411 Egilea: ETXEBERRIA ELORZA, LEIRE SAGARDUY MENDIETA, GOIURIA ARRIETA MARCOS, AITOR |
Sistema Ziber-Fisiko Aldakorrak : analisia, kudeaketa eta COMUNICACION_CONGRESO | IkerGazte. Durango. Maiatzak 13-15. Pp. 646-654. Udako Euskal Unibertsitatea, Urtea: 2015 | ISBN/ISSN: 9788484385400 Egilea: ETXEBERRIA ELORZA, LEIRE ARRIETA MARCOS, AITOR 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, Urtea: 2014 | ISBN/ISSN: 9781479948468 Egilea: SAGARDUY MENDIETA, GOIURIA ETXEBERRIA ELORZA, LEIRE ARRIETA MARCOS, AITOR |
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, Urtea: 2014 | ISBN/ISSN: 8469709720 Egilea: SAGARDUY MENDIETA, GOIURIA ETXEBERRIA ELORZA, LEIRE ARRIETA MARCOS, AITOR |
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, Urtea: 2014 | ISBN/ISSN: 9781634394727 Egilea: ETXEBERRIA ELORZA, LEIRE SAGARDUY MENDIETA, GOIURIA ARRIETA MARCOS, AITOR |
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, Urtea: 2014 | ISBN/ISSN: 9781612083704 Egilea: SAGARDUY MENDIETA, GOIURIA ETXEBERRIA ELORZA, LEIRE ARRIETA MARCOS, AITOR |