Info: Zenodo’s user support line is staffed on regular business days between Dec 23 and Jan 5. Response times may be slightly longer than normal.

Published July 10, 2024 | Version v2.1.0
Software Open

meelgroup/baital: Baital: An Adaptive Weighted Sampler

  • 1. University of Toronto

Description

Baital is a sample generator for configurable systems that generates a set of testing samples for large configurable systems with high t-wise coverage. Changelog:

  • Switched to pip distribution of ApproxMC and CMSGen
  • Improved documentation

Files

meelgroup/baital-v2.1.0.zip

Files (69.1 kB)

Name Size Download all
md5:2613c27fb347e9748c60b8fca811fd2b
69.1 kB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/meelgroup/baital/tree/v2.1.0 (URL)