文成
个人信息:Personal Information
讲师 研究生导师
性别:男
学历:博士研究生毕业
学位:工学博士学位
在职信息:在岗
所在单位:广州研究院
入职时间:2022-12-31
学科:计算机软件与理论 计算机科学与技术 软件工程
办公地点:广州市黄埔区新龙镇知明路83号西安电子科技大学广州研究院求真楼A714
联系方式:wencheng [at] xidian.edu.cn
扫描关注
- 持久型内存错误(Persistent Memory Bugs)的修复
- ACSL 及Frama-C验证工具简介(一)
- ACSL 及Frama-C验证工具简介(二)
- 用Mixed Integer Programming做神经网络的鲁棒性验证
- Event-B建模实际操作:控制桥上的汽车(一)
- Event-B建模实际操作:控制桥上的汽车(二)
- 利用差分重放技术检测未初始化的变量
- Event-B建模实际操作:控制桥上的汽车(三)
- 用差分模糊测试做Side-Channel分析
- Event-B建模实际操作:控制桥上的汽车(四)
- Event-B形式化方法
- HyDiff:混合差分软件分析
- 基于Maximal Causality Reduction的并发程序验证
- Inductive Data Flow Graphs - 基于数据流图的并发程序验证
- ProFuzzer:基于运行时类型探测的模糊测试技术
- MEDS:增强型内存错误检测Sanitizer
- Big Code != Big Vocabulary
- Hawkeye:定向灰盒模糊测试技术
- UltimateAutomizer程序验证工具介绍
- 一种基于多面体路径抽象的渐进式混合模糊测试技术