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 (The Spin Verification System, 1996)

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 (Ershov Memorial Conference, 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 (ICEIS, 1999)

Verificación Modular de Sistemas Reactivos con Abstracciones del Entorno. - Claudio de la Riva; Javier Tuya; José Ramón de Diego (JISBD, 2000)

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 (JISBD, 2001)

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 (JISBD, 2003)

Modular Model Checking of Software Specifications with Simultaneous Environment Generation. - Claudio de la Riva; Javier Tuya (ATVA, 2004)

A Partition-Based Approach for XPath Testing. - Claudio de la Riva; José García-Fanjul; Javier Tuya (ICSEA, 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 (JISBD, 2006)

Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking. - José García-Fanjul; Claudio de la Riva; Javier Tuya (TAIC PART, 2006)

Automatic generation of assumptions for modular verification of software specifications. - Claudio de la Riva; Javier Tuya (J. Syst. Softw., 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)

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 (JISBD, 2007)

Mutating database queries. - Javier Tuya; María José Suárez-Cabal; Claudio de la Riva (Inf. Softw. Technol., 2007)

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)

Generación de Pruebas Basada en Restricciones para Consultas SQL. - María José Suárez-Cabal; Claudio de la Riva; Javier Tuya (JISBD, 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 (JISBD, 2009)

Query-aware shrinking test databases. - Javier Tuya; María José Suárez-Cabal; Claudio de la Riva (DBTest, 2009)

Constraint-based test database generation for SQL queries. - Claudio de la Riva; María José Suárez-Cabal; Javier Tuya (AST, 2010)

A Proactive Approach to Test Service Level Agreements. - Marcos Palacios; José García-Fanjul; Javier Tuya; Claudio de la Riva (ICSEA, 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 (JISBD, 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 (JISBD, 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)

MRTree: Functional Testing Based on MapReduce's Execution Behaviour. - Jesús Morán; Claudio de la Riva; Javier Tuya (FiCloud, 2014)

Testing data transformations in MapReduce programs. - Jesús Morán; Claudio de la Riva; Javier Tuya (A-TEST@SIGSOFT FSE, 2015)

Infrastructure-Aware Functional Testing of MapReduce Programs. - Jesús Morán; Bibiano Rivas; Claudio de la Riva; Javier Tuya; Ismael Caballero 001; Manuel A. Serrano (FiCloud Workshops, 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)

Towards Ex Vivo Testing of MapReduce Applications. - Jesús Morán; Antonia Bertolino; Claudio de la Riva; Javier Tuya (QRS, 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)

Automatic Testing of Design Faults in MapReduce Applications. - Jesús Morán; Antonia Bertolino; Claudio de la Riva; Javier Tuya (IEEE Trans. Reliab., 2018)

Test-Driven Anonymization for Artificial Intelligence. - Cristian Augusto; Jesús Morán; Claudio de la Riva; Javier Tuya (AITest, 2019)

RETORCH: Resource-Aware End-to-End Test Orchestration. - Cristian Augusto; Jesús Morán; Antonia Bertolino; Claudio de la Riva; Javier Tuya (QUATIC, 2019)

Debugging Flaky Tests on Web Applications. - Jesús Morán; Cristian Augusto; Antonia Bertolino; Claudio de la Riva; Javier Tuya (WEBIST, 2019)

Testing MapReduce programs: A systematic mapping study. - Jesús Morán; Claudio de la Riva; Javier Tuya (J. Softw. Evol. Process., 2019)

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 (AITest, 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)

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)

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 001 (ISD, 2022)

Fault Localization for Reinforcement Learning. - Jesús Morán; Antonia Bertolino; Claudio de la Riva; Javier Tuya (AITest, 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)

Supplemental material for: Automatic Debugging of Design Faults in MapReduce applications. - Jesús Morán; Antonia Bertolino; Claudio de la Riva; Javier Tuya (Zenodo, 2023)

Supplemental material for: Automatic Debugging of Design Faults in MapReduce applications. - Jesús Morán; Antonia Bertolino; Claudio de la Riva; Javier Tuya (Zenodo, 2023)

Software System Testing Assisted by Large Language Models: An Exploratory Study. - Cristian Augusto; Jesús Morán; Antonia Bertolino; Claudio de la Riva; Javier Tuya (ICTSS, 2024)

Automatic Debugging of Design Faults in MapReduce Applications. - Jesús Morán; Antonia Bertolino; Claudio de la Riva; Javier Tuya (IEEE Trans. Software Eng., 2024)

Supplemental material for: Software System Testing assisted by Large Language Models: An Exploratory Study. - Cristian Augusto; Jesús Morán Barbón; Antonia Bertolino; Claudio de la Riva; Javier Tuya (Zenodo, 2024)

RETORCH*: A Cost and Resource aware Model for E2E Testing in the Cloud. - Cristian Augusto; Jesús Morán; Antonia Bertolino; Claudio de la Riva; Javier Tuya (J. Syst. Softw., 2025)