@misc{10498/9755, year = {2010}, month = {9}, url = {http://hdl.handle.net/10498/9755}, abstract = {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.}, keywords = {prueba de mutaciones}, keywords = {WS-BPEL}, keywords = {operadores de mutación}, keywords = {servicios web}, title = {Implementación de operadores de mutación para WS-BPEL 2.0}, author = {Boubeta Puig, Juan}, }