程序错误检测相关硕士博士期刊学术论文 - 搜论网

程序错误检测相关论文

一种实用的程序控制流错误检测方法

该文武介绍了一种检测软件控制流错误的方法,阐述了该方法的原理,给出了具体的实现方案和测试结果.本方法在RSCFC方法的基础上,通......

期刊

程序错误检测控制流错误软件检测基本模块非法跳转 program error detectioncontrol flow errorsoftware de

C程序静态分析与错误检测

随着计算机技术的快速发展和普及,软件系统已经成为这个社会不可缺少的一部分。与此同时,软件质量的问题也日益突出,特别的,对于用......

学位

程序正确性静态程序分析程序错误检测符号执行约束求解

看过本文同时还关注