陆际光 程绍银 王启付 林建平 贾振华 李文辉 孙吉贵 陈钢 邢学智 田显钊 章磊 唐菀 姜英新 马爱玲 张晓菲 蒋凡 穆宝良 王嘉捷 王远志 郝鑫 孙立镌

自由度分析 自适应 约束满足问题 语义特征造型 过约束 特征依赖图 TTCN-3 直接操作 特征编码 模型驱动测试 UML 欠约束 几何推理 静态分析 模型编辑 搜索策略 特征造型 符号执行 软件缺陷 约束 变量几何 高可信软件 装配 变量化设计 补丁 测试生成