Skip to content

Baital: An Adaptive Weighted Sampler

Latest
Compare
Choose a tag to compare
@edbaranov edbaranov released this 10 Jul 09:18
100b51d

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