• Rodan: es un generador de casos de prueba para composiciones WS-BPEL 2.0. Rodan está basado en la prueba de mutaciones y algoritmos genéticos, y genera casos de prueba para matar mutantes de la composición WS-BPEL original. La herramienta MuBPEL es la que genera los mutantes de la composición original.