[PDF][PDF] 程序分析研究进展
张健， 张超， 玄跻峰， 熊英飞， 王千祥， 梁彬， 李炼… - jifeng-xuan.com
在信息化时代, 人们对软件的质量要求越来越高. 程序分析是保障软件质量的重要手段之一,
日益受到学术界和产业界的重视. 本文介绍若干基本程序分析技术(抽象解释, 数据流分析 …
日益受到学术界和产业界的重视. 本文介绍若干基本程序分析技术(抽象解释, 数据流分析 …
[PDF][PDF] 程序分析研究进展
张健， 张超， 玄跻峰， 熊英飞， 王千祥， 梁彬， 李炼… - jos.org.cn
在信息化时代, 人们对软件的质量要求越来越高. 程序分析是保障软件质量的重要手段之一,
日益受到学术界和产业界的重视. 介绍了若干基本程序分析技术(抽象解释, 数据流分析 …
日益受到学术界和产业界的重视. 介绍了若干基本程序分析技术(抽象解释, 数据流分析 …
[PDF][PDF] 程序分析研究进展
张健， 张超， 玄跻峰， 熊英飞， 王千祥， 梁彬， 李炼… - rucsesec.github.io
在信息化时代, 人们对软件的质量要求越来越高. 程序分析是保障软件质量的重要手段之一,
日益受到学术界和产业界的重视. 介绍了若干基本程序分析技术(抽象解释, 数据流分析 …
日益受到学术界和产业界的重视. 介绍了若干基本程序分析技术(抽象解释, 数据流分析 …
[PDF][PDF] 程序分析研究进展
张健， 张超， 玄跻峰， 熊英飞， 王千祥， 梁彬， 李炼… - jifeng-xuan.com
在信息化时代, 人们对软件的质量要求越来越高. 程序分析是保障软件质量的重要手段之一,
日益受到学术界和产业界的重视. 本文介绍若干基本程序分析技术(抽象解释, 数据流分析 …
日益受到学术界和产业界的重视. 本文介绍若干基本程序分析技术(抽象解释, 数据流分析 …
程序分析研究进展
张健， 张超， 玄跻峰， 熊英飞， 王千祥， 梁彬， 李炼… - 软件学报, 2018 - jos.org.cn
张健(1969-), 男, 安徽庐江人, 博士, 研究员, 博士生导师, CCF 杰出会员, 主要研究领域为自动
推理与约束求解, 软件测试及分析; 张超(1986-), 男, 博士, 副教授, 博士生导师, CCF 专业会员 …
推理与约束求解, 软件测试及分析; 张超(1986-), 男, 博士, 副教授, 博士生导师, CCF 专业会员 …
程序分析研究进展
张健， 张超， 玄跻峰， 熊英飞， 王千祥， 梁彬， 李炼… - 软件学报, 2018 - jos.org.cn
张健(1969-), 男, 安徽庐江人, 博士, 研究员, 博士生导师, CCF 杰出会员, 主要研究领域为自动
推理与约束求解, 软件测试及分析; 张超(1986-), 男, 博士, 副教授, 博士生导师, CCF 专业会员 …
推理与约束求解, 软件测试及分析; 张超(1986-), 男, 博士, 副教授, 博士生导师, CCF 专业会员 …