An Immune System Inspired Approach to Automated Program Verification

http://arxiv.org/abs/0905.2649v1