Releases: meelgroup/baital
Releases · meelgroup/baital
Baital: An Adaptive Weighted Sampler
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
Baital: An Adaptive Weighted Sampler
Baital is a sample generator for configurable systems that generates a set of testing samples for large configurable systems with high t-wise coverage.
This release includes support for multi-valued/numerical features.
Baital: An Adaptive Weighted Sampler
Baital is a sample generator for configurable systems that generates a set of testing samples for large configurable systems with high t-wise coverage.
This release includes
i) Scalable estimation of t-wise coverage
ii) New scalable sampling strategies