@misc{10498/14417,
year = {2011},
month = {9},
url = {http://hdl.handle.net/10498/14417},
abstract = {Este Proyecto de Fin de Carrera (PFC) ha sido realizado en colaboración con el grupo de investigación SPI&FM (Software Process Improvement and Formal Methods) en su línea de Ingeniería Web. Esta línea de investigación se encuentra centrada en el desarrollo y perfeccionamiento de tareas de prueba de software para el lenguaje WS-BPEL. En concreto, el objetivo principal es refactorizar el proceso de generación dinámico de invariantes que realiza Takuan y realizar una interfaz gráfica (denominada IdigInBPEL) para facilitar el uso del sistema.},
keywords = {prueba de caja blanca de software, ws-bpel, generación dinámica de invariantes, python},
title = {Framework para la gestión de invariantes dinámicos en WS-BPEL},
author = {Santacruz López-Cepero, Francisco Javier},
}