Software

  1. randconfig+: A sampler for Kconfig-based systems, including, the Linux Kernel, axtls, barebox-x86, buildroot, busybox, coreboot, embtoolkit, etaos-avr, fiasco, freetz, halm, klipper, mplayer, openbios-x86, rnk-arm, seabios, swupdate, toybox, u-boot, uClibc-ng, and xelix.

  2. bdd4va: BDDs for Variability Analysis

  3. KconfigSampler: Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel

  4. SFpC: a test for validating SAT samplers’ uniformity