The rise of Web Services and their WS-BPEL compositions in recent years makes necessary 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 different languages. In order to apply it we need a set of mutation operators and a system for mutant generation. This paper introduces a set of mutation operators for the WS-BPEL 2.0 language and a framework, based in genetic algorithms, for automatic mutant generation without rendering all possible mutants. This framework can also detect potentially equivalent mutants. © Springer-Verlag Berlin Heidelberg 2009.
CITATION STYLE
Juan Jośe, D. J., Antonia, E. B., & Inmaculada, M. B. (2009). A framework for mutant genetic generation for WS-BPEL. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5404 LNCS, pp. 229–240). https://doi.org/10.1007/978-3-540-95891-8_23
Mendeley helps you to discover research relevant for your work.