E-LIB Suche - Ergebnisse für: Agirre, Joseba A.

1

Some Seeds Are Strong: Seeding Strategies for Search-based ..:

Arrieta, Aitor ; Valle, Pablo ; Agirre, Joseba A..
ACM Transactions on Software Engineering and Methodology. 32 (2023) 1 - p. 1-47 , 2023

Link: https://doi.org/10.1145/..

2

Multidimensional Framework for Characterizing Verification ..:

, In: 2022 18th European Dependable Computing Conference (EDCC),

Agirre, Joseba A. ; Yazici, Ahmet ; Di Blasio, Katia... - p. 41-48 , 2022

Link: https://doi.org/10.1109/..

3

Cross-domain Modelling of Verification and Validation Workf..:

, In: Lecture Notes in Computer Science; Embedded Computer Systems: Architectures, Modeling, and Simulation,

Bauer, Thomas ; Agirre, Joseba A. ; Fürcho, David... - p. 368-382 , 2022

Link: https://doi.org/10.1007/..

4

A Tool for the Automatic Generation of Test Cases and Oracl..:

, In: 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW),

Arrieta, Aitor ; Agirre, Joseba A. ; Sagardui, Goiuria - p. 1-5 , 2020

Link: https://doi.org/10.1109/..

5

Seeding strategies for multi-objective test case selection ..:

, In: Proceedings of the 2020 Genetic and Evolutionary Computation Conference,

Arrieta, Aitor ; Agirre, Joseba Andoni ; Sagardui, Goiuria - p. 1222-1231 , 2020

Link: https://dl.acm.org/doi/1..

6

Multidimensional Framework for Characterizing Verification ..:

Agirre, Joseba A ; Yazici, Ahmet ; Di Blasio, Katia...
https://aperta.ulakbim.gov.tr/record/259419. , 2022

Link: https://aperta.ulakbim.g..

7

The VALU3S ECSEL project: Verification and validation of au..:

Agirre, Joseba A ; Etxeberria, L ; Barbosa, R...
Microprocessors and microsystems, 0141-9331, 2021, 87,. , 2021

Link: http://urn.kb.se/resolve..

8

Some Seeds are Strong : Seeding Strategies for Search-based..:

Arrieta, Aitor ; Valle Entrena, Pablo ; Agirre, Joseba Andoni.
info:eu-repo/grantAgreement/GV/Ikertalde Convocatoria 2019-2021/IT1326-19/CAPV/Ingeniería de Software y Sistemas/. , 2022

Link: https://hdl.handle.net/2..

9

A Configurable Validation Environment for Refactored Embedd..:

Sagardui, Goiuria ; Etxeberria, Leire ; Agirre, Joseba Andoni.
https://hdl.handle.net/20.500.11984/5791. , 2017

Link: https://hdl.handle.net/2..

10

Evolving Legacy Model Transformations to Aggregate Non Func..:

Agirre, Joseba Andoni ; Sagardui, Goiuria ; Etxeberria, Leire
http://hdl.handle.net/20.500.11984/5786. , 2015

Link: https://hdl.handle.net/2..

11

Transevol - A Tool to Evolve Legacy Model Transformations b..:

Agirre, Joseba Andoni ; Sagardui, Goiuria ; Etxeberria, Leire
http://hdl.handle.net/20.500.11984/5785. , 2014

Link: https://hdl.handle.net/2..

12

Percepción de estudiantes de postgrado acerca del aprendiza..:

Marcos Rivero, Bingen ; Ortuondo Bárcena, Jon ; Agirre Garai, Joseba.
XII Congreso Internacional de Actividades Físicas Cooperativas. , 2023

Link: https://hdl.handle.net/1..

13

FlexRQC: Model for a Flexible Robot-Driven Quality Control ..:

González Tomé, Ander ; Irigoyen Ceberio, Ibai ; Ayala, Unai..
GV/Convocatoria Universidad Empresa 2018-2019/PUE 2018-06/CAPV/Desarrollo de un sistema de inspección inteligente basado en algoritmos de Deep Learning para células robotizadas flexibles multi-puesto 3D/IDEFIX. , 2020

Link: https://hdl.handle.net/2..

14

Seeding Strategies for Multi-Objective Test Case Selection:..:

Arrieta Marcos, Aitor ; Agirre Bastegieta, Joseba Andoni ; Sagardui, Goiuria
GV/Elkartek 2019/KK-2019-00026/CAPV/Nuevas técnicas de Verificación, Validación y Testing para Sistemas ciber-físicos de Elevación/TESEO. , 2020

Link: https://hdl.handle.net/2..

15

Seeding Strategies for Multi-Objective Test Case Selection:..:

Arrieta Marcos, Aitor ; Agirre Bastegieta, Joseba Andoni ; Sagardui, Goiuria
GV/Elkartek 2019/KK-2019-00026/CAPV/Nuevas técnicas de Verificación, Validación y Testing para Sistemas ciber-físicos de Elevación/TESEO. , 2020

Link: https://hdl.handle.net/2..