GAmera: An Automatic Mutant Generation System for WS-BPEL Compositions

  title={GAmera: An Automatic Mutant Generation System for WS-BPEL Compositions},
  author={Juan Jos{\'e} Dom{\'i}nguez-Jim{\'e}nez and Antonia Estero-Botaro and Antonio Garc{\'i}a-Dom{\'i}nguez and Inmaculada Medina-Bulo},
  journal={2009 Seventh IEEE European Conference on Web Services},
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… CONTINUE READING
Highly Cited
This paper has 23 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 16 extracted citations


Publications referenced by this paper.
Showing 1-10 of 23 references

A framework for mutant genetic generation for WS-BPEL

  • J. J. Domı́nguez-Jiménez, A. Estero-Botaro, I. Medina- Bulo
  • SOFSEM 2009: Proceedings of the 35th Conference…
  • 2009
1 Excerpt

Mutation operators for WS-BPEL 2.0

  • A. Estero-Botaro, F. Palomo-Lozano, I. Medina-Bulo
  • ICSSEA 2008: Proceedings of the 21th…
  • 2008
2 Excerpts

Research reports

  • IDC
  •, 2008.
  • 2008
1 Excerpt

Design and implementation of a framework for testing BPEL compositions

  • P. Mayer
  • Master’s thesis, Leibniz Universität Hannover…
  • 2006
1 Excerpt

Similar Papers

Loading similar papers…