Estadísticas de Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool