GAmera: An automatic mutant generation system for WS-BPEL compositions

Juan José Domínguez-Jiménez, Antonia Estero-Botaro, Antonio García-Domínguez, Inmaculada Medina-Bulo

Research output: Chapter in Book/Published conference outputConference publication


Business processes based in WS-BPEL compositions are rapidly becoming commonplace in recent years, so it is important to pay special attention to testing in this context. Mutation testing is a white-box testing technique that has been applied successfully to programs written in several languages. In order to apply it we need a system for mutant generation. This paper presents the first results of applying a new system, GAmera, for automatic mutant generation for WS-BPEL compositions. It is composed by three different elements: an analyzer, a mutant generator and a system that executes and evaluates the mutants. GAmera is based in genetic algorithms and attempts to minimize the number of generated mutants, independently of the number and type of mutation operators, without losing relevant information. It can also detect potentially equivalent mutants allowing to improve the quality of the test suite.

Original languageEnglish
Title of host publicationECOWS'09 - 7th IEEE European Conference on Web Services
Number of pages10
Publication statusPublished - 1 Dec 2009
EventECOWS'09 - 7th IEEE European Conference on Web Services - Eindhoven, Netherlands
Duration: 9 Nov 200911 Nov 2009


ConferenceECOWS'09 - 7th IEEE European Conference on Web Services


  • Genetic algorithms
  • Mutation testing
  • Web service compositions
  • Web services


Dive into the research topics of 'GAmera: An automatic mutant generation system for WS-BPEL compositions'. Together they form a unique fingerprint.

Cite this