科研专业方向
研究领域：
基础软件
研究方向：
软件工程、软件测试与分析、以及普适计算。
许教授
教授
江苏南京市
科研重点分布
近年科研重点
2020
可成长软件 范型机理 自主适应 持续演化 环境感知自适应软件 运行时质量保障 输入验证 软件可靠性2022
安卓应用 软件测试 录制重放 GUI测试科研产出增长曲线
历年科研产出
学科论文分布
计算机软件及计算机应用：25
自动化技术：6
总数:
29
展开
>
- 产学研合作
- 基金课题
- 荣誉&成就
- 科研成果
产学研合作
合作信息
| 合作单位 | 合作论文数量 |
|---|---|
| 微软(中国)有限公司苏州分公司 | 2 |
| 南京航空航天大学计算机科学与技术学院 | 2 |
| 高安全系统的软件开发与验证技术工信部重点实验室(南京航空航天大学) | 2 |
| 大连理工大学 | 1 |
| 北京大学 | 1 |
| 复旦大学 | 1 |
| 西北工业大学软件学院 | 1 |
展开全部
基金课题
| 论文标题 | 基金名称 |
|---|---|
| 一种面向功能类似程序的高效克隆检测技术 | 国家九七三重点基础研究计划 |
| 可成长软件理论方法和实现技术:从范型到跨越 | 国家重点研发计划 |
| 基于GUI事件的安卓应用录制重放关键技术综述 | 国家自然科学基金重点项目 |
| 小车远程控制及自主寻路系统的设计与实现 | 国家重点基础研究发展计划 |
| MultiOffloading:支持多种资源借调的安卓应用平台 | 国家自然科学基金Nos.6147217461690204国家高技术研究发展计划 |
| 基于搜索的上下文一致性错误处理 | 国家863计划 |
| 基于搜索的上下文一致性错误处理 | 国家自然科学基金 |
| 基于搜索的上下文一致性错误处理 | 国家自然科学基金 |
| Android应用测试输入自动生成技术 | 国家重点研发计划 |
| 获取访存依赖:并发程序动态分析基础技术综述 | 国家重点基础研究发展计划 |
| 上下文一致性错误及其处理对应用的影响 | 国家自然科学基金Grant Nos.611000386136112009791318301国家高技术研究发展计划 |
| 环境感知自适应软件的运行时输入验证技术综述 | 国家自然科学基金重点项目 |
| 智能化信息物理系统中非确定性的分类研究 | 国家重点研发计划项目 |
| Hybrid-Fixing:上下文一致性错误的正确修复 | 国家八六三高技术研究发展计划基金项目 |
| Hybrid-Fixing:上下文一致性错误的正确修复 | 国家自然科学基金创新群体项目 |
| 面向环境非确定性的信息物理融合系统测试技术研究 | 国家重点研发计划 |
| 面向网构软件的环境显式化技术 | 国家重点基础研究发展计划 |
展开全部
荣誉&成就
曾于2005和2006年获得IBMPhDFellowship两次，2010年入选教育部新世纪优秀人才支持计划，2011年获得南京大学青年骨干教师称号和国家科学技术进步二等奖，2012年获得中创软件人才奖，2013年入选南京大学登峰人才支持计划。
科研成果
- 期刊论文
- 技术成果
- 专利
Java指针分析综述
基于GUI事件的安卓应用录制重放关键技术综述
基于GUI事件的安卓应用录制重放关键技术综述
智能软件工程专栏前言
可成长软件理论方法和实现技术:从范型到跨越
环境感知自适应软件的运行时输入验证技术综述
智能化信息物理系统中非确定性的分类研究
智能化信息物理系统中非确定性的分类研究
可成长软件理论方法和实现技术:从范型到跨越
Android应用测试输入自动生成技术
Android应用测试输入自动生成技术
面向环境非确定性的信息物理融合系统测试技术研究
MultiOffloading:支持多种资源借调的安卓应用平台
一种面向功能类似程序的高效克隆检测技术
MultiOffloading:支持多种资源借调的安卓应用平台
获取访存依赖:并发程序动态分析基础技术综述
一种面向功能类似程序的高效克隆检测技术
获取访存依赖:并发程序动态分析基础技术综述
小车远程控制及自主寻路系统的设计与实现
小车远程控制及自主寻路系统的设计与实现
Hybrid-Fixing:上下文一致性错误的正确修复
基于搜索的上下文一致性错误处理
上下文一致性错误及其处理对应用的影响
面向移动机器人应用的跨平台自适应软件框架
上下文一致性错误及其处理对应用的影响
非一致上下文的自动修复技术
面向网构软件的环境显式化技术
面向网构软件的环境显式化技术
自适应软件系统构造——自动避障三轮小车的案例研究
元级化、定义化的软件自适应模型、方法与平台
一种面向数据一致性维护的双粒度融合方法
基于程序源码切片重组的软件动态更新热补丁合成方法
基于示例编程的格式丰富文档实体一致性转换方法及框架
提高安卓应用测试覆盖率的测试用例分解组合方法和系统
一种基于层次化模型的文件系统测试方法
面向神经网络模型的基于层间剖析的输入实例验证方法
一种兼顾深度以及广度的模糊测试搜索方法
一种基于精化单元格聚类的电子表格缺陷检测方法
基于视频动态分析的电子表格公式合成与错误检测方法
一种基于安卓虚拟机修改的有效测试框架
一种基于安卓应用层修改的有效测试框架
一种实现上下文一致性的检测系统及检测方法
一种上下文一致性检测与修复系统及检验方法与平台
一种安卓应用并发漏洞检测系统
一种安卓应用的相关手势投放测试框架
一种针对安卓应用对传感器的能耗漏洞的分析与检测系统
一种针对安卓应用的迁移重构及支持系统
一种程序中基于动态符号执行的自动错误定位方法
一种普适计算环境上下文一致性检测调度系统及方法
一种普适计算环境上下文一致性检测调度系统及方法
基于图形处理器的并行化约束检测方法
基于图形处理器的并行化约束检测方法
一种基于用户执行踪迹重放的移动应用测试方法
一种基于用户执行踪迹重放的移动应用测试方法
展开全部
数据信息来源于网络，若有侵权请联系客服