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.