智能化软件质量保证的概念与方法(校级高等院校理工类专业规划教材)

作者简介

聂长海 南京大学计算机科学与技术系教授、博士生导师。中国计算机学会杰出会员，容错专委会常务委员，软件专委会委员，形式化专委会委员。江苏省计算机学会副秘书长。在ACM TOSEM、IEEE TSE和ACM CSUR等顶级期刊发表及合作发表学术论文近百篇，获得多项发明专利和软件著作权。曾主持国家863项目、国家重点研发项目课题和多项国家自然科学基金项目，多次作为重要项目成员获得省部级科研奖。著有《组合测试》（2015）和《软件测试的概念与方法》（2013）。

内容简介