José García-Fanjul

14 papers A 1C 2Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2015 J jnl
Automatic test case generation for WS-Agreements using combinatorial testing.
Comput. Stand. Interfaces
Marcos Palacios, José García-Fanjul, Javier Tuya, George Spanoudakis
2015 J jnl
Coverage-Based Testing for Service Level Agreements.
IEEE Trans. Serv. Comput.
Marcos Palacios, José García-Fanjul, Javier Tuya, George Spanoudakis
2013 — —
Generación de casos de prueba para composiciones de servicios web.
José García-Fanjul
2012 A conf
Identifying Test Requirements by Analyzing SLA Guarantee Terms.
ICWS
Marcos Palacios, José García-Fanjul, Javier Tuya, George Spanoudakis
2011 J jnl
Testing in Service Oriented Architectures with dynamic binding: A mapping study.
Inf. Softw. Technol.
Marcos Palacios, José García-Fanjul, Javier Tuya
2010 C conf
A Proactive Approach to Test Service Level Agreements.
ICSEA
Marcos Palacios, José García-Fanjul, Javier Tuya, Claudio de la Riva
2009 — conf
A First Approach to Test Case Generation for BPEL Compositions of Web Services Using Scatter Search.
ICST Workshops
Raquel Blanco, José García-Fanjul, Javier Tuya
2007 — conf
Generación sistemática de pruebas para composiciones de servicios utilizando criterios de suficiencia basados en transiciones.
JISBD
José García-Fanjul, Javier Tuya, Claudio de la Riva
2006 C conf
A Partition-Based Approach for XPath Testing.
ICSEA
Claudio de la Riva, José García-Fanjul, Javier Tuya
2006 — conf
Diseño sistemático de pruebas para consultas XPath utilizando técnicas de partición.
JISBD
Claudio de la Riva, José García-Fanjul, Javier Tuya
2006 — conf
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking.
TAIC PART
José García-Fanjul, Claudio de la Riva, Javier Tuya
2000 — conf
Building Internet Shops: Current Status of the Cities Project.
ICEIS
Angel Goitia, José García-Fanjul, Javier Tuya, José A. Corrales
1999 — conf
TIBLEUS: A Model to Build Internet Online Support Services Using ASP.
ICEIS
José García-Fanjul, Cristina Monteserín, Claudio de la Riva, Javier Tuya
1999 — conf
Verificación Formal del Subsistema de Identificación de Clientes en una Tienda Virtual.
JISBD
José García-Fanjul, Javier Tuya, José A. Corrales