路由协议的符号化测试生成与执行研究

路由协议的符号化测试生成与执行研究

出版年：2009

作者：邢熠

资源类型：图书

细分类型：学位论文

2浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

符号化视觉推理的执行效率研究

作者：黄迪
出版社：中国科学院计算技术研究所
出版年：2023

面向安全协议的移动进程演算的符号化理论

作者：刘佳
出版社：中国科学院
出版年：2010

基于动态符号执行的测试用例生成技术研究

作者：董齐兴
出版年：2014

可执行测试控制数据的生成-网络协议实现的标准化测试技术

作者：王利翔
出版年：1985

基于符号执行生成测试数据的过程优化

作者：于亚南
出版年：2012

路由协议测试系统研究及实现

作者：李建
出版年：2005