RT bachelor thesis T1 Herramienta para la generación automática de casos de prueba mediante siembra automática para WS-BPEL 2.0 A1 Liñeiro Barea, Valentín A2 Ingeniería Informática K1 prueba de mutaciones K1 siembra automática K1 prueba de software K1 servicios web K1 BPEL K1 Java YR 2014 FD 2014-02-04T00:00:00Z LK http://hdl.handle.net/10498/16222 UL http://hdl.handle.net/10498/16222 LA spa DS Repositorio Institucional de la Universidad de Cádiz RD 05-nov-2026