Claudio de la Riva

According to our database, Claudio de la Riva authored at least 40 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

MDICA: Maintenance of data integrity in column-oriented database applications.

María José Suárez Cabal, Pablo Suárez-Otero, Claudio de la Riva, Javier Tuya

Comput. Stand. Interfaces, 2023

Fault Localization for Reinforcement Learning.

Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2023

2022

A Model-driven and Tool-supported Proposal for Defining Automatic Clinical Practice Guidelines.

Elena Enamorado-Díaz, Julián Alberto García-García, Claudio de la Riva, Mercedes Ruiz

Proceedings of the Information Systems Development: Artificial Intelligence for Information Systems Development and Operations (ISD2022 Proceedings), Cluj-Napoca, Romania, 31 August, 2022

2020

RETORCH: an approach for resource-aware orchestration of end-to-end test cases.

Cristian Augusto, Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya

Softw. Qual. J., 2020

FlakyLoc: Flakiness Localization for Reliable Test Suites in Web Applications.

Jesús Morán, Cristian Augusto, Antonia Bertolino, Claudio de la Riva, Javier Tuya

J. Web Eng., 2020

Test-Driven Anonymization in Health Data: A Case Study on Assistive Reproduction.

Cristian Augusto, Miguel Angel Olivero, Jesús Morán, Leticia Morales, Claudio de la Riva, Javier Aroba, Javier Tuya

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020

2019

Testing MapReduce programs: A systematic mapping study.

Jesús Morán, Claudio de la Riva, Javier Tuya

J. Softw. Evol. Process., 2019

Debugging Flaky Tests on Web Applications.

Jesús Morán, Cristian Augusto, Antonia Bertolino, Claudio de la Riva, Javier Tuya

Proceedings of the 15th International Conference on Web Information Systems and Technologies, 2019

RETORCH: Resource-Aware End-to-End Test Orchestration.

Cristian Augusto, Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya

Proceedings of the Quality of Information and Communications Technology, 2019

Test-Driven Anonymization for Artificial Intelligence.

Cristian Augusto, Jesús Morán, Claudio de la Riva, Javier Tuya

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

2018

Automatic Testing of Design Faults in MapReduce Applications.

Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya

IEEE Trans. Reliab., 2018

2017

Incremental test data generation for database queries.

María José Suárez Cabal, Claudio de la Riva, Javier Tuya, Raquel Blanco

Autom. Softw. Eng., 2017

Towards Ex Vivo Testing of MapReduce Applications.

Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

2016

Coverage-Aware Test Database Reduction.

Javier Tuya, Claudio de la Riva, María José Suárez Cabal, Raquel Blanco

IEEE Trans. Software Eng., 2016

Infrastructure-Aware Functional Testing of MapReduce Programs.

Jesús Morán, Bibiano Rivas, Claudio de la Riva, Javier Tuya, Ismael Caballero, Manuel A. Serrano

Proceedings of the 4th IEEE International Conference on Future Internet of Things and Cloud Workshops, 2016

2015

Testing data transformations in MapReduce programs.

Jesús Morán, Claudio de la Riva, Javier Tuya

Proceedings of the 6th International Workshop on Automating Test Case Design, 2015

2014

MRTree: Functional Testing Based on MapReduce's Execution Behaviour.

Jesús Morán, Claudio de la Riva, Javier Tuya

Proceedings of the 2014 International Conference on Future Internet of Things and Cloud, 2014

2010

Full predicate coverage for testing SQL database queries.

Javier Tuya, María José Suárez Cabal, Claudio de la Riva

Softw. Test. Verification Reliab., 2010

Herramientas para la evaluación de la cobertura de pruebas de aplicaciones con bases de datos.

Javier Tuya, María José Suárez Cabal, Claudio de la Riva

Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010

Pruebas en Ingeniería del Software (PRIS, 5ª ed.).

Claudio de la Riva, Peter Hodgson, Ewout van Driel, Fergus Flaherty, Juan Garbajosa, Luis Fernández, Macario Polo, Javier Tuya

Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010

A Proactive Approach to Test Service Level Agreements.

Marcos Palacios, José García-Fanjul, Javier Tuya, Claudio de la Riva

Proceedings of the Fifth International Conference on Software Engineering Advances, 2010

Constraint-based test database generation for SQL queries.

Claudio de la Riva, María José Suárez Cabal, Javier Tuya

Proceedings of the 5th Workshop on Automation of Software Test, 2010

2009

Query-aware shrinking test databases.

Javier Tuya, María José Suárez Cabal, Claudio de la Riva

Proceedings of the 2nd International Workshop on Testing Database Systems, 2009

Pruebas en Ingeniería del Software (PRIS, 4ª edición).

Claudio de la Riva, Peter Hodgson, Ewout van Driel, Fergus Flaherty, Juan Garbajosa, Luis Fernández, Macario Polo, Javier Tuya

Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

Generación de Pruebas Basada en Restricciones para Consultas SQL.

María José Suárez Cabal, Claudio de la Riva, Javier Tuya

Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

2008

A controlled experiment on white-box database testing.

Javier Tuya, José Javier Dolado, María José Suárez Cabal, Claudio de la Riva

ACM SIGSOFT Softw. Eng. Notes, 2008

2007

Mutating database queries.

Javier Tuya, María José Suárez Cabal, Claudio de la Riva

Inf. Softw. Technol., 2007

Generación sistemática de pruebas para composiciones de servicios utilizando criterios de suficiencia basados en transiciones.

José García-Fanjul, Javier Tuya, Claudio de la Riva

Proceedings of the XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), 2007

2006

A practical guide to SQL white-box testing.

Javier Tuya, María José Suárez Cabal, Claudio de la Riva

ACM SIGPLAN Notices, 2006

Automatic generation of assumptions for modular verification of software specifications.

Claudio de la Riva, Javier Tuya

J. Syst. Softw., 2006

Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking.

José García-Fanjul, Claudio de la Riva, Javier Tuya

Proceedings of the Testing: Academia and Industry Conference, 2006

Diseño sistemático de pruebas para consultas XPath utilizando técnicas de partición.

Claudio de la Riva, José García-Fanjul, Javier Tuya

Proceedings of the XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), 2006

A Partition-Based Approach for XPath Testing.

Claudio de la Riva, José García-Fanjul, Javier Tuya

Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28, 2006

2004

Modular Model Checking of Software Specifications with Simultaneous Environment Generation.

Claudio de la Riva, Javier Tuya

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003

Generación Automática y Paralela de Entornos en la Verificación de Componentes Software.

Claudio de la Riva, Javier Tuya, José Ramón de Diego

Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003

2001

Generación de Restricciones del Entorno para Verificación Modular Utilizando Reglas de Asociación.

Claudio de la Riva, Javier Tuya, José Ramón de Diego

Proceedings of the VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 2001

2000

Verificación Modular de Sistemas Reactivos con Abstracciones del Entorno.

Claudio de la Riva, Javier Tuya, José Ramón de Diego

Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000

1999

TIBLEUS: A Model to Build Internet Online Support Services Using ASP.

José García-Fanjul, Cristina Monteserín, Claudio de la Riva, Javier Tuya

Proceedings of the 1st International Conference on Enterprise Information Systems, 1999

Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker.

Claudio de la Riva, Javier Tuya, José Ramón de Diego

Proceedings of the Perspectives of System Informatics, 1999

1996

Dynamic analysis of SA/RT models using Spin and modular verification.

Javier Tuya, José Ramón de Diego, Claudio de la Riva, José A. Corrales

Proceedings of the Spin Verification System, 1996