Towards higher-order mutant generation for WS-BPEL

E. Blanco-Muñoz; A. García-Domínguez; J. J. Domínguez-Jiménez; I. Medina-Bulo

Towards higher-order mutant generation for WS-BPEL

E. Blanco-Muñoz^*
, A. García-Domínguez
, J. J. Domínguez-Jiménez
, I. Medina-Bulo

^*Corresponding author for this work

College of Engineering and Physical Sciences

Universidad de Cádiz

Research output: Chapter in Book/Published conference output › Conference publication

5 Citations (Scopus)

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.

Original language	English
Title of host publication	ICE-B 2011 - Proceedings of the International Conference on e-Business
Pages	143-148
Number of pages	6
Publication status	Published - 12 Sept 2011
Event	International Conference on e-Business, ICE-B 2011 - Seville, Spain Duration: 18 Jul 2011 → 21 Jul 2011

Conference

Conference	International Conference on e-Business, ICE-B 2011
Country/Territory	Spain
City	Seville
Period	18/07/11 → 21/07/11

Keywords

Genetic algorithm
Mutation testing
Web service compositions
Web services
WS-BPEL

Cite this

@inproceedings{1a8765e391854eebb53d83ec10b1dbf1,

title = "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.",

keywords = "Genetic algorithm, Mutation testing, Web service compositions, Web services, WS-BPEL",

author = "E. Blanco-Mu{\~n}oz and A. Garc{\'i}a-Dom{\'i}nguez and Dom{\'i}nguez-Jim{\'e}nez, \{J. J.\} and I. Medina-Bulo",

year = "2011",

month = sep,

day = "12",

language = "English",

isbn = "9789898425706",

pages = "143--148",

booktitle = "ICE-B 2011 - Proceedings of the International Conference on e-Business",

note = "International Conference on e-Business, ICE-B 2011 ; Conference date: 18-07-2011 Through 21-07-2011",

}

TY - GEN

T1 - Towards higher-order mutant generation for WS-BPEL

AU - Blanco-Muñoz, E.

AU - García-Domínguez, A.

AU - Domínguez-Jiménez, J. J.

AU - Medina-Bulo, I.

PY - 2011/9/12

Y1 - 2011/9/12

N2 - 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.

AB - 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.

KW - Genetic algorithm

KW - Mutation testing

KW - Web service compositions

KW - Web services

KW - WS-BPEL

UR - https://www.scopus.com/pages/publications/80052483593

M3 - Conference publication

AN - SCOPUS:80052483593

SN - 9789898425706

SP - 143

EP - 148

BT - ICE-B 2011 - Proceedings of the International Conference on e-Business

T2 - International Conference on e-Business, ICE-B 2011

Y2 - 18 July 2011 through 21 July 2011

ER -

Towards higher-order mutant generation for WS-BPEL

Abstract

Conference

Keywords

Other files and links

Fingerprint

Cite this