%0 Journal Article %A Boubeta Puig, Juan %T Implementación de operadores de mutación para WS-BPEL 2.0 %D 2010 %U http://hdl.handle.net/10498/9755 %X En este proyecto fin de carrera se completa una herramienta real denominada GAmera desarrollada en el grupo de investigación SPI&FM. GAmera es una herramienta de generación de mutantes para WS-BPEL que en vez de generarlos todos genera sólo un subconjunto de ellos. Dicha herramienta se divide en dos partes: un algoritmo genético que dirige todo el proceso y un entorno que compara los mutantes con el proceso original, para comprobar si su comportamiento varía o no. Este PFC se enmarca dentro de esta segunda parte. %K prueba de mutaciones %K WS-BPEL %K operadores de mutación %K servicios web %~ Universidad de Cádiz