%0 Journal Article %A Liñeiro Barea, Valentín %T Herramienta para la generación automática de casos de prueba mediante siembra automática para WS-BPEL 2.0 %D 2014 %U http://hdl.handle.net/10498/16222 %K prueba de mutaciones %K siembra automática %K prueba de software %K servicios web %K BPEL %K Java %~ Universidad de Cádiz