TY - THES A3 - Estero Botaro, Antonia A3 - García Domínguez, Antonio AU - Liñeiro Barea, Valentín A4 - Ingeniería Informática PY - 2011 UR - http://hdl.handle.net/10498/15759 LA - spa KW - bpel KW - servicios web KW - prueba de software KW - prueba de mutaciones KW - java TI - Operadores de mutación de cobertura para WS-BPEL 2.0 M3 - bachelor thesis ER -