符号化执行相关硕士博士期刊学术论文 - 皮皮文库

符号化执行相关论文

规约驱动的片上系统一致性检测研究

片上系统(System-on-Chip,SoC)通常采用自顶向下的设计流程,根据高层级的设计规约探索设计空间后,设计将以虚拟原型的方式实现,同......

学位

一致性检测规约虚拟原型符号化执行变异测试

面向嵌入式软件缺陷检测的动态测试用例生成

软件漏洞是软件在设计实现时由于软件功能自身的复杂性和抽象性，导致在具体实现时由于考虑不周全所引起的缺陷。软件漏洞所造成的危......

学位

符号化执行污点数据路径遍历中间语言约束求解

看过本文同时还关注