TY - THES A3 - García Domínguez, Antonio A3 - Medina Bulo, María Inmaculada AU - Boubeta Puig, Juan A4 - Lenguajes y Sistemas Informáticos PY - 2010 UR - http://hdl.handle.net/10498/9755 AB - 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... LA - spa KW - prueba de mutaciones KW - WS-BPEL KW - operadores de mutación KW - servicios web TI - Implementación de operadores de mutación para WS-BPEL 2.0 M3 - bachelor thesis ER -