科研专业方向
研究领域：
基础软件
研究方向：
软件分析与测试、软件安全、智能软件工程、软件大数据分析与挖掘等
戚教授
副教授
B类
江苏无锡市
科研重点分布
近年科研重点
2014
并发程序 程序切片 依赖性分析 可达性分析 偏序约简 程序分析 软件测试科研产出增长曲线
历年科研产出
学科论文分布
计算机软件及计算机应用：10
物理学：2
有机化工：1
工业通用技术及设备：1
总数:
13
展开
>
- 产学研合作
- 基金课题
- 荣誉&成就
- 科研成果
产学研合作
合作信息
| 合作单位 | 合作论文数量 |
|---|---|
| 西安理工大学材料科学与工程系 | 1 |
| 南京邮电大学计算机学院 | 1 |
| 江苏省软件质量研究所 | 1 |
展开全部
基金课题
| 论文标题 | 基金名称 |
|---|---|
| 基于偏序约简程序可达图的并发程序切片方法 | 国家自然科学基金 |
荣誉&成就
暂无荣誉成就信息
科研成果
- 期刊论文
- 技术成果
- 专利
基于偏序约简程序可达图的并发程序切片方法
基于偏序约简程序可达图的并发程序切片方法
并发程序切片原型系统的设计与实现
一种组合式基于调用栈的程序切片方法
变网格技术在三维CA模型中的应用
基于变网格技术的枝晶组织数值模拟研究
一种基于程序可达图的并发程序依赖性分析方法
C++程序设计教学新思路
溶胶-凝胶法制备YBCO超导材料
拉伸法制备β型聚偏二氟乙烯薄膜工艺研究
一种粗粒度并发程序切片方法
数据挖掘技术初探
拉伸工艺对聚偏二氟乙烯结构性能的影响
软件分析度量与测试的基础理论与方法
一种基于语义路径搜索的Web应用测试修复方法
基于GUI元素相似度计算的Web应用测试修复方法
一种基于关键词序列引导搜索的Web应用测试用例生成方法
基于用户接口状态流图的Web应用测试用例生成方法
一种基于约束求解的原子集合序列化违背探测方法
一种基于约束求解的原子违背探测方法
一种基于锁对象拆分策略的并发程序测试方法及其测试系统
展开全部
数据信息来源于网络，若有侵权请联系客服