TY - THES A3 - Medina Bulo, María Inmaculada A3 - Domínguez Jiménez, Juan José AU - Estero Botaro, Antonia A4 - Ingeniería Informática PY - 2013 UR - http://hdl.handle.net/10498/17562 AB - La prueba de mutaciones ha sido objeto de múltiples trabajos de investigación durante los últimos 30 años; sin embargo, aún hoy día sigue presentando algunos problemas que no están resueltos, como la determinación de los programas semánticamente... LA - spa KW - Prueba de software KW - Prueba de mutaciones KW - WS-BPEL KW - Algoritmos genéticos KW - Generación casos de prueba TI - Aplicación de la prueba de mutaciones a composiciones de servicios web en WS-BPEL para la generación de casos de prueba de calidad M3 - doctoral thesis ER -