李军义 邓达平 张保国 童頫 闫仕宇 黎升洪 邹北骥 缪淮扣 姜梦稚 王命延 孙家广 李刚

形式化技术集成 形式方法 ZML 软件测试 类型检查 自动化测试 状态转换 XML模式 登陆系统 Pi演算 形式化方法 形式化规格 测试用例生成 语法制导 软件工程 西瓜棋 验证 Web服务组合