卢炎生 芦康俊 谢晓东 李祥和 许俊杰 蔡皖东 刘达 陈锦富 杜经农

错误模型 缓冲区溢出 软件测试 测试用例生成 安全漏洞 环境错误 安全异常 漏洞检测 鲁棒性 软件变异 构件测试 脆弱性测试 错误注入分析 构件安全 静态分析