循环边界分析相关硕士博士期刊学术论文 - 搜论网

循环边界分析相关论文

一种符号执行制导的循环内界分析方法

循环是计算机中重要的复杂程序结构.很多应用场景要求静态分析循环可能达到的最大迭代次数,即循环边界（Loop Bound）.对应技术在文献......

期刊

循环边界分析符号执行软件测试

基于抽象解释理论的程序循环边界分析

随着计算机科学的快速发展和计算机技术广泛应用,计算机软件能否正确运行,成为人们关注的焦点。特别是在一些重要的应用领域,对程......

学位

程序依赖程序切片抽象域抽象执行循环边界分析

看过本文同时还关注