Claudio de la Riva Álvarez

• Artículos de revistas (2)
• Colaboraciones en obras colectivas (7)
• Tesis (1)
• Tesis dirigidas (2)

• Artículos de revistas

  • Seleccionado

    Aplicación de un oráculo de prueba automatizado a la evaluación de salidas de programas basados en XML

    Dae S. Kim-Park, Claudio de la Riva Álvarez, Pablo Javier Tuya González

    REICIS: Revista Española de Innovación, Calidad e Ingeniería del Software, ISSN-e 1885-4486, Vol. 7, Nº. 1 (Abril), 2011, págs. 6-22

    • Texto completo
    
  • Seleccionado

    Reseña sobre el taller de Pruebas en Ingeniería del Software 2010 (PRIS)

    Claudio de la Riva Álvarez

    REICIS: Revista Española de Innovación, Calidad e Ingeniería del Software, ISSN-e 1885-4486, Vol. 7, Nº. 1 (Abril), 2011, págs. 47-48

    • Texto completo
    

• Colaboraciones en obras colectivas

  • Seleccionado

    Modelo de defectos dirigido por consultas para aplicaciones de bases de datos orientadas a grafos

    Raquel Blanco Aguirre , Pablo Javier Tuya González , Claudio de la Riva Álvarez

    Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021] / coord. por Rafael Capilla Sevilla , Maider Azanza Sese , Miguel Rodríguez Luaces , M. M. Roldán García , Dolores Burgueño Caballero, José Raúl Romero Salguero , José Antonio Parejo Maestre , José Francisco Chicano García , Marcela Genero , Óscar Díaz García , José González Enríquez , María Carmen Penades Gramage ; Silvia Mara Abrahao Gonzales (col.) , 2021

    • Resumen
    • Texto completo
    
  • Seleccionado

    Estado del arte en la investigación de métodos y herramientas de pruebas para procesos de negocio BPEL

    Marcos Palacios Gutiérrez, José García Fanjul , Pablo Javier Tuya González , Claudio de la Riva Álvarez

    Actas de las IV Jornadas Científico-Técnicas en Servicios Web y SOA: JSEWEB 2008 : Sevilla 29 y 30 de octubre de 2008 / coord. por José Manuel López Cobo, Antonio Vallecillo Moreno , Antonio Ruiz Cortés , 2008, ISBN 978-84-691-6710-6, págs. 132-137

    • Resumen
    
  • Seleccionado

    Generación sistemática de pruebas para composiciones de servicios utilizando criterios de suficiencia basados en transiciones

    José García Fanjul , Pablo Javier Tuya González , Claudio de la Riva Álvarez

    Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos / Xavier Franch (ed. lit.) , 2007, ISBN 978-84-9732-595-0, págs. 96-104

    
  • Seleccionado

    Técnicas y prácticas en la pruebas del software

    José García Fanjul , Claudio de la Riva Álvarez, Jose Ramón de Diego Rodriguez, Pablo Javier Tuya González

    Técnicas cuantitativas para la gestión en la ingeniería del software / Pablo Javier Tuya González (aut.) , José Javier Dolado Cosín (aut.) , Isabel Ramos Román (aut.) , 2007, ISBN 978-84-9745-204-5, págs. 43-68

    
  • Seleccionado

    Generación automática y paralela de entornos en la verificación de componentes software

    Claudio de la Riva Álvarez, Jose Ramón de Diego Rodriguez, Pablo Javier Tuya González

    VIII Jornadas de Ingeniería del Software y Bases de Datos: Actas (JISBD'03). Alicante, del 12 al 14 de noviembre de 2003 / coord. por Ernesto Pimentel Sánchez , Nieves R. Brisaboa , Jaime Gómez Ortega , 2003, ISBN 84-688-3836-5, págs. 35-46

    
  • Seleccionado

    Generación de restricciones del entorno para verificación modular utilizando reglas de asociación

    Claudio de la Riva Álvarez, Jose Ramón de Diego Rodriguez, Pablo Javier Tuya González

    JISBD 2001. Jornadas de ingeniería del software y bases de datos: 21 y 23 de noviembre de 2001. Almagro (Ciudad Real) / Arantza Illarramendi Echave (ed. lit.) , Óscar Díaz García (ed. lit.) , Mario G. Piattini Velthuis (ed. lit.) , 2001, ISBN 84-699-6275-2, págs. 391-403

    
  • Seleccionado

    Verificación Modular de Sistemas Reactivos con Abstracciones del Entorno

    Claudio de la Riva Álvarez, Pablo Javier Tuya González , Jose Ramón de Diego Rodriguez

    ACTAS DE LAS V JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS: JISBD 2000 / coord. por Carlos Delgado Kloos , Esperanza Marcos Martínez , José M. Marques, 2000, ISBN 84-8448-065-8, págs. 53-58

    

• Tesis

  • Seleccionado

    Obtención automática del entorno en la verificación modular de sistemas reactivos

    Claudio de la Riva Álvarez

    Tesis doctoral dirigida por Pablo Javier Tuya González (dir. tes.) . Universidad de Oviedo (2004).

    • Resumen
    

• Tesis dirigidas

  • Seleccionado

    Functional testing techniques for new massive data processing paradigms

    Jesús Morán Barbón

    Tesis doctoral dirigida por Claudio de la Riva Álvarez (dir. tes.), Pablo Javier Tuya González (codir. tes.) . Universidad de Oviedo (2019).

    • Resumen
    • Tesis en acceso abierto en: RUO
    
  • Seleccionado

    Generación de casos de prueba para composiciones de servicios web

    José García Fanjul

    Tesis doctoral dirigida por Pablo Javier Tuya González (dir. tes.) , Claudio de la Riva Álvarez (dir. tes.). Universidad de Oviedo (2007).

    • Resumen
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.