中国-东盟工科大学联盟

主讲人：孙军

时 间：10月27日（星期二）下午3:00

地 点：腾讯会议

会议ID：498 915 383

会议密码：312312

主讲人介绍：

孙军，新加坡管理大学的副教授。于2002年和2006年获得新加坡国立大学计算机科学学士学位和博士学位。于2007年，获得了享有盛名的LEE KUAN YEW博士后奖学金。研究方向包括软件工程，形式方法，程序分析和网络安全。

报告摘要：

混合执行测试集成了具体执行（例如随机测试）与符号执行来生成测试用例。有研究表明混合执行测试比随机测试或符号执行更具成本效益。一个混合执行测试策略是决定何时应用随机测试或符号执行的函数，如果是后者，则决定要执行哪个程序路径。现有研究已经提出了许多基于启发式的策略，然而什么是最佳的混合执行测试策略仍然是一个悬而未决的问题。在本次讲座中，我将讨论我们提出的用于推到最优混合测试策略的框架，在此基础上我们分析现有的启发式方法，提出一种新算法来近似最优策略。