Search the dblp DataBase

Publications of Author

1. Claudio de la Riva, Javier Tuya
   Modular Model Checking of Software Specifications with Simultaneous Environment Generation. [Citation Graph (0, 0)][DBLP]
   ATVA, 2004, pp:369-383 [Conf]
   
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. [Citation Graph (0, 0)][DBLP]
   Ershov Memorial Conference, 1999, pp:493-502 [Conf]
   
3. José García-Fanjul, Cristina Monteserín, Claudio de la Riva, Javier Tuya
   TIBLEUS: A Model to Build Internet Online Support Services Using ASP. [Citation Graph (0, 0)][DBLP]
   ICEIS, 1999, pp:619-625 [Conf]
   
4. Claudio de la Riva, Javier Tuya, José Ramón de Diego
   Verificación Modular de Sistemas Reactivos con Abstracciones del Entorno. [Citation Graph (0, 0)][DBLP]
   JISBD, 2000, pp:53-58 [Conf]
   
5. 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. [Citation Graph (0, 0)][DBLP]
   JISBD, 2001, pp:391-404 [Conf]
   
6. 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. [Citation Graph (0, 0)][DBLP]
   JISBD, 2003, pp:35-46 [Conf]
   
7. José García-Fanjul, Claudio de la Riva, Javier Tuya
   Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking. [Citation Graph (0, 0)][DBLP]
   TAIC PART, 2006, pp:127-130 [Conf]
   
8. Claudio de la Riva, José García-Fanjul, Javier Tuya
   A Partition-Based Approach for XPath Testing. [Citation Graph (0, 0)][DBLP]
   ICSEA, 2006, pp:17- [Conf]
   
9. Javier Tuya, María José Suárez Cabal, Claudio de la Riva
   Mutating database queries. [Citation Graph (0, 0)][DBLP]
   Information & Software Technology, 2007, v:49, n:4, pp:398-417 [Journal]
   
10. Claudio de la Riva, Javier Tuya
    Automatic generation of assumptions for modular verification of software specifications. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2006, v:79, n:9, pp:1324-1340 [Journal]
    
11. Javier Tuya, María José Suárez Cabal, Claudio de la Riva
    A practical guide to SQL white-box testing. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2006, v:41, n:4, pp:36-41 [Journal]
    
12. 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. [Citation Graph (0, 0)][DBLP]
    JISBD, 2006, pp:99-108 [Conf]
    
13. 
    Generación de Pruebas Basada en Restricciones para Consultas SQL. [Citation Graph (, )][DBLP]
    
    
14. 
    Pruebas en Ingeniería del Software (PRIS, 4ª edición). [Citation Graph (, )][DBLP]
    
    
15. 
    Query-aware shrinking test databases. [Citation Graph (, )][DBLP]