Investigación
Líneas de Investigación:
- Pruebas de Aplicaciones con Bases de Datos y XML: evaluación de la cobertura y efectividad de las pruebas y diseño de pruebas.
- Pruebas de Aplicaciones Orientadas a Servicios (SOA): composiciones de servicios web (WS-BPEL) y transacciones web.
- Automatización de la generación de datos de prueba, oráculos de prueba y validación experimental.