Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Claudio de la Riva
2010 – today
- 2010
[j5]Javier Tuya, María José Suárez Cabal, Claudio de la Riva: Full predicate coverage for testing SQL database queries. Softw. Test., Verif. Reliab. 20(3): 237-288 (2010)- [c16]Marcos Palacios, José García-Fanjul, Javier Tuya, Claudio de la Riva: A Proactive Approach to Test Service Level Agreements. ICSEA 2010: 453-458
- [c15]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
- [c14]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
- [c13]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
- [c12]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
- [c11]Javier Tuya, María José Suárez Cabal, Claudio de la Riva: Query-aware shrinking test databases. DBTest 2009
- 2008
- [j4]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 Software Engineering Notes 11(1) (2008)
- [e1]Ana Moreira, María José Suárez Cabal, Claudio de la Riva, Javier Tuya (Eds.): XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008), Gijón, Spain, October 7-10, 2008. Proceedings. 2008
- 2007
- [j3]Javier Tuya, María José Suárez Cabal, Claudio de la Riva: Mutating database queries. Information & Software Technology 49(4): 398-417 (2007)
- [c10]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, Javier Tuya: Automatic generation of assumptions for modular verification of software specifications. Journal of Systems and Software 79(9): 1324-1340 (2006)
- [j1]Javier Tuya, María José Suárez Cabal, Claudio de la Riva: A practical guide to SQL white-box testing. SIGPLAN Notices 41(4): 36-41 (2006)
- [c9]Claudio de la Riva, José García-Fanjul, Javier Tuya: A Partition-Based Approach for XPath Testing. ICSEA 2006: 17
- [c8]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
- [c7]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: 127-130
- 2004
- [c6]Claudio de la Riva, Javier Tuya: Modular Model Checking of Software Specifications with Simultaneous Environment Generation. ATVA 2004: 369-383
- 2003
- [c5]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
- [c4]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
- [c3]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
- [c2]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
- [c1]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
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-09-10 15:47 CEST by the dblp team