2015年6月10日下午，上海计算机软件技术开发中心特邀美国西密西根大学计算机科学系杨子江副教授做了一场题为“基于符号执行的全路径测试”的学术讲座。本次讲座由重点实验室副主任刘振宇主持，并代表实验室全员对扬子江教授的到访表示热烈欢迎。
杨子江副教授于2003年从美国宾夕法尼亚大学计算机与信息科学系获得博士学位，目前主要从事软件测试及验证领域的研究，迄今为止发表了六十余篇论文及十项美国专利。他获得2008年度ACM TODAES最佳期刊论文奖, 2010年PADTAD最佳会议论文奖，2008年西密西根大学工学院研究成就奖，和2015年谷歌CS Engagement奖。杨子江博士是国际电子电气工程师协会资深会员，并担任过密西根大学电子与计算机科学系访问教授，NEC 公司美国研发中心科研顾问，美国自然科学基金评委，美国宇航局博士后评委，美国能源部科技企业基金评委等职。
杨子江副教授首先介绍了符号执行技术的基本原理；接着介绍了自己将符号执行用于生成测试输入，设计了一种新的全路径测试方法；最后展示了这种方法应用在KLEE引擎和GNU Coreutils工具中的实验成果。基于符号执行的全路径测试方法为软件测试工作提供了一个新的视角。讲座结束之后，杨子江副教授认真解答了与会者提出的问题，围绕该测试方法在实际测试工作的应用和大家展开了热烈讨论，讲座在掌声中圆满结束。
