The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Claudio de la Riva: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002