José García-Fanjul

Publication Activity (10 Years)

Years Active: 1999-2015
Publications (10 Years): 2

Top Topics

Software Testing

Pattern Matching

Service Level Agreements

Test Case Generation

Top Venues

IEEE Trans. Serv. Comput.

Comput. Stand. Interfaces

Publications

Marcos Palacios, José García-Fanjul, Javier Tuya, George Spanoudakis
Automatic test case generation for WS-Agreements using combinatorial testing. Comput. Stand. Interfaces 38 (2015)
Marcos Palacios, José García-Fanjul, Javier Tuya, George Spanoudakis
Coverage-Based Testing for Service Level Agreements. IEEE Trans. Serv. Comput. 8 (2) (2015)
Marcos Palacios, José García-Fanjul, Javier Tuya, George Spanoudakis
Identifying Test Requirements by Analyzing SLA Guarantee Terms. ICWS (2012)
Marcos Palacios, José García-Fanjul, Javier Tuya
Testing in Service Oriented Architectures with dynamic binding: A mapping study. Inf. Softw. Technol. 53 (3) (2011)
Marcos Palacios, José García-Fanjul, Javier Tuya, Claudio de la Riva
A Proactive Approach to Test Service Level Agreements. ICSEA (2010)
Raquel Blanco, José García-Fanjul, Javier Tuya
A First Approach to Test Case Generation for BPEL Compositions of Web Services Using Scatter Search. ICST Workshops (2009)
José García-Fanjul, Javier Tuya, Claudio de la Riva
Generación sistemática de pruebas para composiciones de servicios utilizando criterios de suficiencia basados en transiciones. JISBD (2007)
Claudio de la Riva, José García-Fanjul, Javier Tuya
A Partition-Based Approach for XPath Testing. ICSEA (2006)
José García-Fanjul, Claudio de la Riva, Javier Tuya
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking. TAIC PART (2006)
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. JISBD (2006)
Angel Goitia, José García-Fanjul, Javier Tuya, José A. Corrales
Building Internet Shops: Current Status of the Cities Project. ICEIS (2000)
José García-Fanjul, Cristina Monteserín, Claudio de la Riva, Javier Tuya
TIBLEUS: A Model to Build Internet Online Support Services Using ASP. ICEIS (1999)
José García-Fanjul, Javier Tuya, José A. Corrales
Verificación Formal del Subsistema de Identificación de Clientes en una Tienda Virtual. JISBD (1999)