Claudio de la Riva

	2009
16		Javier Tuya, María José Suárez Cabal, Claudio de la Riva: Query-aware shrinking test databases. DBTest 2009
15		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
14		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
	2008
13		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)
	2007
12		Javier Tuya, María José Suárez Cabal, Claudio de la Riva: Mutating database queries. Information & Software Technology 49(4): 398-417 (2007)
	2006
11		Claudio de la Riva, José García-Fanjul, Javier Tuya: A Partition-Based Approach for XPath Testing. ICSEA 2006: 17
10		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
9		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
8		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)
7		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)
	2004
6		Claudio de la Riva, Javier Tuya: Modular Model Checking of Software Specifications with Simultaneous Environment Generation. ATVA 2004: 369-383
	2003
5		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
4		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
3		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
	1999
2		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
1		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

1	María José Suárez Cabal	[7] [12] [13] [14] [16]
2	José Ramón de Diego	[2] [3] [4] [5]
3	José Javier Dolado	[13]
4	Ewout van Driel	[15]
5	Luis Fernández	[15]
6	Fergus Flaherty	[15]
7	Juan Garbajosa	[15]
8	José García-Fanjul	[1] [9] [10] [11]
9	Peter Hodgson	[15]
10	Cristina Monteserín	[1]
11	Macario Polo (Macario Polo Usaola)	[15]
12	Javier Tuya	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]