| 2006 |
|---|
| 6 | EE | Claudio de la Riva,
José García-Fanjul,
Javier Tuya:
A Partition-Based Approach for XPath Testing.
ICSEA 2006: 17 |
| 5 | | 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: 99-108 |
| 4 | EE | 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: 127-130 |
| 2000 |
|---|
| 3 | | Angel Goitia,
José García-Fanjul,
Javier Tuya,
José A. Corrales:
Building Internet Shops: Current Status of the Cities Project.
ICEIS 2000: 529-530 |
| 1999 |
|---|
| 2 | | 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: 619-625 |
| 1 | | 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: 169-170 |
