Page 267 - 《软件学报》2024年第6期

向毅 等: 基于多样性 SAT 求解器和新颖性搜索的软件产品线测试 2843

[49] Zhang W, Sun Z, Zhu Q, Li G, Cai SW, Xiong YF, Zhang L. NLocalSAT: Boosting local search with solution prediction. In: Proc. of the
29th Int’l Joint Conf. on Artificial Intelligence. Yokohama: IJCAI, 2020. 1177–1183. [doi: 10.24963/ijcai.2020/164]
[50] Luo C, Zhao QY, Cai SW, Zhang HY, Hu CM. SamplingCA: Effective and efficient sampling-based pairwise testing for highly
configurable software systems. In: Proc. of the 30th ACM Joint European Software Engineering Conf. and Symp. on the Foundations of
Software Engineering. Singapore: ACM, 2022, 1185–1197. [doi: 10.1145/3540250.3549155]
[51] Xiang Y, Huang H, Zhou Y, Li S, Luo C, Lin Q, Li M, Yang X. Search-based diverse sampling from real-world software product lines.
In: Proc. of the 2022 Int’l Conf. on Software Engineering (ICSE). New York: ACM, 2022. 1945–1957.

附中文参考文献:
[4] 连小利, 张莉. 面向软件产品线中特征选择的多目标优化算法. 软件学报, 2017, 28(10): 2548–2563. http://www.jos.org.cn/1000-9825/
5130.htm [doi: 10.13328/j.cnki.jos.005130]

向毅(1986－), 男, 博士, 副教授, 博士生导师, 主 罗川(1991－), 男, 博士, 副教授, CCF 专业会员,
要研究领域为智能化软件工程, 演化计算, 软件 主要研究领域为约束求解, 软件测试, 云计算.
产品线.

黄翰(1980－), 男, 博士, 教授, CCF 杰出会员, 主 杨晓伟(1969－), 男, 博士, 教授, 博士生导师, 主
要研究领域为微计算理论与方法, 智能化软件工 要研究领域为机器学习, 模式识别, 智能化软件
工程.
程, 数据智能工程, 生化反应计算机.