测试和调试自动化工具的强力支持是降低软件测试和调试开销的一个有效且必要的手段。学术界最前沿的研究也集中在如何提高软件测试和调试自动化。但是,软件研究界和产业界也同时认同目前或将来近期的自动化工具支持仍然没有达到完全自动化的程度,将来的研究方向应该侧重于如何让开发或测试人员和工具进行分工协同合作来完成软件测试和调试任务。本项目合作双方将在基于人机协作的软件测试与调试拟开展合作研究工作。申请人在自动化软件工程取得多项开创性成果,尤其在软件测试和软件工程数据挖掘有突出的贡献,为该领域国际著名专家。研究成果在产业界取得较大影响。他获得2009年美国国家自然科学基金会Faculty Career Award,获 2011 微软研究院软件工程创新基础奖,2008、2009、2010年获得IBM Faculty Awards和2008年获IBM Jazz Innovation Award。
英文主题词Software Testing;Software Debugging;Trustworthy Software;Test Case Generation;Human-Machine Cooperation