Proceedings of the First Workshop on Trends in Configurable Systems Analysis

Maurice H. ter Beek,Clemens Dubslaff
DOI: https://doi.org/10.4204/EPTCS.392
2023-10-28
Abstract:The analysis of configurable systems, i.e., systems those behaviors depend on parameters or support various features, is challenging due to the exponential blowup arising in the number of configuration options. This volume contains the post-proceedings of TiCSA 2023, the first workshop on Trends in Configurable Systems Analysis, where current challenges and solutions in configurable systems analysis were presented and discussed.
Software Engineering,Formal Languages and Automata Theory,Logic in Computer Science
What problem does this paper attempt to address?