Baital: Sampling configurable systems with high t-wise coverage

Baranov, Eduard;Legay, Axel
(2025) Science of Computer Programming — Vol. 240, p. 103209 (2025)

Files

main.pdf
  • Open Access
  • Adobe PDF
  • 194.83 KB

Details

Authors
Abstract
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.
Affiliations

Citations

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)