龚育昌 周学海 胡燕 张晔 李光亚 何兵 李曦 徐海燕李曦 肖镇

框架 模型检测 可执行代码 固件 语义概念 模式约束图 内存泄漏 嵌入式系统 异构平台 概念层次树 超媒体系统 查询说明 语义约束 项重写 FORTH 数据库模式 子图同构

中国科学技术大学计算机科学技术系 中国科学技术大学计算机科学与技术系 中国科学技术大学计算机系