陈振宇 王昇 张广泉 董国伟 徐宝文 李磊芳

软件测试 测试用例生成 布尔规格测试 动态置换 面向服务架构 服务构件 服务容错

南京大学计算机科学与技术系 苏州大学计算机科学与技术学院 东南大学计算机科学与工程学院 中国科学院计算机科学国家重点实验室 南京大学计算机软件新技术国家重点实验室