@misc{10498/15759, year = {2011}, month = {9}, url = {http://hdl.handle.net/10498/15759}, keywords = {bpel}, keywords = {servicios web}, keywords = {prueba de software}, keywords = {prueba de mutaciones}, keywords = {java}, title = {Operadores de mutación de cobertura para WS-BPEL 2.0}, author = {Liñeiro Barea, Valentín}, }