Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel | Publicación