Software artifacts corresponding to the paper "Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool"

Software artifacts corresponding to the paper "Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool" This repository is organized in two main folders: 1. randconfig+ includes the source code of our tool randconfig+, which improves the randomness and correctness of the conf tool (a built-in Linux kernel tool for generating random samples of kernel configurations). It has two subfolders: - source: includes the source code of randconfig+. - bin: includes the compiled version of randconfig+. 2. experimental_validation includes the experimental validation of randconfig+ reported in the paper. - systems: includes the 10 Linux Kernel versions analyzed in the paper. - scripts_for_sample_generation: Bash shell scripts to generate the data. - data: includes the following data generated by the experimental validation: + Generated samples (subfolder configuration_samples). The samples are available in two formats: CSV and Apache Arrow. + Entropies and number of distinct values per configuration option. + Data regarding the correctness of the samples and the time spent to generate them (subfolder correctness_and_runtime). - statistical_analysis: R scripts to perform the statistical analysis of the data (subfolder statistical_analysis). - plots: graphs produced from the data statistical analysis.