作者：张广梅

关键词：软件测试 ; 软件可靠性 ; 软件故障模型 ; 数据流分析 ; 贝叶斯方法

论文级别：博士

学位年度：2006

作者：龚涛

关键词：人工免疫系统 ; 正常模型 ; 3层免疫计算模型 ; 鲁棒性 ; 抗蠕虫病毒

论文级别：博士

学位年度：2007

作者：富浩

关键词：体系结构扩展 ; 故障定位 ; 软件调试 ; 在线统计模型 ; 软件行为模型 ; 编程规则

论文级别：博士

学位年度：2009

作者：张楠

关键词：软件可靠性增长模型 ; 故障检测工作量 ; 故障修正工作量 ; 无限服务台排队模型 ; 有限服务台排队模型

论文级别：博士

学位年度：2013

作者：刘东红

关键词：软件监控 ; 大规模分布式软件系统 ; 伴随监控技术 ; 软件开发方法

论文级别：博士

学位年度：2011

作者：韩春晓

关键词：单元测试 ; 软件故障 ; 故障定位 ; 执行路径集约简 ; 相似性度量 ; 可疑度计算

论文级别：硕士

学位年度：2013

作者：邴兴华

关键词：跨组织业务流程 ; 死锁检测 ; 约简规则 ; Pi演算

论文级别：硕士

学位年度：2012

作者：刘自恒

关键词：验证 ; 程序规范 ; 循环不变式 ; 自动化 ; 插件

论文级别：硕士

学位年度：2012

作者：孟照国

关键词：缺陷检测 ; 静态分析 ; 污点分析 ; 净化处理

论文级别：硕士

学位年度：2012

作者：尹建平

关键词：列车控制系统 ; 协议一致性测试 ; 扩展有限状态机 ; UIO_E

论文级别：硕士

学位年度：2011