区间抽象相关硕士博士期刊学术论文 - 搜论网

区间抽象相关论文

基于抽象解释的变量值范围分析及应用

精确的变量值范围分析对于编译器优化、静态分析和软件测试至关重要.在介绍抽象解释理论的基础上,扩展了经典的区间抽象,首次提出......

期刊

软件测试静态分析抽象解释区间抽象范围分析不可达路径 software testing static analysis abstract inter

看过本文同时还关注