Towards higher-order mutant generation for WS-BPEL

Abstract

We present an architecture for automatically generating higher-order mutants for WS-BPEL compositions based on the architecture of GAmera, a first-order mutant generation system for WS-BPEL. Higher-order mutants are created by applying a sequence of first-order mutation operators to the original program. This paper also introduces the changes that GAmera has to undergo for converting the generation of first-order mutants into a process capable of higher-order mutation, while detailing the modifications carried out for adapting the crossover and mutation genetic operators to the new structure of the mutants.