A Fortran language system for mutation-based software testing
Software—Practice & Experience
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Genetic Algorithms in Search, Optimization and Machine Learning
Genetic Algorithms in Search, Optimization and Machine Learning
Mutation 2000: uniting the orthogonal
Mutation testing for the new century
Instrumenting Programs With Flag Variables For Test Data Search By Genetic Algorithms
GECCO '02 Proceedings of the Genetic and Evolutionary Computation Conference
MuJava: an automated class mutation system: Research Articles
Software Testing, Verification & Reliability
Information and Software Technology
Evolutionary software engineering, a review
Applied Soft Computing
GAmera: a Tool for WS-BPEL composition testing using mutation analysis
ICWE'10 Proceedings of the 10th international conference on Web engineering
Chronological fault-based mutation processes for WS-BPEL 2.0 programs
International Journal of Web Engineering and Technology
Hi-index | 0.00 |
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.