Publicaciones en las que colabora con RAQUEL BLANCO AGUIRRE (23)

2022

  1. Pruebas de mutación para patrones de consultas Cypher

    26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022

  2. Pruebas de mutación para patrones de consultas Cypher

    26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022

2021

  1. Modelo de defectos dirigido por consultas para aplicaciones de bases de datos orientadas a grafos

    Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021]

2018

  1. Early Integration Testing for Entity Reconciliation in the Context of Heterogeneous Data Sources

    IEEE Transactions on Reliability, Vol. 67, Núm. 2, pp. 538-556

2017

  1. Incremental test data generation for database queries

    Automated Software Engineering, Vol. 24, Núm. 4, pp. 719-755

  2. Modelling Test Views for Graph Database Applications

    IEEE Latin America Transactions, Vol. 15, Núm. 7, pp. 1312-1317

2016

  1. Coverage-aware test database reduction

    IEEE Transactions on Software Engineering, Vol. 42, Núm. 10, pp. 941-959

  2. Pruebas sobre aplicaciones de bases de datos orientadas a grafos: Un enfoque basado en modelos

    Actas de las 21st Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2016

  3. Pruebas sobre aplicaciones de bases de datos orientadas a grafos: Un enfoque basado en modelos

    Actas de las 21st Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2016

  4. Towards an MDE-based approach to test entity reconciliation applications

    A-TEST 2016 - Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, co-located with FSE 2016

2015

  1. A test model for graph database applications: An MDABased approach

    6th International Workshop on Automating Test Case Design, Selection and Evaluation, A-TEST 2015 - Proceedings

2012

  1. Test adequacy evaluation for the user-database interaction: A specification-based approach

    Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012

2009

  1. A first approach to test case generation for BPEL compositions of web services using Scatter Search

    IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2009

  2. Automated test data generation using a scatter search approach

    Information and Software Technology, Vol. 51, Núm. 4, pp. 708-720

2008

  1. A tabu search algorithm for structural software testing

    Computers and Operations Research, Vol. 35, Núm. 10, pp. 3052-3072

2007

  1. A scatter search approach for automated branch coverage in software testing

    Engineering Intelligent Systems, Vol. 15, Núm. 3, pp. 135-142

  2. Los métodos de generación de casos de prueba y su automatización

    Técnicas cuantitativas para la gestión en la ingeniería del software (Oleiros (La Coruña) : Netbiblo, [2007), pp. 291-321

2005

  1. Búsqueda Tabú para la generación de casos de prueba de cobertura de bucles

    Actas de las X Jornadas de Ingeniería del Software y Bases de Datos

2004

  1. A modular tool for automated coverage in software testing

    Proceedings - 11th Annual International Workshop on Software Technology and Engineering Practice, STEP 2003