广东省科技攻关重点项目 (2020B0303300001); 2018–2019年度广东省“新一代人工智能”重大项目(2020AAA0108404); 国家自然科学基金(61906069, 62276103, 62202025, 61876207); 广东省基础与应用基础研究基金(2019A1515011700, 2020A1515010696, 2022A1515011491); 中央高校基本科研业务费专项资金(2020ZYGXZR014); 广东省财税大数据重点实验室开放基金(2022kyc021)
向毅,黄翰,罗川,杨晓伟.基于多样性SAT求解器和新颖性搜索的软件产品线测试.软件学报,,33():1-23
复制