School of Computing

Software Vaccination: An Artificial Immune Systems Approach

P. May, K. Mander, and J. Timmis

In J. Timmis, P. Bentley, and E. Hart, editors, Proceedings of the 2nd International Conference on Artificial Immune Systems, volume 2787 of Lecture Notes in Computer Science, pages 182-196. Springer, September 2003.


Over time programming languages develop, paradigms evolve, development teams change. The effect of this is that test suites wear out, therefore these also need to evolve. Mutation testing is an effective fault-based testing approach, but it is computationally expensive. Any evolutionary based approach to this process needs to simultaneously manage execution costs. In this conceptual paper we adopt immune systems as a metaphor for the basis of an alternative mutation testing system. It is envisaged that through monitoring of the development environment, a minimal set of effective mutations and test cases can be developed - a 'vaccine' - that can be applied to the software development process to protect it from errors - from infections.

Bibtex Record

author = {May, P. and Mander, K. and Timmis, J.},
title = {{Software Vaccination: An Artificial Immune Systems Approach}},
month = {September},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    publication_type = {inproceedings},
    submission_id = {24757_1063284600},
    ISBN = {3--540-40766-9},
    booktitle = {Proceedings of the 2nd International Conference on Artificial Immune Systems},
    editor = {J. Timmis and P. Bentley and E. Hart},
    volume = {2787},
    series = {Lecture Notes in Computer Science},
    publisher = {Springer},
    refereed = {yes},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014