| 2008 |
|---|
| 13 | EE | Javier Tuya,
José Javier Dolado,
María José Suárez Cabal,
Claudio de la Riva:
A controlled experiment on white-box database testing.
ACM SIGSOFT Software Engineering Notes 11(1): (2008) |
| 2007 |
|---|
| 12 | EE | Javier Tuya,
María José Suárez Cabal,
Claudio de la Riva:
Mutating database queries.
Information & Software Technology 49(4): 398-417 (2007) |
| 2006 |
|---|
| 11 | EE | Claudio de la Riva,
José García-Fanjul,
Javier Tuya:
A Partition-Based Approach for XPath Testing.
ICSEA 2006: 17 |
| 10 | | 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 |
| 9 | 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 |
| 8 | EE | Claudio de la Riva,
Javier Tuya:
Automatic generation of assumptions for modular verification of software specifications.
Journal of Systems and Software 79(9): 1324-1340 (2006) |
| 7 | EE | Javier Tuya,
María José Suárez Cabal,
Claudio de la Riva:
A practical guide to SQL white-box testing.
SIGPLAN Notices 41(4): 36-41 (2006) |
| 2004 |
|---|
| 6 | EE | Claudio de la Riva,
Javier Tuya:
Modular Model Checking of Software Specifications with Simultaneous Environment Generation.
ATVA 2004: 369-383 |
| 2003 |
|---|
| 5 | | Claudio de la Riva,
Javier Tuya,
José Ramón de Diego:
Generación Automática y Paralela de Entornos en la Verificación de Componentes Software.
JISBD 2003: 35-46 |
| 2001 |
|---|
| 4 | | Claudio de la Riva,
Javier Tuya,
José Ramón de Diego:
Generación de Restricciones del Entorno para Verificación Modular Utilizando Reglas de Asociación.
JISBD 2001: 391-404 |
| 2000 |
|---|
| 3 | | Claudio de la Riva,
Javier Tuya,
José Ramón de Diego:
Verificación Modular de Sistemas Reactivos con Abstracciones del Entorno.
JISBD 2000: 53-58 |
| 1999 |
|---|
| 2 | EE | Claudio de la Riva,
Javier Tuya,
José Ramón de Diego:
Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker.
Ershov Memorial Conference 1999: 493-502 |
| 1 | | 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 |
