首届可配置系统分析趋势研讨会会议录
软件工程
2023-10-31 v1 形式语言与自动机理论
计算机科学中的逻辑
摘要
可配置系统（即其行为依赖于参数或支持多种特征的系统）的分析具有挑战性，因为配置选项数量呈指数级膨胀。本卷收录了首届可配置系统分析趋势研讨会（TiCSA 2023）的会后论文集，该研讨会展示并讨论了可配置系统分析中的当前挑战与解决方案。
引用
@article{arxiv.2310.18720,
title = {Proceedings of the First Workshop on Trends in Configurable Systems Analysis},
author = {Maurice H. ter Beek and Clemens Dubslaff},
journal= {arXiv preprint arXiv:2310.18720},
year = {2023}
}