一篇论文被automated software engineering录用-凯发k8官网下载客户端

近日，我们的论文sampling configurations from software product lines via probability-aware diversification and sat solving被软件工程领域的知名期刊automated software engineering正式录用。

针对软件产品线的采样问题，本文提出了一种概率策略辅助cdcl和sls类型的sat求解器生成多样化的软件产品。在软件产品线配置和性能预测两个重要的实际场景，验证了本文策略的有效性。