基于符号执行的自动利用生成的设计与实现

基于符号执行的自动利用生成的设计与实现

出版年：2017

作者：王云鹏

资源类型：图书

细分类型：学位论文

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

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

作者：董齐兴
出版年：2014

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

作者：于亚南
出版年：2012

量子程序设计的自动化技术:符号执行与自动微分

作者：方望
出版社：中国科学院软件研究所
出版年：2024

基于路径符号执行的数据相关性分析

作者：王晓亮
出版社：中国科学院
出版年：2004

基于变量关系图和符号执行的指针相关路径分析

作者：杨宇
出版社：中国科学院
出版年：2003

基于符号执行和约束求解的程序验证与测试工具

作者：徐辰
出版社：中国科学院
出版年：2002