Testing of highly configurable systems is challenging due to an immense number of configurations and is usually performed on a small sample set. Its quality is often measured with t-wise coverage. We propose a tool Baital for sampling highly configurable systems with thousands of features capable of achieving high t-wise coverage. The effectiveness and scalability of the tool are based on two novel techniques: the adaptive weighted sampling and the approximation techniques for the t-wise coverage computation. Baital can easily handle sampling and computation for 6-wise coverage. The latest version supports multi-valued features.
Baranov, E., & Legay, A. (2025). Baital: Sampling configurable systems with high t-wise coverage. Science of Computer Programming, 240, 103209. https://doi.org/10.1016/j.scico.2024.103209 (Original work published 2025)