• 
  基于模型的测试：一个软件工艺师的方法
• 
  软件测试的有效方法
• 
  大模型驱动的软件测试
• 
  软件测试的概念与方法
• 
  基于模型的系统工程有效方法
• 
  嵌入式软件系统测试：基于形式化方法的自动化测试解决方案
• 
  软件工艺师：专业、务实、自豪
• 
  软件测试：一个软件工艺师的方法（原书第5版） [美]保罗·C. 乔根森 [美]拜伦·德弗里斯