Claudio de la Riva

45 papers B 1C 5Misc 1Journal 15Unranked 22

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