Claudio de la Riva Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

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

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)