符号约束集相关硕士博士期刊学术论文 - 信丰网

符号约束集相关论文

基于符号约束集的条件表达式数据流分析

C程序中的条件表达式是唯一一个由三目运算符构成的表达式；而从语义角度来说是分支语句结构，传统的数据流分析技术难以实现对其精确......

期刊

条件表达式数据流分析抽象内存模型区间运算符号约束集 conditional expression data flow analysis abstract

动态Web应用中的缺陷定位研究

在动态Web应用中，动态生成的HTML页面产生的缺陷难以定位并且会严重影响Web应用程序的可用性和稳定性。针对以上问题，提出了一种基于......

期刊

动态Web应用缺陷定位树模型符号约束集映射算法

看过本文同时还关注