杨培根 绳程弟 谢立 金志权 盛蓝 周晓方 朱根江 陈佩佩

软件测试 基于规约的测试 通信原语 语义等价 并行编译 分布式程序测试 分布式程序设计语言 可适应性

南京大学 江苏南京 南京大学计 南京大学计算机系 南京大学计算机科学与技术系 日本会津大学计算机理工学部 南京大学软件新技术国家重点实验室 南京大学计算机软件新技术国家重点实验室