default search action
Claudio de la Riva
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j13]Jesús Morán
, Antonia Bertolino
Automatic Debugging of Design Faults in MapReduce Applications. IEEE Trans. Software Eng. 50(4): 956-978 (2024) - 2023
- [j12]María José Suárez Cabal
MDICA: Maintenance of data integrity in column-oriented database applications. Comput. Stand. Interfaces 83: 103642 (2023) - [c28]Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya:
Fault Localization for Reinforcement Learning. AITest 2023: 49-50 - [d2]Jesús Morán
Supplemental material for: Automatic Debugging of Design Faults in MapReduce applications. Version 1.0. Zenodo, 2023 [all versions] - [d1]Jesús Morán
Supplemental material for: Automatic Debugging of Design Faults in MapReduce applications. Version 2.0. Zenodo, 2023 [all versions] - 2022
- [c27]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 - 2020
- [j11]Jesús Morán, Cristian Augusto
FlakyLoc: Flakiness Localization for Reliable Test Suites in Web Applications. J. Web Eng. 19(2): 267-296 (2020) - [j10]Cristian Augusto
RETORCH: an approach for resource-aware orchestration of end-to-end test cases. Softw. Qual. J. 28(3): 1147-1171 (2020) - [c26]Cristian Augusto
Test-Driven Anonymization in Health Data: A Case Study on Assistive Reproduction. AITest 2020: 81-82
2010 – 2019
- 2019
- [j9]Jesús Morán
Testing MapReduce programs: A systematic mapping study. J. Softw. Evol. Process. 31(3) (2019) - [c25]Cristian Augusto
Test-Driven Anonymization for Artificial Intelligence. AITest 2019: 103-110 - [c24]Cristian Augusto
RETORCH: Resource-Aware End-to-End Test Orchestration. QUATIC 2019: 297-310 - [c23]Jesús Morán, Cristian Augusto
Debugging Flaky Tests on Web Applications. WEBIST 2019: 454-461 - 2018
- [j8]Jesús Morán
Automatic Testing of Design Faults in MapReduce Applications. IEEE Trans. Reliab. 67(3): 717-732 (2018) - 2017
- [j7]María José Suárez Cabal
Incremental test data generation for database queries. Autom. Softw. Eng. 24(4): 719-755 (2017) - [c22]Jesús Morán
Towards Ex Vivo Testing of MapReduce Applications. QRS 2017: 73-80 - 2016
- [j6]Javier Tuya
Coverage-Aware Test Database Reduction. IEEE Trans. Software Eng. 42(10): 941-959 (2016) - [c21]Jesús Morán
Infrastructure-Aware Functional Testing of MapReduce Programs. FiCloud Workshops 2016: 171-176 - 2015
- [c20]Jesús Morán
Testing data transformations in MapReduce programs. A-TEST@SIGSOFT FSE 2015: 20-25 - 2014
- [c19]Jesús Morán
MRTree: Functional Testing Based on MapReduce's Execution Behaviour. FiCloud 2014: 379-384 - 2010
- [j5]Javier Tuya
Full predicate coverage for testing SQL database queries. Softw. Test. Verification Reliab. 20(3): 237-288 (2010) - [c18]Claudio de la Riva
Constraint-based test database generation for SQL queries. AST 2010: 67-74 - [c17]Marcos Palacios, José García-Fanjul
A Proactive Approach to Test Service Level Agreements. ICSEA 2010: 453-458 - [c16]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: 301-304 - [c15]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: 353
2000 – 2009
- 2009
- [c14]María José Suárez Cabal, Claudio de la Riva, Javier Tuya:
Generación de Pruebas Basada en Restricciones para Consultas SQL. JISBD 2009: 9-20 - [c13]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: 427-427 - [c12]Javier Tuya
Query-aware shrinking test databases. DBTest 2009 - 2008
- [j4]Javier Tuya, José Javier Dolado
A controlled experiment on white-box database testing. ACM SIGSOFT Softw. Eng. Notes 33(1) (2008) - [e1]Ana Moreira, María José Suárez Cabal, Claudio de la Riva, Javier Tuya:
XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008), Gijón, Spain, October 7-10, 2008. Proceedings. 2008 [contents] - 2007
- [j3]Javier Tuya
Mutating database queries. Inf. Softw. Technol. 49(4): 398-417 (2007) - [c11]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: 95-104 - 2006
- [j2]Claudio de la Riva
Automatic generation of assumptions for modular verification of software specifications. J. Syst. Softw. 79(9): 1324-1340 (2006) - [j1]Javier Tuya
A practical guide to SQL white-box testing. ACM SIGPLAN Notices 41(4): 36-41 (2006) - [c10]Claudio de la Riva
A Partition-Based Approach for XPath Testing. ICSEA 2006: 17 - [c9]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: 99-108 - [c8]José García-Fanjul
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking. TAIC PART 2006: 127-130 - 2004
- [c7]Claudio de la Riva, Javier Tuya:
Modular Model Checking of Software Specifications with Simultaneous Environment Generation. ATVA 2004: 369-383 - 2003
- [c6]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: 35-46 - 2001
- [c5]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: 391-404 - 2000
- [c4]Claudio de la Riva, Javier Tuya, José Ramón de Diego:
Verificación Modular de Sistemas Reactivos con Abstracciones del Entorno. JISBD 2000: 53-58
1990 – 1999
- 1999
- [c3]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: 493-502 - [c2]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: 619-625 - 1996
- [c1]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: 165-183
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-13 20:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: