• Rodan: is a test case generator for WS-BPEL 2.0 compositions. Rodan is based on mutation testing and genetic algorithms. Rodan generates test cases for killing mutants of the original WS-BPEL composition. The MuBPEL tool generates the mutants for the original composition.