TY  - THES 
A3  - Estero Botaro, Antonia
A3  - García Domínguez, Antonio
AU  - Liñeiro Barea, Valentín
A4  - Ingeniería Informática
PY  - 2014
UR  - http://hdl.handle.net/10498/16222
LA  - spa
KW  - prueba de mutaciones
KW  - siembra automática
KW  - prueba de software
KW  - servicios web
KW  - BPEL
KW  - Java
TI  - Herramienta para la generación automática de casos de prueba mediante siembra automática para WS-BPEL 2.0
M3  - bachelor thesis
ER  -