• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊
A Surrogate model-based assertion coverage improvement technology
SHI Ming-chuan, LONG Qiao-zhou, ZOU Hong-ji, LI Tun
Computer Engineering & Science . 2023, (08): 1365 -1375 .