一种受免疫系统启发的自动程序验证方法
摘要：一种受免疫系统启发的人工免疫系统（AIS）算法被提出，并用于自动程序验证的目的。讨论了相关的免疫学概念并对 AIS 领域进行了简要回顾。提议使用这种 AIS 算法进行特定的自动程序验证任务：预测程序不变式的形状。研究表明，该算法可以正确预测各种基准程序的程序不变式形状。
作者：Soumya Banerjee
论文ID：0905.2649
分类：Neural and Evolutionary Computing
分类简称：cs.NE
提交时间：2009-05-19