Claudio de la Riva

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 16

Top Topics

Clinical Practice Guidelines

Symbolic Execution

Top Venues

IEEE Trans. Software Eng.

Publications

Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya
Automatic Debugging of Design Faults in MapReduce Applications. IEEE Trans. Software Eng. 50 (4) (2024)
Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya
Fault Localization for Reinforcement Learning. AITest (2023)
María José Suárez Cabal, Pablo Suárez-Otero, Claudio de la Riva, Javier Tuya
MDICA: Maintenance of data integrity in column-oriented database applications. Comput. Stand. Interfaces 83 (2023)
Elena Enamorado-Díaz, Julián Alberto García-García, Claudio de la Riva, Mercedes Ruiz
A Model-driven and Tool-supported Proposal for Defining Automatic Clinical Practice Guidelines. ISD (2022)
Jesús Morán, Cristian Augusto, Antonia Bertolino, Claudio de la Riva, Javier Tuya
FlakyLoc: Flakiness Localization for Reliable Test Suites in Web Applications. J. Web Eng. 19 (2) (2020)
Cristian Augusto, Miguel Angel Olivero, Jesús Morán, Leticia Morales, Claudio de la Riva, Javier Aroba, Javier Tuya
Test-Driven Anonymization in Health Data: A Case Study on Assistive Reproduction. AITest (2020)
Cristian Augusto, Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya
RETORCH: an approach for resource-aware orchestration of end-to-end test cases. Softw. Qual. J. 28 (3) (2020)
Cristian Augusto, Jesús Morán, Claudio de la Riva, Javier Tuya
Test-Driven Anonymization for Artificial Intelligence. AITest (2019)
Cristian Augusto, Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya
RETORCH: Resource-Aware End-to-End Test Orchestration. QUATIC (2019)
Jesús Morán, Claudio de la Riva, Javier Tuya
Testing MapReduce programs: A systematic mapping study. J. Softw. Evol. Process. 31 (3) (2019)
Jesús Morán, Cristian Augusto, Antonia Bertolino, Claudio de la Riva, Javier Tuya
Debugging Flaky Tests on Web Applications. WEBIST (2019)
Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya
Automatic Testing of Design Faults in MapReduce Applications. IEEE Trans. Reliab. 67 (3) (2018)
María José Suárez Cabal, Claudio de la Riva, Javier Tuya, Raquel Blanco
Incremental test data generation for database queries. Autom. Softw. Eng. 24 (4) (2017)
Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya
Towards Ex Vivo Testing of MapReduce Applications. QRS (2017)
Jesús Morán, Bibiano Rivas, Claudio de la Riva, Javier Tuya, Ismael Caballero, Manuel A. Serrano
Infrastructure-Aware Functional Testing of MapReduce Programs. FiCloud Workshops (2016)
Javier Tuya, Claudio de la Riva, María José Suárez Cabal, Raquel Blanco
Coverage-Aware Test Database Reduction. IEEE Trans. Software Eng. 42 (10) (2016)
Jesús Morán, Claudio de la Riva, Javier Tuya
Testing data transformations in MapReduce programs. A-TEST@SIGSOFT FSE (2015)
Jesús Morán, Claudio de la Riva, Javier Tuya
MRTree: Functional Testing Based on MapReduce's Execution Behaviour. FiCloud (2014)
Claudio de la Riva, María José Suárez Cabal, Javier Tuya
Constraint-based test database generation for SQL queries. AST (2010)
Claudio de la Riva, Peter Hodgson, Ewout van Driel, Fergus Flaherty, Juan Garbajosa, Luis Fernández, Macario Polo, Javier Tuya
Pruebas en Ingeniería del Software (PRIS, 5ª ed.). JISBD (2010)
Javier Tuya, María José Suárez Cabal, Claudio de la Riva
Full predicate coverage for testing SQL database queries. Softw. Test. Verification Reliab. 20 (3) (2010)
Javier Tuya, María José Suárez Cabal, Claudio de la Riva
Herramientas para la evaluación de la cobertura de pruebas de aplicaciones con bases de datos. JISBD (2010)
Marcos Palacios, José García-Fanjul, Javier Tuya, Claudio de la Riva
A Proactive Approach to Test Service Level Agreements. ICSEA (2010)
María José Suárez Cabal, Claudio de la Riva, Javier Tuya
Generación de Pruebas Basada en Restricciones para Consultas SQL. JISBD (2009)
Javier Tuya, María José Suárez Cabal, Claudio de la Riva
Query-aware shrinking test databases. DBTest (2009)
Claudio de la Riva, Peter Hodgson, Ewout van Driel, Fergus Flaherty, Juan Garbajosa, Luis Fernández, Macario Polo, Javier Tuya
Pruebas en Ingeniería del Software (PRIS, 4ª edición). JISBD (2009)
Javier Tuya, José Javier Dolado, María José Suárez Cabal, Claudio de la Riva
A controlled experiment on white-box database testing. ACM SIGSOFT Softw. Eng. Notes 33 (1) (2008)
Javier Tuya, María José Suárez Cabal, Claudio de la Riva
Mutating database queries. Inf. Softw. Technol. 49 (4) (2007)
José García-Fanjul, Javier Tuya, Claudio de la Riva
Generación sistemática de pruebas para composiciones de servicios utilizando criterios de suficiencia basados en transiciones. JISBD (2007)
Claudio de la Riva, José García-Fanjul, Javier Tuya
A Partition-Based Approach for XPath Testing. ICSEA (2006)
José García-Fanjul, Claudio de la Riva, Javier Tuya
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking. TAIC PART (2006)
Claudio de la Riva, José García-Fanjul, Javier Tuya
Diseño sistemático de pruebas para consultas XPath utilizando técnicas de partición. JISBD (2006)
Javier Tuya, María José Suárez Cabal, Claudio de la Riva
A practical guide to SQL white-box testing. ACM SIGPLAN Notices 41 (4) (2006)
Claudio de la Riva, Javier Tuya
Automatic generation of assumptions for modular verification of software specifications. J. Syst. Softw. 79 (9) (2006)
Claudio de la Riva, Javier Tuya
Modular Model Checking of Software Specifications with Simultaneous Environment Generation. ATVA (2004)
Claudio de la Riva, Javier Tuya, José Ramón de Diego
Generación Automática y Paralela de Entornos en la Verificación de Componentes Software. JISBD (2003)
Claudio de la Riva, Javier Tuya, José Ramón de Diego
Generación de Restricciones del Entorno para Verificación Modular Utilizando Reglas de Asociación. JISBD (2001)
Claudio de la Riva, Javier Tuya, José Ramón de Diego
Verificación Modular de Sistemas Reactivos con Abstracciones del Entorno. JISBD (2000)
José García-Fanjul, Cristina Monteserín, Claudio de la Riva, Javier Tuya
TIBLEUS: A Model to Build Internet Online Support Services Using ASP. ICEIS (1999)
Claudio de la Riva, Javier Tuya, José Ramón de Diego
Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker. Ershov Memorial Conference (1999)
Javier Tuya, José Ramón de Diego, Claudio de la Riva, José A. Corrales
Dynamic analysis of SA/RT models using Spin and modular verification. The Spin Verification System (1996)