刘娟 刘玮 陈传波 陆永亮 陈波 宫云战 胡卫军 肖庆 任雅莉 李鸣 何春 张威 夏玉辉 赵鹏宇 卢庆龄

SVG格式 元素 语法树 分层结构 变量定义未使用故障 指针映射集 抽屉 软件测试 连接关系矩阵 未初化变量 过程控制 规则图形 SVG 卡通人物 多子模式非对称逆布局模式表示模型 软件过程 软件质量保障 控制流图 空指针引用 搜索算法 图块 构造抽屉 静态分析 图像压缩 分支冲突 骨架模型 不可达路径 灰度插值 测试用例 最少谓词路径

装甲兵工程学院信息工程系 湖北武汉 华中科技大学计算机科学与技术学院 浦华控股有限公司 装甲兵工程学院软件工程系 华中科技大学计算机学院 北京装甲兵工程学院信息工程系 北京邮电大学网络与交换技术国家重点实验室