| 2022 | EDCC | Multidimensional Framework for Characterizing Verification and Validation of Automated Systems. | Joseba Andoni Agirre, Ahmet Yazici, Katia Di Blasio, Jose Luis de la Vara, Behrooz Sangchoolie, Ugur Yayan, Raul Barbosa, Leire Etxeberria, Massimo Nazaria, Mustafa Karaca |
| 2020 | GECCO | Seeding strategies for multi-objective test case selection: an application on simulation-based testing. | Aitor Arrieta, Joseba Andoni Agirre, Goiuria Sagardui |
| 2020 | ICST | A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements. | Aitor Arrieta, Joseba Andoni Agirre, Goiuria Sagardui |
| 2017 | ISSRE | A Configurable Validation Environment for Refactored Embedded Software: An Application to the Vertical Transport Domain. | Goiuria Sagardui, Leire Etxeberria, Joseba Andoni Agirre, Aitor Arrieta, Carlos Fernando Nicols, Jose-Maria Martin |
| 2015 | MODELSWARD | Evolving Legacy Model Transformations to Aggregate Non Functional Requirements of the Domain. | Joseba Andoni Agirre, Goiuria Sagardui, Leire Etxeberria |
| 2014 | ICSoft | Transevol - A Tool to Evolve Legacy Model Transformations by Example. | Joseba Andoni Agirre, Goiuria Sagardui, Leire Etxeberria |
| 2014 | ICSoft | Model Transformation by Example Driven ATL Transformation Rules Development Using Model Differences. | Joseba Andoni Agirre, Goiuria Sagardui, Leire Etxeberria |
| 2013 | MODELS | Automatic Impact Analysis of Software Architecture Migration on Model Driven Software Development. | Joseba Andoni Agirre, Leire Etxeberria, Goiuria Sagardui |