%0 Journal Article %A Liñeiro Barea, Valentín %T Operadores de mutación de cobertura para WS-BPEL 2.0 %D 2011 %U http://hdl.handle.net/10498/15759 %K bpel %K servicios web %K prueba de software %K prueba de mutaciones %K java %~ Universidad de Cádiz