程序理解与测试

逆向工程, 程序验证与分析, 测试

成员:

• 刘 石 - 硕士研究生
• 赵 旭
• 郝 丹 - 博士后
• 张 路 - 教授
• 张 纯 - 硕士研究生