Repositorio Institucional de la Universidad de Oviedo

Mostrando ítems 1-18 de 18

Automatic test case generation for WS-Agreements using combinatorial testing

Palacios Gutiérrez, Marcos; García Fanjul, José; Tuya González, Pablo Javier; Spanoudakis, George (Elsevier, 2015)
Coverage-Based Testing for Service Level Agreements

Palacios Gutiérrez, Marcos; García Fanjul, José; Tuya González, Pablo Javier; Spanoudakis, George (IEEE, 2015)
Design and Implementation of a Tool to Test Service Level Agreements

Palacios Gutiérrez, Marcos; García Fanjul, José; Tuya González, Pablo Javier (2014)
A first approach to test case generation for BPEL compositions of web services using Scatter Search

Blanco Aguirre, Raquel; García Fanjul, José; Tuya González, Pablo Javier (IEEE, 2009)
Generación de casos de prueba para composiciones de servicios web

García Fanjul, José (2007-04-20)
Generación de casos de prueba para composiciones de servicios web utilizando Búsqueda Dispersa

Blanco Aguirre, Raquel; García Fanjul, José; Tuya González, Pablo Javier (Sistedes, 2009)
Generating iInput documents for testing XML queries with ToXgene

Kim Park, Dae Sung; Riva Álvarez, Claudio A. de la; Tuya González, Pablo Javier; García Fanjul, José (2008-08)
Generating test cases specifications for BPEL compositions of web services using SPIN

García Fanjul, José; Tuya González, Pablo Javier; Riva Álvarez, Claudio A. de la (2006)
Generation of conformance test suites for compositions of web services using model checking

García Fanjul, José; Riva Álvarez, Claudio A. de la; Tuya González, Pablo Javier (2006-08)
Guía uso de Pull Requests en la asignatura Sistemas de Información

Suárez-Otero González, Pablo; Tuya González, Pablo Javier; Riva Álvarez, Claudio A. de la; Blanco Aguirre, Raquel; Zurita Hevia, Rubén; García Fanjul, José (2024-02-01)
Identifying test requirements by analyzing SLA guarantee terms

Palacios Gutiérrez, Marcos; García Fanjul, José; Tuya González, Pablo Javier; Spanoudakis, George (2012-06)
Integración de una solución software ITSM con bases de datos de vulnerabilidades para la mejora de la ciberseguridad de las infraestructuras y sistemas TI

Río Fernández, César del (2022-07-15)
A laboratory exercise in testing database applications

Tuya González, Pablo Javier; Riva Álvarez, Claudio A. de la; García Fanjul, José (2008-01)
A partition-based approach for XPath testing

Riva Álvarez, Claudio A. de la; García Fanjul, José; Tuya González, Pablo Javier (2006-10)
A proactive approach to test service level agreements

Palacios Gutiérrez, Marcos; García Fanjul, José; Riva Álvarez, Claudio A. de la; Tuya González, Pablo Javier (2010-08)
Test case generation for transition-pair coverage using Scatter Search

Blanco Aguirre, Raquel; García Fanjul, José; Tuya González, Pablo Javier (SERSC, 2010)
Testing in Service Oriented Architectures with dynamic binding: A mapping study

Palacios Gutiérrez, Marcos; García Fanjul, José; Tuya González, Pablo Javier (Elsevier, 2011)
Testing XPath queries using model checking

Riva Álvarez, Claudio A. de la; Tuya González, Pablo Javier; García Fanjul, José (2006-03)